X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2Fqt4%2FGuiView.h;h=e4ab76331dc48fa160cc14215487bf905bafc56e;hb=8381d36098fb9244c15dba6b93cf509996c9c02e;hp=3082d41b8a36d38a9da07baf6cce0da1a72893fb;hpb=588c4ba3ec6dd3fecab39f0eee690c3bceef9fbc;p=lyx.git

diff --git a/src/frontends/qt4/GuiView.h b/src/frontends/qt4/GuiView.h
index 3082d41b8a..e4ab76331d 100644
--- a/src/frontends/qt4/GuiView.h
+++ b/src/frontends/qt4/GuiView.h
@@ -15,9 +15,6 @@
 #ifndef GUI_VIEW_H
 #define GUI_VIEW_H
 
-// Must be here because of moc.
-#include <config.h>
-
 #include "frontends/LyXView.h"
 #include "FuncRequest.h"
 
@@ -74,8 +71,8 @@ public:
 	virtual void message(docstring const & str);
 	virtual void clearMessage();
 	virtual bool hasFocus() const;
-
-	virtual void updateTab();
+	void showMiniBuffer(bool);
+	void openMenu(docstring const &);
 
 	/// show - display the top-level window
 	void show();
@@ -86,8 +83,6 @@ public:
 	/// menu item has been selected
 	void activated(FuncRequest const &);
 
-	void initTab(QWidget* workArea);
-
 	QMenu* createPopupMenu();
 
 Q_SIGNALS:
@@ -97,9 +92,6 @@ public Q_SLOTS:
 	/// idle timeout
 	void update_view_state_qt();
 
-	/// populate a toplevel menu and all its children on demand
-	void updateMenu(QAction *);
-
 	void currentTabChanged(int index);
 	void closeCurrentTab();
 
@@ -118,15 +110,25 @@ protected:
 	///
 	virtual void moveEvent(QMoveEvent * e);
 
+	/// \return the \c Workarea associated to \p  Buffer
+	/// \retval 0 if no \c WorkArea is found.
+	WorkArea * workArea(Buffer & buffer);
+
+	/// Add a \c WorkArea 
+	/// \return the \c Workarea associated to \p  Buffer
+	/// \retval 0 if no \c WorkArea is found.
+	WorkArea * addWorkArea(Buffer & buffer);
+	void setCurrentWorkArea(WorkArea * work_area);
+	void removeWorkArea(WorkArea * work_area);
+	WorkArea const * currentWorkArea() const;
+	WorkArea * currentWorkArea();
+
 private:
 	///
 	void dragEnterEvent(QDragEnterEvent * ev);
 	///
 	void dropEvent(QDropEvent * ev);
 
-	/// focus the command buffer widget
-	void focus_command_widget();
-
 	/**
 	 * setWindowTitle - set title of window
 	 * @param t main window title