DataTypeEditor.py
changeset 654 f8445d00613d
parent 640 c32c169b8f63
child 666 d4bb66691248
equal deleted inserted replaced
653:71b57ed5223b 654:f8445d00613d
   522         return self.Controler.GetBufferState()
   522         return self.Controler.GetBufferState()
   523         
   523         
   524     def Undo(self):
   524     def Undo(self):
   525         self.Controler.LoadPrevious()
   525         self.Controler.LoadPrevious()
   526         self.ParentWindow.CloseTabsWithoutModel()
   526         self.ParentWindow.CloseTabsWithoutModel()
   527         self.ParentWindow.RefreshEditor()
       
   528             
   527             
   529     def Redo(self):
   528     def Redo(self):
   530         self.Controler.LoadNext()
   529         self.Controler.LoadNext()
   531         self.ParentWindow.CloseTabsWithoutModel()
   530         self.ParentWindow.CloseTabsWithoutModel()
   532         self.ParentWindow.RefreshEditor()
       
   533     
   531     
   534     def HasNoModel(self):
   532     def HasNoModel(self):
   535         return self.Controler.GetEditedElement(self.TagName) is None
   533         return self.Controler.GetEditedElement(self.TagName) is None
   536         
   534         
   537     def RefreshView(self):
   535     def RefreshView(self):