///
void buffer(Buffer * b);
///
- void resize(int, int, int, int);
- ///
void resize();
- ///
- void redraw();
+ /**
+ * Repaint the pixmap. Used for when we don't want
+ * to go through the full update() logic, just a simple
+ * repaint of the whole screen.
+ */
+ void repaint();
///
bool fitCursor();
///
///
void redoCurrentBuffer();
///
- int resizeCurrentBuffer();
- ///
void cursorPrevious(LyXText *);
///
void cursorNext(LyXText *);
///
void center();
- ///
- bool focus() const;
- ///
- void focus(bool);
/// Scroll the view by a number of pixels
void scrollDocView(int);