equal
deleted
inserted
replaced
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: |