plugins/c_ext/CFileEditor.py
changeset 585 58977fe8b3b0
parent 534 80f05b17de1e
child 586 720a0d30b678
equal deleted inserted replaced
582:bb5d0367bf32 585:58977fe8b3b0
   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()
       
   231             self.ParentWindow.RefreshEditMenu()
   230             self.ParentWindow.RefreshEditMenu()
   232     
   231     
   233     def StartBuffering(self):
   232     def StartBuffering(self):
   234         self.Controler.StartBuffering()
   233         self.Controler.StartBuffering()
   235         if self.ParentWindow:
   234         if self.ParentWindow:
   236             self.ParentWindow.RefreshTitle()
   235             self.ParentWindow.RefreshTitle()
   237             self.ParentWindow.RefreshFileMenu()
       
   238             self.ParentWindow.RefreshEditMenu()
   236             self.ParentWindow.RefreshEditMenu()
   239     
   237     
   240     def ResetBuffer(self):
   238     def ResetBuffer(self):
   241         if self.CurrentAction != None:
   239         if self.CurrentAction != None:
   242             self.Controler.EndBuffering()
   240             self.Controler.EndBuffering()
   688 
   686 
   689     # Buffer the last model state
   687     # Buffer the last model state
   690     def RefreshBuffer(self):
   688     def RefreshBuffer(self):
   691         self.Controler.BufferCFile()
   689         self.Controler.BufferCFile()
   692         self.ParentWindow.RefreshTitle()
   690         self.ParentWindow.RefreshTitle()
   693         self.ParentWindow.RefreshFileMenu()
       
   694         self.ParentWindow.RefreshEditMenu()
   691         self.ParentWindow.RefreshEditMenu()
   695 
   692 
   696     def RefreshView(self):
   693     def RefreshView(self):
   697         self.Table.SetData(self.Controler.GetVariables())
   694         self.Table.SetData(self.Controler.GetVariables())
   698         self.Table.ResetView(self.VariablesGrid)
   695         self.Table.ResetView(self.VariablesGrid)