(event, elem=element)
| 649 | 'linenumber') |
| 650 | for element in self.theme_elements: |
| 651 | def tem(event, elem=element): |
| 652 | # event.widget.winfo_top_level().highlight_target.set(elem) |
| 653 | self.highlight_target.set(elem) |
| 654 | text.tag_bind( |
| 655 | self.theme_elements[element], '<ButtonPress-1>', tem) |
| 656 | text['state'] = 'disabled' |