X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2Fqt4%2FGuiProgressView.h;h=2c1d5fbe93bc1bc9afcfb03d726f79b3daf76b00;hb=425d092204118ea6c24c28e85fdf03fcf2bb51a4;hp=8ca57eb381772325eede9869f3aeab3acf98dd43;hpb=7afdba6b0688f507b065d7479791d88aa5468b01;p=lyx.git

diff --git a/src/frontends/qt4/GuiProgressView.h b/src/frontends/qt4/GuiProgressView.h
index 8ca57eb381..2c1d5fbe93 100644
--- a/src/frontends/qt4/GuiProgressView.h
+++ b/src/frontends/qt4/GuiProgressView.h
@@ -5,6 +5,7 @@
  * Licence details can be found in the file COPYING.
  *
  * \author Peter Kümmel
+ * \author Pavel Sanda
  *
  * Full author contact details are available in file CREDITS.
  */
@@ -12,20 +13,34 @@
 #ifndef GUIPROGRESSVIEW_H
 #define GUIPROGRESSVIEW_H
 
+#include "ui_ProgressViewUi.h"
 
 #include "DockView.h"
 
 #include "GuiProgress.h"
 
-#include <QTextEdit>
-
 #include <string>
+#include <QList>
+
+
+class QHideEvent;
+class QShowEvent;
 
 
 namespace lyx {
 namespace frontend {
 
 
+class ProgressViewWidget : public QWidget, public Ui::ProgressViewUi
+{
+	Q_OBJECT
+
+public:
+	ProgressViewWidget();
+private:
+	
+};
+
 class GuiProgressView : public DockView
 {
 	Q_OBJECT
@@ -36,6 +51,7 @@ public:
 		Qt::DockWidgetArea area, ///< Position of the dock (and also drawer)
 		Qt::WindowFlags flags = 0);
 
+	~GuiProgressView();
 	/// Controller inherited method.
 	///@{
 	bool initialiseParams(std::string const &) { return true; }
@@ -45,14 +61,24 @@ public:
 	bool canApply() const { return true; }
 	bool canApplyToReadOnly() const { return true; }
 	void updateView() {}
+	bool wantInitialFocus() const { return false; }
+	void restoreSession();
+	void saveSession() const;
 	///@}
 
 private Q_SLOTS:
 	void appendText(QString const & text);
+	void appendLyXErrText(QString const & text);
 	void clearText();
+	void debugMessageActivated(QTreeWidgetItem *, int);
+	void debugSelectionChanged();
 
 private:
-	QTextEdit text_edit;
+	ProgressViewWidget * widget_;
+
+	void levelChanged();
+	void showEvent(QShowEvent*);
+	void hideEvent(QHideEvent*);
 };