diff gui/src/MainWindow.h @ 13626:cc90c62ada21

Removed terminal, instead now using QPlainTextEdit, which looks much nicer and is not that error-prone...
author Jacob Dawid <jacob.dawid@googlemail.com>
date Thu, 18 Aug 2011 19:20:10 +0200
parents 5cb93c6d8aab
children da69cec2459f
line wrap: on
line diff
--- a/gui/src/MainWindow.h	Thu Aug 18 15:07:43 2011 +0200
+++ b/gui/src/MainWindow.h	Thu Aug 18 19:20:10 2011 +0200
@@ -27,6 +27,7 @@
 #include <QToolBar>
 #include <QQueue>
 #include <Qsci/qsciapis.h>
+#include <QMdiSubWindow>
 #include "ResourceManager.h"
 #include "OctaveTerminal.h"
 #include "OctaveLink.h"