# HG changeset patch
# User Jacob Dawid <jacob.dawid@googlemail.com>
# Date 1302206740 -7200
# Node ID 45e5447ef292c9b3fc86264e25a62cc3d065fec3
# Parent  c6e7dc1c292598ff2cf3fae7e7fa5feff519ec86
Fixed bug in terminal display when resizing.

diff -r c6e7dc1c2925 -r 45e5447ef292 gui//src/TerminalDisplay.cpp
--- a/gui//src/TerminalDisplay.cpp	Thu Apr 07 22:01:14 2011 +0200
+++ b/gui//src/TerminalDisplay.cpp	Thu Apr 07 22:05:40 2011 +0200
@@ -684,26 +684,6 @@
 void TerminalDisplay::setRandomSeed(uint randomSeed) { _randomSeed = randomSeed; }
 uint TerminalDisplay::randomSeed() const { return _randomSeed; }
 
-#if 0
-/*!
-    Set XIM Position
-*/
-void TerminalDisplay::setCursorPos(const int curx, const int cury)
-{
-    QPoint tL  = contentsRect().topLeft();
-    int    tLx = tL.x();
-    int    tLy = tL.y();
-
-    int xpos, ypos;
-    ypos = _topMargin + tLy + _fontHeight*(cury-1) + _fontAscent;
-    xpos = _leftMargin + tLx + _fontWidth*curx;
-    //setMicroFocusHint(xpos, ypos, 0, _fontHeight); //### ???
-    // fprintf(stderr, "x/y = %d/%d\txpos/ypos = %d/%d\n", curx, cury, xpos, ypos);
-    _cursorLine = cury;
-    _cursorCol = curx;
-}
-#endif
-
 // scrolls the image by 'lines', down if lines > 0 or up otherwise.
 //
 // the terminal emulation keeps track of the scrolling of the character 
@@ -1391,6 +1371,7 @@
 void TerminalDisplay::resizeEvent(QResizeEvent*)
 {
   updateImageSize();
+  updateImage();
 }
 
 void TerminalDisplay::propagateSize()