Revert cs 28908: wrong fix.

[lyx.git] / src / BufferView.h

diff --git a/src/BufferView.h b/src/BufferView.h
index b3916108268e099a461c7d1fe3133c38676ef7b4..0f6b55b80ad95e74c42410e336fad9c5c88f0f50 100644 (file)
--- a/src/BufferView.h
+++ b/src/BufferView.h
@@ -5,9 +5,9 @@
  * Licence details can be found in the file COPYING.
  *
  * \author Alfredo Braustein
- * \author Lars Gullik Bjønnes
+ * \author Lars Gullik Bjønnes
  * \author John Levon
- * \author Jürgen Vigna
+ * \author Jürgen Vigna
  *
  * Full author contact details are available in file CREDITS.
  */
@@ -144,6 +144,9 @@ public:
        /// set the cursor based on the given TeX source row.
        void setCursorFromRow(int row);
 
+       /// set cursor to the given inset. Return true if found.
+       bool setCursorFromInset(Inset const *);
+
        /// Ensure that the BufferView cursor is visible.
        /// This method will automatically scroll and update the BufferView
        /// if needed.
@@ -155,11 +158,11 @@ public:
        /// LFUN_SCROLL Helper.
        void lfunScroll(FuncRequest const & cmd);
        /// scroll down document by the given number of pixels.
-       void scrollDown(int pixels);
+       int scrollDown(int pixels);
        /// scroll up document by the given number of pixels.
-       void scrollUp(int pixels);
+       int scrollUp(int pixels);
        /// scroll document by the given number of pixels.
-       void scroll(int pixels);
+       int scroll(int pixels);
        /// Scroll the view by a number of pixels.
        void scrollDocView(int pixels);
        /// Set the cursor position based on the scrollbar one.
@@ -248,6 +251,8 @@ public:
 
        ///
        Point getPos(DocIterator const & dit, bool boundary) const;
+       /// is the paragraph of the cursor visible ?
+       bool paragraphVisible(DocIterator const & dit) const;
 
 
        ///
@@ -284,6 +289,8 @@ public:
        void insertPlaintextFile(support::FileName const & f, bool asParagraph);
        ///
        void insertLyXFile(support::FileName const & f);
+       /// save temporary bookmark for jump back navigation
+       void bookmarkEditPosition();
 
 private:
        /// noncopyable