Restore the version number position on the splash screen

[lyx.git] / src / lyxlex_pimpl.h

diff --git a/src/lyxlex_pimpl.h b/src/lyxlex_pimpl.h
index c844fb4c1ca56d4a3baecdd5d44d1032e8250c4d..7fe3905b293b8d3d883b51d280e286856fbd5e3e 100644 (file)
--- a/src/lyxlex_pimpl.h
+++ b/src/lyxlex_pimpl.h
@@ -65,6 +65,8 @@ public:
        bool eatLine();
        ///
        bool nextToken();
+       /// test if there is a pushed token or the stream is ok
+       bool inputAvailable();
        ///
        void pushToken(std::string const &);
        /// fb_ is only used to open files, the stream is accessed through is.