--- a/RessourceEditor.py	Fri Jan 04 17:49:17 2008 +0100
+++ b/RessourceEditor.py	Fri Jan 11 17:51:56 2008 +0100
@@ -96,6 +96,9 @@
     def RefreshView(self):
         pass
 
+    def RefreshScaling(self, refresh=True):
+        pass
+
 #-------------------------------------------------------------------------------
 #                            Resource Editor class
 #-------------------------------------------------------------------------------
@@ -506,9 +509,13 @@
         self.InstancesTable.ResetView(self.InstancesGrid)
         self.TasksTable.ResetView(self.TasksGrid)
 
+    def RefreshScaling(self, refresh=True):
+        pass
+
     def OnAddTaskButton(self, event):
         self.TasksTable.AppendRow(self.TasksDefaultValue.copy())
         self.RefreshModel()
+        self.RefreshView()
         event.Skip()
 
     def OnDeleteTaskButton(self, event):