class Intl;
class Inset;
class Length;
-class PainterInfo;
class ParIterator;
class ParagraphMetrics;
class Point;
/// \return true if the BufferView is at the bottom of the document.
bool isBottomScreen() const;
- /// perform pending metrics updates.
- /** \c Update::FitCursor means first to do a FitCursor, and to
+ /// Add \p flags to current update flags and trigger an update.
+ /* If this method is invoked several times before the update
+ * actually takes place, the effect is cumulative.
+ * \c Update::FitCursor means first to do a FitCursor, and to
* force an update if screen position changes.
* \c Update::Force means to force an update in any case.
- * \retval true if a screen redraw is needed
*/
void processUpdateFlags(Update::flags flags);
/// Only to be called with good y coordinates (after a bv::metrics)
bool needsFitCursor() const;
- /// returns true if this row needs to be repainted (to erase caret)
- bool needRepaint(Text const * text, Row const & row) const;
-
// Returns the amount of horizontal scrolling applied to the
// top-level row where the cursor lies
int horizScrollOffset() const;
bool paragraphVisible(DocIterator const & dit) const;
/// is the cursor currently visible in the view
bool cursorInView(Point const & p, int h) const;
- /// get the position and height of the cursor
- void cursorPosAndHeight(Point & p, int & h) const;
+ /// set the ascent and descent of the caret
+ void setCaretAscentDescent(int asc, int des);
+ /// get the position and height of the caret
+ void caretPosAndHeight(Point & p, int & h) const;
///
void draw(frontend::Painter & pain, bool paint_caret);
/// Update current paragraph metrics.
/// \return true if no further update is needed.
bool singleParUpdate();
+ /// do the work for the public updateMetrics()
+ void updateMetrics(Update::flags & update_flags);
// Set the row on which the cursor lives.
void setCurrentRowSlice(CursorSlice const & rowSlice);
// Check whether the row where the cursor lives needs to be scrolled.
// Update the drawing strategy if needed.
- void checkCursorScrollOffset(PainterInfo & pi);
+ void checkCursorScrollOffset();
/// The minimal size of the document that is visible. Used
/// when it is allowed to scroll below the document.