Color patch from Angus, KDE patch from Johnm menu patch from Rob, and the usual unint...

[features.git] / src / frontends / Dialogs.h

diff --git a/src/frontends/Dialogs.h b/src/frontends/Dialogs.h
index b8efb4d323c99501a07bf5bc2f05798ccf1571e9..8e7511842f901d07d0d9b729e150ecbf902f90f6 100644 (file)
--- a/src/frontends/Dialogs.h
+++ b/src/frontends/Dialogs.h
@@ -60,6 +60,10 @@ public:
        ~Dialogs();
        //@}
        
+       /** Redraw all visible popups because, for example, the GUI colours
+           have been re-mapped. */
+       static Signal0<void> redrawGUI;
+
        /**@name Global Hide and Update Signals */
        //@{
        /// Hide all visible popups
@@ -145,11 +149,3 @@ private:
 };
 
 #endif
-
-
-
-
-
-
-
-