Merge pull request #209 from dlyongemallo/style_disabled_menu_items

Style disabled menu items to be more visually obvious.
zxcalc · Dec 11, 2023 · b882a07 · b882a07
2 parents c391e5f + d3a7434
commit b882a07
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/zxlive/mainwindow.py b/zxlive/mainwindow.py
@@ -162,6 +162,7 @@ def __init__(self) -> None:
         rewrite_menu.addAction(new_rewrite_from_file)
         rewrite_menu.addAction(self.proof_as_rewrite_action)
 
+        menu.setStyleSheet("QMenu::item:disabled { color: gray }")
         self._reset_menus(False)
 
     def open_demo_graph(self) -> None: