TextViewer.py
changeset 145 4fb225afddf4
parent 136 858ff1a52d20
child 231 fc2d6cbb8b39
equal deleted inserted replaced
144:b67a5de5a24a 145:4fb225afddf4
   292         self.EnumeratedValues = []
   292         self.EnumeratedValues = []
   293         for value in self.Controler.GetEnumeratedDataValues():
   293         for value in self.Controler.GetEnumeratedDataValues():
   294             self.EnumeratedValues.append(value.upper())
   294             self.EnumeratedValues.append(value.upper())
   295         
   295         
   296         self.Colourise(0, -1)
   296         self.Colourise(0, -1)
       
   297     
       
   298     def RefreshScaling(self, refresh=True):
       
   299         pass
   297     
   300     
   298     def OnStyleNeeded(self, event):
   301     def OnStyleNeeded(self, event):
   299         self.TextChanged = True
   302         self.TextChanged = True
   300         line = self.LineFromPosition(self.GetEndStyled())
   303         line = self.LineFromPosition(self.GetEndStyled())
   301         if line == 0:
   304         if line == 0: