controls/VariablePanel.py
changeset 1361 7158aa054226
parent 1347 533741e5075c
child 1380 10ac2b18437b
--- a/controls/VariablePanel.py	Fri Oct 11 10:07:56 2013 +0200
+++ b/controls/VariablePanel.py	Fri Oct 11 12:10:40 2013 +0200
@@ -573,6 +573,8 @@
             if self.Table.GetValueByName(row, "Edit"):
                 self.Values.remove(self.Table.GetRow(row))
                 self.SaveValues()
+                if self.ElementType == "resource":
+                    self.ParentWindow.RefreshView(variablepanel = False)
                 self.RefreshValues()
         setattr(self.VariablesGrid, "_DeleteRow", _DeleteVariable)