- /// FIXME
- void redoCurrentBuffer();
-
- /// FIXME
- bool available() const;
-
- /// Save the current position as bookmark i
- void savePosition(unsigned int i);
- /// Restore the position from bookmark i
- void restorePosition(unsigned int i);
- /// does the given bookmark have a saved position ?
- bool isSavedPosition(unsigned int i);
-
- /// return the current change at the cursor
- Change const getCurrentChange();
+ /// return the Scrollbar Parameters.
+ ScrollbarParameters const & scrollbarParameters() const;
+
+ /// Save the current position as bookmark.
+ /// if persistent=false, save to temp_bookmark
+ void saveBookmark(bool persistent);
+ /// goto a specified position, try par_id first, and then par_pit
+ /// return the par_pit and par_id of the new paragraph
+ boost::tuple<pit_type, int> moveToPosition(
+ pit_type par_pit, ///< Paragraph pit, used when par_id is zero or invalid.
+ int par_id, ///< Paragraph ID, \sa Paragraph
+ pos_type par_pos ///< Position in the \c Paragraph
+ );
+ /// return the current change at the cursor.
+ Change const getCurrentChange() const;
+
+ /// move cursor to the named label.
+ void gotoLabel(docstring const & label);
+
+ /// set the cursor based on the given TeX source row.
+ void setCursorFromRow(int row);