Implement sane UI for switching tristate toolbars (#6364)

[lyx.git] / src / frontends / WorkArea.h

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index b3ee602e57ff0982cc114d2d1ea47330effecf1a..d6912fc7fad982d59ba7ec90675ff970eee0a4e8 100644 (file)
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -14,73 +14,32 @@
 #ifndef BASE_WORKAREA_H
 #define BASE_WORKAREA_H
 
-#include "frontends/GuiCursor.h"
-
-#include "frontends/key_state.h"
-#include "frontends/LyXKeySym.h"
-
-class LyXView;
-class FuncRequest;
-class BufferView;
-class ViewMetricsInfo;
+#include "frontends/KeyModifier.h"
 
 namespace lyx {
-namespace frontend {
 
-class Painter;
+namespace frontend {
 
 /**
- * The work area class represents the widget that provides the
- * view onto a document. It is owned by the BufferView, and
- * is responsible for handing events back to its owning BufferView.
- * It works in concert with the BaseScreen class to update the
- * widget view of a document.
+ * The work area class represents the widget that provides the view
+ * onto a document. It owns the BufferView, and is responsible for
+ * handing events back to its BufferView.
  */
-class WorkArea {
+class WorkArea
+{
 public:
-       WorkArea(LyXView & owner, int w, int h);
-
+       ///
        virtual ~WorkArea() {}
 
-       /// return the painter object for this work area
-       virtual Painter & getPainter() = 0;
-
-       /// return the width of the work area in pixels
-       virtual int width() const = 0;
-
-       /// return the height of the work area in pixels
-       virtual int height() const = 0;
+       /// Update metrics if needed and schedule a paint event
+       virtual void scheduleRedraw(bool update_metrics) = 0;
 
-       /**
-        * Update the scrollbar.
-        * @param height the total document height in pixels
-        * @param pos the current position in the document, in pixels
-        * @param line_height the line-scroll amount, in pixels
-        */
-       virtual void setScrollbarParams(int height, int pos, int line_height) = 0;
+       /// close this work area.
+       /// Slot for Buffer::closing signal.
+       virtual void close() = 0;
 
-       /// redraw the screen, without using existing pixmap
-       virtual void redraw(BufferView & bv, ViewMetricsInfo const & vi);
-
-       /// grey out (no buffer)
-       void greyOut();
-
-       /// paint the cursor and store the background
-       virtual void showCursor(int x, int y, int h, Cursor_Shape shape) = 0;
-
-       /// hide the cursor
-       virtual void removeCursor() = 0;
-
-protected:
-       /// cause the display of the given area of the work area
-       virtual void expose(int x, int y, int w, int h) = 0;
-
-private:
-       ///
-       void checkAndGreyOut();
-
-       ///
-       bool greyed_out_;
+       /// Update window titles of all users.
+       virtual void updateWindowTitle() = 0;
 };
 
 } // namespace frontend