class WorkArea
{
public:
- ///
- WorkArea() {}
///
virtual ~WorkArea() {}
/// redraw the screen, without using existing pixmap
- virtual void redraw() = 0;
-
- /// Process Key pressed event.
- /// This needs to be public because it is accessed externally by GuiView.
- virtual void processKeySym(KeySymbol const & key, KeyModifier mod) = 0;
+ virtual void redraw(bool update_metrics) = 0;
/// close this work area.
/// Slot for Buffer::closing signal.
virtual void close() = 0;
- /// This function is called when the buffer readonly status change.
- virtual void setReadOnly(bool) = 0;
/// Update window titles of all users.
virtual void updateWindowTitle() = 0;