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):