774     

   774     

   775     # Buffer the last model state

   775     # Buffer the last model state

   776     def RefreshBuffer(self):

   776     def RefreshBuffer(self):

   777         self.Controler.BufferProject()

   777         self.Controler.BufferProject()

   778         self.ParentWindow.RefreshTitle()

   778         self.ParentWindow.RefreshTitle()

   779         self.ParentWindow.RefreshEditMenu()

   780         self.ParentWindow.RefreshEditMenu()

   780 

   781 

   781     # Refresh the current scaling

   782     # Refresh the current scaling

   782     def RefreshScaling(self, refresh=True):

   783     def RefreshScaling(self, refresh=True):

   783         properties = self.Controler.GetProjectProperties(self.Debug)

   784         properties = self.Controler.GetProjectProperties(self.Debug)