--- a/Viewer.py Mon Sep 10 18:16:07 2007 +0200
+++ b/Viewer.py Thu Sep 13 09:46:51 2007 +0200
@@ -60,10 +60,10 @@
width, height = block.GetMinSize()
block.SetSize(width, height)
self.ParentWindow.AddBlock(block)
- self.ParentWindow.Controler.AddCurrentElementEditingBlock(id)
+ self.ParentWindow.Controler.AddCurrentElementEditingBlock(id,values[0], values[2])
self.ParentWindow.RefreshBlockModel(block)
self.ParentWindow.RefreshScrollBars()
- self.ParentWindow.Update()
+ self.ParentWindow.Refresh()
elif values[1] != "location":
id = self.ParentWindow.GetNewId()
if values[1] == "Output":
@@ -80,7 +80,7 @@
self.ParentWindow.Controler.AddCurrentElementEditingVariable(id, var_type)
self.ParentWindow.RefreshVariableModel(variable)
self.ParentWindow.RefreshScrollBars()
- self.ParentWindow.Update()
+ self.ParentWindow.Refresh()
"""