Account for old versions of Pygments

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

diff --git a/src/frontends/Application.h b/src/frontends/Application.h
index df0be95493e4cbe5ff2bcbdf71434ec5c7413e66..26fad07e8465c362eb25f4bd1522cb716fef921c 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>
 
@@ -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.