925     def RefreshBuffer(self):

   925     def RefreshBuffer(self):

   926         self.Controler.BufferProject()

   926         self.Controler.BufferProject()

   927         if self.ParentWindow:

   927         if self.ParentWindow:

   928             self.ParentWindow.RefreshTitle()

   928             self.ParentWindow.RefreshTitle()

   929             self.ParentWindow.RefreshFileMenu()

   929             self.ParentWindow.RefreshFileMenu()

   931     

   931     

   932     def StartBuffering(self):

   932     def StartBuffering(self):

   933         if not self.Buffering:

   933         if not self.Buffering:

   934             self.Buffering = True

   934             self.Buffering = True

   935             self.Controler.StartBuffering()

   935             self.Controler.StartBuffering()