From d3a74347a8a937c6732618d690460b89a98bf599 Mon Sep 17 00:00:00 2001
From: David Yonge-Mallo <dlyongemallo@users.noreply.github.com>
Date: Sun, 10 Dec 2023 10:04:57 +0100
Subject: [PATCH] Style disabled menu items to be more visually obvious.

---
 zxlive/mainwindow.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/zxlive/mainwindow.py b/zxlive/mainwindow.py
index 55111ac4..d318893e 100644
--- 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: