~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
Signal0<void> showLayoutDocument;
///
Signal0<void> showLayoutParagraph;
- ///
+ /// show the version control log
+ Signal0<void> showVCLogFile;
+ /// show the LaTeX log or build file
Signal0<void> showLogFile;
///
Signal0<void> showPreamble;
};
#endif
-
-
-
-
-
-
-
-