/// This method will automatically scroll and update the BufferView
/// if needed.
/// \param recenter Whether the cursor should be centered on screen
- void showCursor(DocIterator const & dit, bool recenter);
+ void showCursor(DocIterator const & dit, bool recenter,
+ bool update);
/// Scroll to the cursor.
void scrollToCursor();
/// Scroll to the cursor.
/// scroll document by the given number of pixels.
int scroll(int pixels);
/// Scroll the view by a number of pixels.
- void scrollDocView(int pixels);
+ void scrollDocView(int pixels, bool update);
/// Set the cursor position based on the scrollbar one.
void setCursorFromScrollbar();
void editInset(std::string const & name, Inset * inset);
///
void clearLastInset(Inset * inset) const;
+ /// Is the mouse hovering a clickable inset or element?
+ bool clickableInset() const;
private:
/// noncopyable