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