-public:
- ///
- bool focus() const;
- ///
- void focus(bool);
- ///
- bool active() const;
- /// A callback for the up arrow in the scrollbar.
- void upCB(long time, int button);
- /// A callback for the slider in the scrollbar.
- void scrollCB(double);
- /// A callback for the down arrow in the scrollbar.
- void downCB(long time, int button);
-
- ///
- static void cursorToggleCB(FL_OBJECT * ob, long);
-
- ///
- void setState();
+ /// 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);