class ParIterator;
class ParagraphMetrics;
class Point;
+class TexRow;
class Text;
class TextMetrics;
// Returns the amount of horizontal scrolling applied to the
// top-level row where the cursor lies
int horizScrollOffset() const;
+ // Returns the amount of horizontal scrolling applied to the
+ // row of text starting at (pit, pos)
+ int horizScrollOffset(Text const * text,
+ pit_type pit, pos_type pos) const;
- // Points to the top-level row where the cursor lies (during draw).
- CursorSlice const & currentRowSlice() const;
-
- // Points to the top-level row where the cursor lied at last draw event.
- CursorSlice const & lastRowSlice() const;
+ // Returns true if the row of text starting at (pit, pos) was scrolled
+ // at the last draw event.
+ bool hadHorizScrollOffset(Text const * text,
+ pit_type pit, pos_type pos) const;
/// reset the scrollbar to reflect current view position.
void updateScrollbar();
/// set the cursor based on the given TeX source row.
void setCursorFromRow(int row);
+ ///
+ void setCursorFromRow(int row, TexRow const & texrow);
/// set cursor to the given inset. Return true if found.
bool setCursorFromInset(Inset const *);
// Check whether the row where the cursor lives needs to be scrolled.
// Update the drawing strategy if needed.
- void checkCursorScrollOffset();
+ void checkCursorScrollOffset(PainterInfo & pi);
/// The minimal size of the document that is visible. Used
/// when it is allowed to scroll below the document.