equal
deleted
inserted
replaced
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() |
930 self.ParentWindow.RefreshEditMenu() |
930 wx.CallAfter(self.ParentWindow.RefreshEditMenu) |
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() |