changeset 14256:f19c4b7ee071 gui

GUI: Updated qterminal.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Mon, 23 Jan 2012 22:53:19 +0100
parents 5dcfb705ce12
children 4e6c717869f8
files gui/qterminal/libqterminal/QTerminal.cpp
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/gui/qterminal/libqterminal/QTerminal.cpp	Mon Jan 23 22:35:00 2012 +0100
+++ b/gui/qterminal/libqterminal/QTerminal.cpp	Mon Jan 23 22:53:19 2012 +0100
@@ -24,6 +24,7 @@
 
 QTerminal::QTerminal(QWidget *parent)
     : QWidget(parent) {
+    setMinimumSize(600, 400);
     init();
     
     setFocus(Qt::OtherFocusReason);
@@ -140,6 +141,8 @@
 void QTerminal::resizeEvent(QResizeEvent*)
 {
     m_terminalDisplay->resize(this->size());
+    m_terminalDisplay->updateImage();
+    m_terminalDisplay->update();
 }
 
 void QTerminal::sessionFinished()