plugins/python/PythonEditor.py
changeset 534 80f05b17de1e
parent 427 7ac746c07ff2
child 654 9f6c091c316c
equal deleted inserted replaced
531:ba136820dd7d 534:80f05b17de1e
   275     # Buffer the last model state
   275     # Buffer the last model state
   276     def RefreshBuffer(self):
   276     def RefreshBuffer(self):
   277         self.Controler.BufferPython()
   277         self.Controler.BufferPython()
   278         if self.ParentWindow:
   278         if self.ParentWindow:
   279             self.ParentWindow.RefreshTitle()
   279             self.ParentWindow.RefreshTitle()
       
   280             self.ParentWindow.RefreshFileMenu()
   280             self.ParentWindow.RefreshEditMenu()
   281             self.ParentWindow.RefreshEditMenu()
   281     
   282     
   282     def StartBuffering(self):
   283     def StartBuffering(self):
   283         self.Controler.StartBuffering()
   284         self.Controler.StartBuffering()
   284         if self.ParentWindow:
   285         if self.ParentWindow:
   285             self.ParentWindow.RefreshTitle()
   286             self.ParentWindow.RefreshTitle()
       
   287             self.ParentWindow.RefreshFileMenu()
   286             self.ParentWindow.RefreshEditMenu()
   288             self.ParentWindow.RefreshEditMenu()
   287     
   289     
   288     def ResetBuffer(self):
   290     def ResetBuffer(self):
   289         if self.CurrentAction != None:
   291         if self.CurrentAction != None:
   290             self.Controler.EndBuffering()
   292             self.Controler.EndBuffering()