TextViewer.py
changeset 116 58b9b84e385f
parent 113 9eeaebd867aa
child 121 40b91ba978db
equal deleted inserted replaced
115:017a65259f07 116:58b9b84e385f
   151         self.Controler = controler
   151         self.Controler = controler
   152 
   152 
   153         self.SetModEventMask(wx.stc.STC_MOD_BEFOREINSERT|wx.stc.STC_MOD_BEFOREDELETE)
   153         self.SetModEventMask(wx.stc.STC_MOD_BEFOREINSERT|wx.stc.STC_MOD_BEFOREDELETE)
   154 
   154 
   155         self.Bind(wx.stc.EVT_STC_STYLENEEDED, self.OnStyleNeeded, id=ID_TEXTVIEWER)
   155         self.Bind(wx.stc.EVT_STC_STYLENEEDED, self.OnStyleNeeded, id=ID_TEXTVIEWER)
   156         if window and controler:
   156         if controler:
   157             self.Bind(wx.EVT_KEY_DOWN, self.OnKeyDown)
   157             self.Bind(wx.EVT_KEY_DOWN, self.OnKeyDown)
   158             self.Bind(wx.stc.EVT_STC_DO_DROP, self.OnDoDrop, id=ID_TEXTVIEWER)
   158             self.Bind(wx.stc.EVT_STC_DO_DROP, self.OnDoDrop, id=ID_TEXTVIEWER)
   159             self.Bind(wx.EVT_KILL_FOCUS, self.OnKillFocus)
   159             self.Bind(wx.EVT_KILL_FOCUS, self.OnKillFocus)
   160             self.Bind(wx.stc.EVT_STC_MODIFIED, self.OnModification, id=ID_TEXTVIEWER)
   160             self.Bind(wx.stc.EVT_STC_MODIFIED, self.OnModification, id=ID_TEXTVIEWER)
   161     
   161     
   215         self.Colourise(0, -1)
   215         self.Colourise(0, -1)
   216     
   216     
   217     # Buffer the last model state
   217     # Buffer the last model state
   218     def RefreshBuffer(self):
   218     def RefreshBuffer(self):
   219         self.Controler.BufferProject()
   219         self.Controler.BufferProject()
   220         self.ParentWindow.RefreshTitle()
   220         if self.ParentWindow:
   221         self.ParentWindow.RefreshEditMenu()
   221             self.ParentWindow.RefreshTitle()
       
   222             self.ParentWindow.RefreshEditMenu()
   222     
   223     
   223     def StartBuffering(self):
   224     def StartBuffering(self):
   224         self.Controler.StartBuffering()
   225         self.Controler.StartBuffering()
   225         self.ParentWindow.RefreshTitle()
   226         if self.ParentWindow:
   226         self.ParentWindow.RefreshEditMenu()
   227             self.ParentWindow.RefreshTitle()
       
   228             self.ParentWindow.RefreshEditMenu()
   227     
   229     
   228     def ResetBuffer(self):
   230     def ResetBuffer(self):
   229         if self.CurrentAction != None:
   231         if self.CurrentAction != None:
   230             self.Controler.EndBuffering()
   232             self.Controler.EndBuffering()
   231             self.CurrentAction = None
   233             self.CurrentAction = None