equal
deleted
inserted
replaced
1260 block.SetSize(values["width"], values["height"]) |
1260 block.SetSize(values["width"], values["height"]) |
1261 block.SetType(values["type"], values["extension"]) |
1261 block.SetType(values["type"], values["extension"]) |
1262 self.RefreshBlockModel(block) |
1262 self.RefreshBlockModel(block) |
1263 self.RefreshBuffer() |
1263 self.RefreshBuffer() |
1264 self.RefreshScrollBars() |
1264 self.RefreshScrollBars() |
|
1265 self.ParentWindow.RefreshEditor() |
1265 self.Refresh(False) |
1266 self.Refresh(False) |
1266 dialog.Destroy() |
1267 dialog.Destroy() |
1267 |
1268 |
1268 def EditVariableContent(self, variable): |
1269 def EditVariableContent(self, variable): |
1269 dialog = VariablePropertiesDialog(self.ParentWindow) |
1270 dialog = VariablePropertiesDialog(self.ParentWindow) |