Viewer.py
changeset 94 e7f5a251f251
parent 91 e8e9ddeed76c
child 95 ee66a9a1748b
equal deleted inserted replaced
93:c3c24b979a4d 94:e7f5a251f251
  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)