different low-level key handling for xforms 0.89, use signals in workarea, changes...

[features.git] / src / frontends / xforms / Menubar_pimpl.h

diff --git a/src/frontends/xforms/Menubar_pimpl.h b/src/frontends/xforms/Menubar_pimpl.h
index 69ff06e8425df0214aed65445667017da4d01943..0b4a472264d800c06a2f07582c7a6be29f7075ba 100644 (file)
--- a/src/frontends/xforms/Menubar_pimpl.h
+++ b/src/frontends/xforms/Menubar_pimpl.h
@@ -46,12 +46,14 @@ public:
        ///
        static void MenuCallback(FL_OBJECT *, long);
 
-       /// Add to "menu" the list of last opened files
-       /// (add "extra_label" to the last entry)
+       /** Add to "menu" the list of last opened files
+           (add "extra_label" to the last entry)
+       */
        void add_lastfiles(int menu, string const & extra_label,
                           std::vector<int> & smn, StrPool & strpool);
-       /// Add to "menu" the list of opened documents
-       /// (add "extra_label" to the last entry)
+       /** Add to "menu" the list of opened documents
+           (add "extra_label" to the last entry)
+       */
        void add_documents(int menu, string const & extra_label,
                           std::vector<int> & smn, StrPool & strpool);
        ///
@@ -60,7 +62,7 @@ public:
                           std::vector<int> & smn, StrPool & strpool);
 
         /// update the state of the menuitems
-        void update() { }
+        void update() {}
 
 private:
        ///