| 1729 | self.format_width_int.pack(side=TOP, padx=10, pady=5) |
| 1730 | |
| 1731 | def load_windows_cfg(self): |
| 1732 | # Set variables for all windows. |
| 1733 | self.startup_edit.set(idleConf.GetOption( |
| 1734 | 'main', 'General', 'editor-on-startup', type='bool')) |
| 1735 | self.win_width.set(idleConf.GetOption( |
| 1736 | 'main', 'EditorWindow', 'width', type='int')) |
| 1737 | self.win_height.set(idleConf.GetOption( |
| 1738 | 'main', 'EditorWindow', 'height', type='int')) |
| 1739 | self.indent_spaces.set(idleConf.GetOption( |
| 1740 | 'main', 'Indent', 'num-spaces', type='int')) |
| 1741 | self.cursor_blink.set(idleConf.GetOption( |
| 1742 | 'main', 'EditorWindow', 'cursor-blink', type='bool')) |
| 1743 | self.autocomplete_wait.set(idleConf.GetOption( |
| 1744 | 'extensions', 'AutoComplete', 'popupwait', type='int')) |
| 1745 | self.paren_style.set(idleConf.GetOption( |
| 1746 | 'extensions', 'ParenMatch', 'style')) |
| 1747 | self.flash_delay.set(idleConf.GetOption( |
| 1748 | 'extensions', 'ParenMatch', 'flash-delay', type='int')) |
| 1749 | self.paren_bell.set(idleConf.GetOption( |
| 1750 | 'extensions', 'ParenMatch', 'bell')) |
| 1751 | self.format_width.set(idleConf.GetOption( |
| 1752 | 'extensions', 'FormatParagraph', 'max-width', type='int')) |
| 1753 | |
| 1754 | |
| 1755 | class ShedPage(Frame): |