- 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);