(self, event=None)
| 1544 | return indentlarge - indentsmall |
| 1545 | |
| 1546 | def toggle_line_numbers_event(self, event=None): |
| 1547 | if self.line_numbers is None: |
| 1548 | return |
| 1549 | |
| 1550 | if self.line_numbers.is_shown: |
| 1551 | self.line_numbers.hide_sidebar() |
| 1552 | menu_label = "Show" |
| 1553 | else: |
| 1554 | self.line_numbers.show_sidebar() |
| 1555 | menu_label = "Hide" |
| 1556 | self.update_menu_label(menu='options', index='*ine*umbers', |
| 1557 | label=f'{menu_label} Line Numbers') |
| 1558 | |
| 1559 | # "line.col" -> line, as an int |
| 1560 | def index2line(index): |
no test coverage detected