-
- ///
- bool focus() const;
- ///
- void focus(bool);
- ///
- bool active() const;
- ///
- bool belowMouse() const;
- /// A callback for the slider in the scrollbar.
- void scrollCB(double);
-
- ///
- void setState();
-
- ///
- void pushIntoUpdateList(Inset * i);
-#if 0
- ///
- void workAreaExpose();
- ///
- void workAreaButtonPress(int x, int y, unsigned int button);
- ///
- void workAreaButtonRelease(int x, int y, unsigned int button);
- ///
- void workAreaMotionNotify(int x, int y, unsigned int state);
- ///
- void doubleClick(int x, int y, unsigned int button);
- ///
- void tripleClick(int x, int y, unsigned int button);
- ///
- void enterView();
- ///
- void leaveView();
-#endif
- ///
- bool ChangeInsets(Inset::Code code, string const & from,
- string const & to);
- ///
+ /// scroll document by the given number of lines of default height
+ void scroll(int lines);
+ /// Scroll the view by a number of pixels
+ void scrollDocView(int);
+
+ /// return the pixel width of the document view
+ int workWidth() const;
+ /// return the pixel height of the document view
+ int workHeight() const;
+
+ /// switch between primary and secondary keymaps for RTL entry
+ void switchKeyMap();
+
+ /// FIXME