Preferences: Show more font options

angr · Sep 22, 2023 · 258520d · 258520d
1 parent 566ec5f
commit 258520d
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/angrmanagement/ui/dialogs/preferences.py b/angrmanagement/ui/dialogs/preferences.py
@@ -225,11 +225,10 @@ def _init_widgets(self):
         # Font options
         self._font_options = [
             QFontOption("Application Font", "ui_default_font", self),
-            # TODO: other app fonts, things which set them respect updates to them in Conf
-            # QFontOption("Tab View Font", "tabular_view_font", self),
-            # QFontOption("Disassembly Font", "disasm_font", self),
-            # QFontOption("SymExc Font", "symexec_font", self),
-            # QFontOption("Code Font", "code_font", self),
+            QFontOption("Tab View Font", "tabular_view_font", self),
+            QFontOption("Disassembly Font", "disasm_font", self),
+            QFontOption("SymExc Font", "symexec_font", self),
+            QFontOption("Code Font", "code_font", self),
         ]
         font_layout = QVBoxLayout()
         for i in self._font_options: