equal
deleted
inserted
replaced
741 self.VariablesGrid.SetColSize(col, self.ColSizes[col]) |
741 self.VariablesGrid.SetColSize(col, self.ColSizes[col]) |
742 self.Table.ResetView(self.VariablesGrid) |
742 self.Table.ResetView(self.VariablesGrid) |
743 |
743 |
744 def GetVariableTableColnames(self): |
744 def GetVariableTableColnames(self): |
745 _ = NoTranslate |
745 _ = NoTranslate |
746 return ["#", _("Name"), _("Type"), _("Initial"), _("Description"), _("OnChange"), _("Options")] |
746 return ["#", |
|
747 _("Name"), |
|
748 _("Type"), |
|
749 _("Initial"), |
|
750 _("Description"), |
|
751 _("OnChange"), |
|
752 _("Options")] |
747 |
753 |
748 def RefreshModel(self): |
754 def RefreshModel(self): |
749 self.Controler.SetVariables(self.Table.GetData()) |
755 self.Controler.SetVariables(self.Table.GetData()) |
750 self.RefreshBuffer() |
756 self.RefreshBuffer() |
751 |
757 |