VariablePanel.py
changeset 520 7ca6c3e076f7
parent 509 6f72513bc074
child 544 ad4dd01c3c35
--- a/VariablePanel.py	Fri Apr 01 17:19:31 2011 +0200
+++ b/VariablePanel.py	Mon Apr 04 11:57:18 2011 +0200
@@ -749,8 +749,7 @@
         else:
             self.SaveValues()
             if colname == "Class":
-                self.Table.ResetView(self.VariablesGrid)
-            self.ParentWindow._Refresh(TITLE, FILEMENU, EDITMENU)
+                self.ParentWindow.RefreshEditor(variablepanel = False)
             event.Skip()
     
     def OnVariablesGridEditorShown(self, event):