Signal0<void> updateCharacter; // allow update as cursor moves
///
Signal0<void> showParagraph;
- ///
- Signal0<void> showDocument;
/// Do we really have to push this?
Signal1<void, vector<string> const &> SetDocumentClassChoice;
///
///
Signal0<void> showPreferences;
///
+ Signal0<void> showLayoutDocument;
+ ///
Signal1<void, InsetGraphics *> showGraphics;
///
Signal1<void, InsetInclude *> showInclude;