+ ///
+ string const getClipboard() const;
+ ///
+ void putClipboard(string const &) const;
+ // Signals
+ ///
+ Signal0<void> workAreaExpose;
+ ///
+ Signal1<void, double> scrollCB;
+ ///
+ Signal2<void, KeySym, unsigned int> workAreaKeyPress;
+ ///
+ Signal3<void, int, int, unsigned int> workAreaButtonPress;
+ ///
+ Signal3<void, int, int, unsigned int> workAreaButtonRelease;
+ ///
+ Signal3<void, int, int, unsigned int> workAreaMotionNotify;
+ ///
+ Signal0<void> workAreaFocus;
+ ///
+ Signal0<void> workAreaUnfocus;
+ ///
+ Signal0<void> workAreaEnter;
+ ///
+ Signal0<void> workAreaLeave;
+ ///
+ Signal3<void, int, int, unsigned int> workAreaDoubleClick;
+ ///
+ Signal3<void, int, int, unsigned int> workAreaTripleClick;