Customize level titles in DiagnosticLevelSelector

JonasWanke · Nov 7, 2023 · 3108197 · 3108197
1 parent 20ff82d
commit 3108197
Showing 1 changed file with 17 additions and 1 deletion.
diff --git a/lib/src/utils/level_selector.dart b/lib/src/utils/level_selector.dart
@@ -17,7 +17,7 @@ class DiagnosticLevelSelector extends StatelessWidget {
       onSelected: onSelected,
       itemBuilder: (context) => [
         for (final level in DiagnosticLevel.values)
-          PopupMenuItem(value: level, child: Text(level.name)),
+          PopupMenuItem(value: level, child: Text(level.title)),
       ],
     );
   }
@@ -36,3 +36,19 @@ class DiagnosticLevelSelector extends StatelessWidget {
     };
   }
 }
+
+extension on DiagnosticLevel {
+  String get title {
+    return switch (this) {
+      DiagnosticLevel.hidden => 'All',
+      DiagnosticLevel.fine => '≥ Fine',
+      DiagnosticLevel.debug => '≥ Debug',
+      DiagnosticLevel.info => '≥ Info',
+      DiagnosticLevel.warning => '≥ Warning',
+      DiagnosticLevel.hint => '≥ Hint',
+      DiagnosticLevel.summary => '≥ Summary',
+      DiagnosticLevel.error => '≥ Error',
+      DiagnosticLevel.off => 'None',
+    };
+  }
+}