Style disabled menu items to be more visually obvious.

zxcalc · Dec 10, 2023 · d3a7434 · d3a7434
1 parent c391e5f
commit d3a7434
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: