WorkArea(BufferView *, int xpos, int ypos, int width, int height);
///
~WorkArea();
-#ifdef USE_PAINTER
///
Painter & getPainter() { return painter_; }
-#endif
///
int workWidth() const { return work_area->w; }
///
///
bool active() const { return work_area->active; }
///
+ bool belowMouse() const;
+ ///
bool visible() const { return work_area->form->visible; }
///
void greyOut() const;
BufferView * owner;
/// The pixmap overlay on the workarea
Pixmap workareapixmap;
-#ifdef USE_PAINTER
///
Painter painter_;
-#endif
///
FL_OBJECT * figinset_canvas;
};