Event on editor text widget triggered every UPDATEINTERVAL ms.
(self)
| 238 | self.update_code_context() |
| 239 | |
| 240 | def timer_event(self): |
| 241 | "Event on editor text widget triggered every UPDATEINTERVAL ms." |
| 242 | if self.context is not None: |
| 243 | self.update_code_context() |
| 244 | self.t1 = self.text.after(self.UPDATEINTERVAL, self.timer_event) |
| 245 | |
| 246 | def update_font(self): |
| 247 | if self.context is not None: |