class ParIterator;
class ParagraphMetrics;
class Point;
+class TexRow;
class Text;
class TextMetrics;
/// 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.