--- a/controls/VariablePanel.py Mon Jun 23 10:57:02 2014 +0200
+++ b/controls/VariablePanel.py Wed Jun 25 17:28:26 2014 +0200
@@ -577,6 +577,8 @@
self.Values.append(row_content)
new_row = self.Table.GetNumberRows()
+ if self.ElementType == "resource": + self.ParentWindow.RefreshView(variablepanel = False) setattr(self.VariablesGrid, "_AddRow", _AddVariable)