plugins/c_ext/CFileEditor.py
changeset 587 c6354f7fe26e
parent 586 720a0d30b678
child 603 e1ef99c609eb
equal deleted inserted replaced
586:720a0d30b678 587:c6354f7fe26e
   225     # Buffer the last model state
   225     # Buffer the last model state
   226     def RefreshBuffer(self):
   226     def RefreshBuffer(self):
   227         self.Controler.BufferCFile()
   227         self.Controler.BufferCFile()
   228         if self.ParentWindow:
   228         if self.ParentWindow:
   229             self.ParentWindow.RefreshTitle()
   229             self.ParentWindow.RefreshTitle()
       
   230             self.ParentWindow.RefreshFileMenu()
   230             self.ParentWindow.RefreshEditMenu()
   231             self.ParentWindow.RefreshEditMenu()
   231     
   232     
   232     def StartBuffering(self):
   233     def StartBuffering(self):
   233         self.Controler.StartBuffering()
   234         self.Controler.StartBuffering()
   234         if self.ParentWindow:
   235         if self.ParentWindow:
   235             self.ParentWindow.RefreshTitle()
   236             self.ParentWindow.RefreshTitle()
       
   237             self.ParentWindow.RefreshFileMenu()
   236             self.ParentWindow.RefreshEditMenu()
   238             self.ParentWindow.RefreshEditMenu()
   237     
   239     
   238     def ResetBuffer(self):
   240     def ResetBuffer(self):
   239         if self.CurrentAction != None:
   241         if self.CurrentAction != None:
   240             self.Controler.EndBuffering()
   242             self.Controler.EndBuffering()
   686 
   688 
   687     # Buffer the last model state
   689     # Buffer the last model state
   688     def RefreshBuffer(self):
   690     def RefreshBuffer(self):
   689         self.Controler.BufferCFile()
   691         self.Controler.BufferCFile()
   690         self.ParentWindow.RefreshTitle()
   692         self.ParentWindow.RefreshTitle()
       
   693         self.ParentWindow.RefreshFileMenu()
   691         self.ParentWindow.RefreshEditMenu()
   694         self.ParentWindow.RefreshEditMenu()
   692 
   695 
   693     def RefreshView(self):
   696     def RefreshView(self):
   694         self.Table.SetData(self.Controler.GetVariables())
   697         self.Table.SetData(self.Controler.GetVariables())
   695         self.Table.ResetView(self.VariablesGrid)
   698         self.Table.ResetView(self.VariablesGrid)