RessourceEditor.py
changeset 56 7187e1c00975
parent 27 dae55dd9ee14
child 58 39cd981ff242
--- a/RessourceEditor.py	Wed Jul 25 10:06:29 2007 +0200
+++ b/RessourceEditor.py	Thu Jul 26 17:23:21 2007 +0200
@@ -419,6 +419,16 @@
         
     def RefreshModel(self):
         self.Controler.SetCurrentResourceEditingInfos(self.TasksTable.GetData(), self.InstancesTable.GetData())
+        self.RefreshBuffer()
+        
+    def ResetBuffer(self):
+        pass
+
+    # Buffer the last model state
+    def RefreshBuffer(self):
+        self.Controler.BufferProject()
+        self.Parent.RefreshTitle()
+        self.Parent.RefreshEditMenu()
 
     def RefreshView(self):
         tasks, instances = self.Controler.GetCurrentResourceEditingInfos()
@@ -433,7 +443,6 @@
     def OnAddTaskButton(self, event):
         self.TasksTable.AppendRow(self.TasksDefaultValue.copy())
         self.RefreshModel()
-        self.RefreshView()
         event.Skip()
 
     def OnDeleteTaskButton(self, event):