-
- ///
- bool focus() const;
- ///
- void focus(bool);
- ///
- bool active() const;
- ///
- bool belowMouse() const;
- /// A callback for the slider in the scrollbar.
- void scrollCB(double);
-
- ///
- static void cursorToggleCB(FL_OBJECT * ob, long);
-
- ///
- void setState();
-
- ///
- void pushIntoUpdateList(Inset * i);
- ///
- 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();
-#ifndef XFORMS_CLIPBOARD
- ///
- void workAreaSelectionNotify(Window win, XEvent * event);
-#endif
- ///
- bool ChangeRefs(string const & from, string const & to);
-#ifdef XFORMS_CLIPBOARD
- ///
- void pasteSelection(bool asPara);
-#endif
+ /// 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
+ bool ChangeRefsIfUnique(string const & from, string const & to);
+ /// FIXME
+ bool ChangeCitationsIfUnique(string const & from, string const & to);
+
+ /// get the contents of the window system clipboard
+ string const getClipboard() const;
+ /// fill the window system clipboard
+ void stuffClipboard(string const &) const;
+ /// tell the window system we have a selection
+ void haveSelection(bool sel);
+
+ /// execute the given function
+ bool dispatch(FuncRequest const & argument);
+