X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2Fqt4%2FGuiWorkArea.h;h=0858521a9a5bf0f98d36553dc9e39b51fa76a156;hb=ee7dd4a11ea21851e7e32164c66b37d3bc8ac31d;hp=6c808677e43eb59a9b759af2e7f9a0ed54585f83;hpb=7e2c8ea4ffeb96e38dac5f4fe1fd61ec68116401;p=lyx.git

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index 6c808677e4..0858521a9a 100644
--- a/src/frontends/qt4/GuiWorkArea.h
+++ b/src/frontends/qt4/GuiWorkArea.h
@@ -14,7 +14,6 @@
 #define WORKAREA_H
 
 #include "frontends/WorkArea.h"
-#include "frontends/qt4/GuiCompleter.h"
 
 #include "DocIterator.h"
 #include "FuncRequest.h"
@@ -26,6 +25,7 @@
 #include <QMouseEvent>
 #include <QPixmap>
 #include <QResizeEvent>
+#include <QTabBar>
 #include <QTabWidget>
 #include <QTimer>
 
@@ -35,6 +35,7 @@ class QDropEvent;
 class QKeyEvent;
 class QWheelEvent;
 class QPaintEvent;
+class QToolButton;
 class QWidget;
 
 #ifdef CursorShape
@@ -47,6 +48,7 @@ class Buffer;
 
 namespace frontend {
 
+class GuiCompleter;
 class GuiView;
 class GuiWorkArea;
 
@@ -83,9 +85,6 @@ public:
 	FuncRequest cmd;
 	Timeout timeout;
 	bool restart_timeout;
-	int x_old;
-	int y_old;
-	double scrollbar_value_old;
 };
 
 
@@ -100,13 +99,21 @@ class GuiWorkArea : public QAbstractScrollArea, public WorkArea
 
 public:
 	///
-	GuiWorkArea(Buffer & buffer, GuiView & lv);
+	GuiWorkArea(QWidget *);
+	///
+	GuiWorkArea(Buffer & buffer, GuiView & gv);
 	///
 	~GuiWorkArea();
 
+	///
+	void init();
+	///
+	void setBuffer(Buffer &);
+	///
+	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; }
@@ -115,7 +122,7 @@ public:
 	///
 	BufferView const & bufferView() const;
 	///
-	void redraw();
+	void redraw(bool update_metrics);
 	///
 	void stopBlinkingCursor();
 	///
@@ -126,9 +133,17 @@ public:
 	///
 	void resizeBufferView();
 
+	bool inDialogMode() const { return dialog_mode_; }
+	void setDialogMode(bool mode) { dialog_mode_ = mode; }
+
 	///
-	GuiCompleter & completer() { return completer_; }
-	
+	GuiCompleter & completer() { return *completer_; }
+
+
+	/// Return the GuiView this workArea belongs to
+	GuiView const & view() const { return *lyx_view_; }
+	GuiView & view() { return *lyx_view_; }
+
 Q_SIGNALS:
 	///
 	void titleChanged(GuiWorkArea *);
@@ -147,6 +162,8 @@ private Q_SLOTS:
 	/// close this work area.
 	/// Slot for Buffer::closing signal.
 	void close();
+	/// Slot to restore proper scrollbar behaviour.
+	void fixVerticalScrollBar();
 
 private:
 	friend class GuiCompleter;
@@ -163,7 +180,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.
@@ -210,6 +227,8 @@ private:
 
 	///
 	BufferView * buffer_view_;
+	/// Read only Buffer status cache.
+	bool read_only_;
 	///
 	GuiView * lyx_view_;
 	/// is the cursor currently displayed
@@ -234,10 +253,46 @@ private:
 	int preedit_lines_;
 
 	///
-	GuiCompleter completer_;
+	GuiCompleter * completer_;
+
+	/// 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
+	/// pressed. This is used to get the correct context menu 
+	/// when the menu is actually shown (after releasing on Windwos).
+	QPoint context_target_pos_;
 }; // GuiWorkArea
 
 
+class EmbeddedWorkArea : public GuiWorkArea
+{
+	Q_OBJECT
+public:
+	///
+	EmbeddedWorkArea(QWidget *);
+	~EmbeddedWorkArea();
+
+	/// Dummy methods for Designer.
+	void setWidgetResizable(bool) {}
+	void setWidget(QWidget *) {}
+
+	QSize sizeHint () const;
+	///
+	void disable();
+
+protected:
+	///
+	void closeEvent(QCloseEvent * ev);
+	///
+	void hideEvent(QHideEvent *ev);
+
+private:
+	/// Embedded Buffer.
+	Buffer * buffer_;
+}; // EmbeddedWorkArea
+
+
 /// A tabbed set of GuiWorkAreas.
 class TabWorkArea : public QTabWidget
 {
@@ -258,18 +313,70 @@ public:
 Q_SIGNALS:
 	///
 	void currentWorkAreaChanged(GuiWorkArea *);
+	///
+	void lastWorkAreaRemoved();
 
 public Q_SLOTS:
+	/// close current buffer, or the one given by \c clicked_tab_
+	void closeCurrentBuffer();
+	/// hide current tab, or the one given by \c clicked_tab_
+	void hideCurrentTab();
+	/// close the tab given by \c index
+	void closeTab(int index);
+	///
+	void updateTabTexts();
+	
+private Q_SLOTS:
 	///
 	void on_currentTabChanged(int index);
 	///
-	void closeCurrentBuffer();
+	void showContextMenu(const QPoint & pos);
 	///
-	void closeCurrentTab();
+	void moveTab(int fromIndex, int toIndex);
 	///
-	void updateTabText(GuiWorkArea *);
+	void mouseDoubleClickEvent(QMouseEvent * event);
+
+private:
+	///
+	int clicked_tab_;
+	///
+	QToolButton * closeBufferButton;
 }; // TabWorkArea
 
+
+class DragTabBar : public QTabBar
+{
+	Q_OBJECT
+public:
+	///
+	DragTabBar(QWidget * parent = 0);
+
+#if QT_VERSION < 0x040300
+	///
+	int tabAt(QPoint const & position) const;
+#endif
+
+protected:
+	///
+	void mousePressEvent(QMouseEvent * event);
+	///
+	void mouseMoveEvent(QMouseEvent * event);
+	///
+	void dragEnterEvent(QDragEnterEvent * event);
+	///
+	void dropEvent(QDropEvent * event);
+
+private:
+	///
+	QPoint dragStartPos_;
+	///
+	int dragCurrentIndex_;
+
+Q_SIGNALS:
+	///
+	void tabMoveRequested(int fromIndex, int toIndex);
+};
+
 } // namespace frontend
 } // namespace lyx