+ /// \param recenter Whether the cursor should be centered on screen
+ void showCursor(DocIterator const & dit, bool recenter = false);
+ /// Scroll to the cursor.
+ void scrollToCursor();
+ /// Scroll to the cursor.
+ /// \param recenter Whether the cursor should be centered on screen
+ bool scrollToCursor(DocIterator const & dit, bool recenter);