equal
deleted
inserted
replaced
747 self.ParentWindow._Refresh(TITLE, FILEMENU, EDITMENU, INSTANCESTREE, LIBRARYTREE) |
747 self.ParentWindow._Refresh(TITLE, FILEMENU, EDITMENU, INSTANCESTREE, LIBRARYTREE) |
748 event.Skip() |
748 event.Skip() |
749 else: |
749 else: |
750 self.SaveValues() |
750 self.SaveValues() |
751 if colname == "Class": |
751 if colname == "Class": |
752 self.Table.ResetView(self.VariablesGrid) |
752 self.ParentWindow.RefreshEditor(variablepanel = False) |
753 self.ParentWindow._Refresh(TITLE, FILEMENU, EDITMENU) |
|
754 event.Skip() |
753 event.Skip() |
755 |
754 |
756 def OnVariablesGridEditorShown(self, event): |
755 def OnVariablesGridEditorShown(self, event): |
757 row, col = event.GetRow(), event.GetCol() |
756 row, col = event.GetRow(), event.GetCol() |
758 |
757 |