453             ("Array", "range"): self.ArrayDimensions,

   453             ("Array", "range"): self.ArrayDimensions,

   454         }

   454         }

   455 

   455 

   456         self.RefreshHighlightsTimer = wx.Timer(self, -1)

   456         self.RefreshHighlightsTimer = wx.Timer(self, -1)

   457         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)

   457         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)

   461 

   458 

   462     def GetBufferState(self):

   459     def GetBufferState(self):

   463         return self.Controler.GetBufferState()

   460         return self.Controler.GetBufferState()

   464 

   461 

   465     def Undo(self):

   462     def Undo(self):