do what the FIXME suggested

[lyx.git] / src / frontends / qt4 / GuiApplication.h

diff --git a/src/frontends/qt4/GuiApplication.h b/src/frontends/qt4/GuiApplication.h
index fb8be4a75e06c992e8414b809115a5cdef8a9b04..29b522b647743993c76d5acb36ef6e2b7403c1f1 100644 (file)
--- a/src/frontends/qt4/GuiApplication.h
+++ b/src/frontends/qt4/GuiApplication.h
@@ -23,6 +23,7 @@
 
 #include <QObject>
 #include <QApplication>
+#include <QTimer>
 #include <QTranslator>
 
 #include <map>
@@ -60,6 +61,7 @@ public:
        virtual FuncStatus getStatus(FuncRequest const &);
        virtual bool dispatch(FuncRequest const &);
        virtual void resetGui();
+       void restoreGuiSession();
        virtual Clipboard & clipboard();
        virtual Selection & selection();
        virtual FontLoader & fontLoader() { return font_loader_; }
@@ -124,6 +126,8 @@ private Q_SLOTS:
        void execBatchCommands();
        ///
        void socketDataReceived(int fd);
+       /// events to be triggered by general_timer_ should go here
+       void handleRegularEvents();
 
 private:
        ///
@@ -142,6 +146,10 @@ private:
        std::map<int, SocketNotifier *> socket_notifiers_;
        ///
        Menus menus_;
+       /// this timer is used for any regular events one wants to
+       /// perform. at present it is used to check if forked processes
+       /// are done.
+       QTimer general_timer_;
 
 #ifdef Q_WS_X11
 public: