Disable CheckTeX while buffer is processed

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

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index e8508d06f006279bc905c36dd51eaa44e86bcec5..8e459ca37524f3aa11240b1947f81ca1d4d00591 100644 (file)
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -23,9 +23,6 @@ class KeySymbol;
 
 namespace frontend {
 
-class LyXView;
-class Painter;
-
 /**
  * The work area class represents the widget that provides the
  * view onto a document. It is owned by the BufferView, and
@@ -37,56 +34,14 @@ class WorkArea
 {
 public:
        ///
-       WorkArea() {}
-
-       virtual ~WorkArea();
-
-       ///
-       virtual void setLyXView(LyXView & lv) = 0;
-
-       ///
-       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;