RessourceEditor.py
changeset 239 d12779e971bd
parent 235 7b58a3b5b6ec
child 365 7bfd014652e0
--- a/RessourceEditor.py	Fri Aug 22 17:18:12 2008 +0200
+++ b/RessourceEditor.py	Fri Aug 22 17:22:54 2008 +0200
@@ -523,6 +523,7 @@
         self.InstancesTable.AppendRow(self.InstancesDefaultValue.copy())
         self.RefreshModel()
         self.RefreshView()
+        self.ParentWindow.RefreshInstancesTree()
         event.Skip()
 
     def OnDeleteInstanceButton(self, event):
@@ -530,6 +531,7 @@
         self.InstancesTable.RemoveRow(row)
         self.RefreshModel()
         self.RefreshView()
+        self.ParentWindow.RefreshInstancesTree()
         event.Skip()
 
     def OnUpInstanceButton(self, event):
@@ -537,6 +539,7 @@
         self.InstancesTable.MoveRow(row, -1, self.InstancesGrid)
         self.RefreshModel()
         self.RefreshView()
+        self.ParentWindow.RefreshInstancesTree()
         event.Skip()
 
     def OnDownInstanceButton(self, event):
@@ -544,6 +547,7 @@
         self.InstancesTable.MoveRow(row, 1, self.InstancesGrid)
         self.RefreshModel()
         self.RefreshView()
+        self.ParentWindow.RefreshInstancesTree()
         event.Skip()
 
     def OnTasksGridCellChange(self, event):
@@ -568,6 +572,7 @@
     def OnInstancesGridCellChange(self, event):
         self.RefreshModel()
         self.RefreshView()
+        self.ParentWindow.RefreshInstancesTree()
         event.Skip()
 
 #-------------------------------------------------------------------------------