Disable CheckTeX while buffer is processed

[lyx.git] / src / frontends / Application.h

diff --git a/src/frontends/Application.h b/src/frontends/Application.h
index df0be95493e4cbe5ff2bcbdf71434ec5c7413e66..c0ea5c31ae8d1d2f334aa8db2371d84693463618 100644 (file)
--- a/src/frontends/Application.h
+++ b/src/frontends/Application.h
@@ -18,7 +18,7 @@
 
 #include "support/strfwd.h"
 
-#include <boost/function.hpp>
+#include <functional>
 
 #include <vector>
 
@@ -59,7 +59,7 @@ initialisation should be done before the instanciation of this class.
    |
    GuiView-1 (one or more in case of split-view mode).
    |  |
-   |  <tab-widget-1-1> 
+   |  <tab-widget-1-1>
    |  |  |
    |  |  WorkArea-1-1-1 (M1-1 WorkAreas, M1-1 <= N)
    |  |  | |
@@ -73,7 +73,7 @@ initialisation should be done before the instanciation of this class.
    |  |  |   |
    |  |  |   Cursor
    |  |
-   |  <tab-widget-1-2> 
+   |  <tab-widget-1-2>
    |
    GuiView-2 (one or more in case of split-view mode).
    |  |
@@ -216,12 +216,12 @@ public:
        *      passing Color_white returns "ffffff".
        */
        virtual std::string const hexName(ColorCode col) = 0;
-       
+
        /**
        * add a callback for socket read notification
        * @param fd socket descriptor (file/socket/etc)
        */
-       typedef boost::function<void()> SocketCallback;
+       typedef std::function<void()> SocketCallback;
        virtual void registerSocketCallback(int fd, SocketCallback func) = 0;
 
        /**
@@ -251,6 +251,8 @@ public:
        /// A started long operation is still in progress ?
        virtual bool longOperationStarted() = 0;
 
+       // Add a buffer to the current view, do not switch to it.
+       virtual bool unhide(Buffer * buf) = 0;
 };
 
 /// Return the list of loadable formats.