ScrollbarParameters const & scrollbarParameters() const;
/// Save the current position as bookmark.
- /// if persistent=false, save to temp_bookmark
- void saveBookmark(bool persistent);
+ /// if idx == 0, save to temp_bookmark
+ void saveBookmark(unsigned int idx);
/// 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(