--- a/QTfrontend/main.cpp Tue Oct 28 22:22:26 2008 +0000
+++ b/QTfrontend/main.cpp Fri Oct 31 13:02:04 2008 +0000
@@ -288,6 +288,10 @@
"QMenu::indicator:non-exclusive:unchecked{"
"image: url(\":/res/unchecked.png\");"
"}"
+
+ ":disabled{"
+ "color: #a0a0a0;"
+ "}"
)
);