Move the global formats and system_formats variables into the

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

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index b4d9f9ee199b249ae3f44841fdbebe79faf7b9fd..8e459ca37524f3aa11240b1947f81ca1d4d00591 100644 (file)
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -34,53 +34,14 @@ class WorkArea
 {
 public:
        ///
-       WorkArea() {}
-       ///
-       virtual ~WorkArea();
-
-       ///
-       virtual BufferView & bufferView() = 0;
-       ///
-       virtual BufferView const & bufferView() const = 0;
-
-       /// return true if has the keyboard input focus.
-       virtual bool hasFocus() const = 0;
-
-       /// return true if has this WorkArea is visible.
-       virtual bool isVisible() const = 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 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;
-
-       ///
-       virtual void scheduleRedraw() = 0;
+       virtual ~WorkArea() {}
 
        /// redraw the screen, without using existing pixmap
-       virtual void redraw() = 0;
-       ///
-       virtual void stopBlinkingCursor() = 0;
-       virtual void startBlinkingCursor() = 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;