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 e1fb7fffb7c23676fe2da4cd1ad31179f9dfe2d3..8e459ca37524f3aa11240b1947f81ca1d4d00591 100644 (file)
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -6,74 +6,48 @@
  *
  * \author unknown
  * \author John Levon
+ * \author Abdelrazak Younes
  *
  * Full author contact details are available in file CREDITS.
  */
 
-#ifndef WORKAREA_H
-#define WORKAREA_H
+#ifndef BASE_WORKAREA_H
+#define BASE_WORKAREA_H
 
-#include "frontends/key_state.h"
+#include "frontends/KeyModifier.h"
 
-#include <boost/shared_ptr.hpp>
-#include <boost/signal.hpp>
+namespace lyx {
 
+class BufferView;
+class KeySymbol;
 
-class Painter;
-class FuncRequest;
-class LyXKeySym;
+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 LyXScreen class to update the
+ * It works in concert with the BaseScreen class to update the
  * widget view of a document.
  */
-class WorkArea {
+class WorkArea
+{
 public:
-       typedef boost::shared_ptr<LyXKeySym> LyXKeySymPtr;
-
-       WorkArea() {}
-
+       ///
        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 workWidth() const = 0;
-       /// return the height of the work area in pixels
-       virtual int workHeight() const = 0;
+       /// redraw the screen, without using existing pixmap
+       virtual void redraw(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;
 
-       // FIXME: this is an odd place to have it, but xforms needs it here ...
-       /// a selection exists
-       virtual void haveSelection(bool) const = 0;
-       /// get the X clipboard contents
-       virtual std::string const getClipboard() const = 0;
-       /// fill the clipboard
-       virtual void putClipboard(std::string const &) const = 0;
-
-       /// work area dimensions have changed
-       boost::signal<void()> workAreaResize;
-       /// the scrollbar has changed
-       boost::signal<void(int)> scrollDocView;
-       /// a key combination has been pressed
-       boost::signal<void(LyXKeySymPtr, key_modifier::state)> workAreaKeyPress;
-       /// some mouse event
-       boost::signal<void(FuncRequest)> dispatch;
-       /// emitted when an X client has requested our selection
-       boost::signal<void()> selectionRequested;
-       /// emitted when another X client has stolen our selection
-       boost::signal<void()> selectionLost;
+       /// Update window titles of all users.
+       virtual void updateWindowTitle() = 0;
 };
 
-#endif // WORKAREA_H
+} // namespace frontend
+} // namespace lyx
+
+#endif // BASE_WORKAREA_H