controls/DebugVariablePanel/DebugVariableGraphicPanel.py
changeset 1265 242512c56ea1
parent 1264 27c8578670c8
child 1266 4282f62c1cf0
--- a/controls/DebugVariablePanel/DebugVariableGraphicPanel.py	Mon Jun 17 10:42:53 2013 +0200
+++ b/controls/DebugVariablePanel/DebugVariableGraphicPanel.py	Mon Jun 17 23:40:41 2013 +0200
@@ -864,6 +864,8 @@
                     target_panel.SetCanvasHeight(size.width)
                 elif source_size is not None and source_panel != target_panel:
                     target_panel.SetCanvasHeight(size.height + source_size.height)
+                else:
+                    target_panel.SetCanvasHeight(size.height)
                 target_panel.ResetGraphics()
                 
                 self.ResetVariableNameMask()