Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py
src/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py
- branch
- eric7
- changeset 9567
- 0c491346bb8e
- parent 9473
- 3f23dbf37dbe
- child 9653
- e67609152c5e
equal
deleted
inserted
replaced
| 9566:d4986df5d2e4 | 9567:0c491346bb8e |
|---|---|
| 50 self.tabindentsCheckBox.setChecked(Preferences.getEditor("TabIndents")) | 50 self.tabindentsCheckBox.setChecked(Preferences.getEditor("TabIndents")) |
| 51 self.converttabsCheckBox.setChecked(Preferences.getEditor("ConvertTabsOnLoad")) | 51 self.converttabsCheckBox.setChecked(Preferences.getEditor("ConvertTabsOnLoad")) |
| 52 self.autoindentCheckBox.setChecked(Preferences.getEditor("AutoIndentation")) | 52 self.autoindentCheckBox.setChecked(Preferences.getEditor("AutoIndentation")) |
| 53 self.comment0CheckBox.setChecked(Preferences.getEditor("CommentColumn0")) | 53 self.comment0CheckBox.setChecked(Preferences.getEditor("CommentColumn0")) |
| 54 | 54 |
| 55 self.sourceNavigationGroupBox.setChecked( | |
| 56 Preferences.getEditor("ShowSourceNavigator") | |
| 57 ) | |
| 55 self.sourceOutlineGroupBox.setChecked( | 58 self.sourceOutlineGroupBox.setChecked( |
| 56 Preferences.getEditor("ShowSourceOutline") | 59 Preferences.getEditor("ShowSourceOutline") |
| 57 ) | 60 ) |
| 58 self.sourceOutlineWidthSpinBox.setValue( | 61 self.sourceOutlineWidthSpinBox.setValue( |
| 59 Preferences.getEditor("SourceOutlineWidth") | 62 Preferences.getEditor("SourceOutlineWidth") |
| 98 Preferences.setEditor("TabIndents", self.tabindentsCheckBox.isChecked()) | 101 Preferences.setEditor("TabIndents", self.tabindentsCheckBox.isChecked()) |
| 99 Preferences.setEditor("ConvertTabsOnLoad", self.converttabsCheckBox.isChecked()) | 102 Preferences.setEditor("ConvertTabsOnLoad", self.converttabsCheckBox.isChecked()) |
| 100 Preferences.setEditor("AutoIndentation", self.autoindentCheckBox.isChecked()) | 103 Preferences.setEditor("AutoIndentation", self.autoindentCheckBox.isChecked()) |
| 101 Preferences.setEditor("CommentColumn0", self.comment0CheckBox.isChecked()) | 104 Preferences.setEditor("CommentColumn0", self.comment0CheckBox.isChecked()) |
| 102 | 105 |
| 106 Preferences.setEditor( | |
| 107 "ShowSourceNavigator", self.sourceNavigationGroupBox.isChecked() | |
| 108 ) | |
| 103 Preferences.setEditor( | 109 Preferences.setEditor( |
| 104 "ShowSourceOutline", self.sourceOutlineGroupBox.isChecked() | 110 "ShowSourceOutline", self.sourceOutlineGroupBox.isChecked() |
| 105 ) | 111 ) |
| 106 Preferences.setEditor( | 112 Preferences.setEditor( |
| 107 "SourceOutlineWidth", self.sourceOutlineWidthSpinBox.value() | 113 "SourceOutlineWidth", self.sourceOutlineWidthSpinBox.value() |
