X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2Fqt4%2FGuiWorkArea.h;h=173d3e298749823787cae5a800b3642ed735c482;hb=39d569661a3f4411d4501f9a8db9c7360ef5d568;hp=8585b25aedf4f56d6ada8a105f0a1d436061fed5;hpb=570f96bc6e9af6c488234c7f261b320844f97dc0;p=lyx.git

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index 8585b25aed..173d3e2987 100644
--- a/src/frontends/qt4/GuiWorkArea.h
+++ b/src/frontends/qt4/GuiWorkArea.h
@@ -24,7 +24,6 @@
 #include <QAbstractScrollArea>
 #include <QMouseEvent>
 #include <QPixmap>
-#include <QResizeEvent>
 #include <QTabBar>
 #include <QTabWidget>
 #include <QTimer>
@@ -33,9 +32,10 @@ class QContextMenuEvent;
 class QDragEnterEvent;
 class QDropEvent;
 class QKeyEvent;
-class QWheelEvent;
 class QPaintEvent;
+class QResizeEvent;
 class QToolButton;
+class QWheelEvent;
 class QWidget;
 
 #ifdef CursorShape
@@ -85,10 +85,6 @@ public:
 	FuncRequest cmd;
 	Timeout timeout;
 	bool restart_timeout;
-	int x_old;
-	int y_old;
-	int min_scrollbar_old;
-	int max_scrollbar_old;
 };
 
 
@@ -117,7 +113,7 @@ public:
 	void setGuiView(GuiView &);
 	///
 	void setFullScreen(bool full_screen);
-	/// is LyXView in fullscreen mode?
+	/// is GuiView in fullscreen mode?
 	bool isFullScreen();
 	///
 	void scheduleRedraw() { schedule_redraw_ = true; }
@@ -143,6 +139,11 @@ public:
 	///
 	GuiCompleter & completer() { return *completer_; }
 
+	Qt::CursorShape cursorShape() const;
+	void setCursorShape(Qt::CursorShape shape);
+
+	/// Change the cursor when the mouse hovers over a clickable inset
+	void updateCursorShape();
 
 	/// Return the GuiView this workArea belongs to
 	GuiView const & view() const { return *lyx_view_; }
@@ -184,7 +185,7 @@ private:
 	/// hide the cursor
 	virtual void removeCursor();
 
-	/// This function is called when the buffer readonly status change.
+	/// This function should be called to update the buffer readonly status.
 	void setReadOnly(bool);
 
 	/// Update window titles of all users.
@@ -231,6 +232,8 @@ private:
 
 	///
 	BufferView * buffer_view_;
+	/// Read only Buffer status cache.
+	bool read_only_;
 	///
 	GuiView * lyx_view_;
 	/// is the cursor currently displayed
@@ -260,10 +263,11 @@ private:
 	/// Special mode in which Esc and Enter (with or without Shift)
 	/// are ignored
 	bool dialog_mode_;
-	/// store the position of the rightclick when the mouse is
+	/// store the name of the context menu when the mouse is
 	/// pressed. This is used to get the correct context menu 
-	/// when the menu is actually shown (after releasing on Windwos).
-	QPoint context_target_pos_;
+	/// when the menu is actually shown (after releasing on Windows)
+	/// and after the DEPM has done its job.
+	docstring context_menu_name_;
 }; // GuiWorkArea
 
 
@@ -279,6 +283,7 @@ public:
 	void setWidgetResizable(bool) {}
 	void setWidget(QWidget *) {}
 
+	QSize sizeHint () const;
 	///
 	void disable();
 
@@ -310,6 +315,7 @@ public:
 	bool removeWorkArea(GuiWorkArea *);
 	GuiWorkArea * currentWorkArea();
 	GuiWorkArea * workArea(Buffer & buffer);
+	GuiWorkArea * workArea(int index);
 
 Q_SIGNALS:
 	///
@@ -334,6 +340,8 @@ private Q_SLOTS:
 	void showContextMenu(const QPoint & pos);
 	///
 	void moveTab(int fromIndex, int toIndex);
+	///
+	void mouseDoubleClickEvent(QMouseEvent * event);
 
 private:
 	///