91 Preferences.getEditor("UseMonospacedFont")) |
91 Preferences.getEditor("UseMonospacedFont")) |
92 self.linenoCheckBox.setChecked( |
92 self.linenoCheckBox.setChecked( |
93 Preferences.getEditor("LinenoMargin")) |
93 Preferences.getEditor("LinenoMargin")) |
94 self.foldingCheckBox.setChecked( |
94 self.foldingCheckBox.setChecked( |
95 Preferences.getEditor("FoldingMargin")) |
95 Preferences.getEditor("FoldingMargin")) |
96 self.unifiedMarginsCheckBox.setChecked( |
|
97 Preferences.getEditor("UnifiedMargins")) |
|
98 |
96 |
99 self.caretlineVisibleCheckBox.setChecked( |
97 self.caretlineVisibleCheckBox.setChecked( |
100 Preferences.getEditor("CaretLineVisible")) |
98 Preferences.getEditor("CaretLineVisible")) |
101 self.caretlineAlwaysVisibleCheckBox.setChecked( |
99 self.caretlineAlwaysVisibleCheckBox.setChecked( |
102 Preferences.getEditor("CaretLineAlwaysVisible")) |
100 Preferences.getEditor("CaretLineAlwaysVisible")) |
287 |
285 |
288 Preferences.setEditor( |
286 Preferences.setEditor( |
289 "LinenoMargin", self.linenoCheckBox.isChecked()) |
287 "LinenoMargin", self.linenoCheckBox.isChecked()) |
290 Preferences.setEditor( |
288 Preferences.setEditor( |
291 "FoldingMargin", self.foldingCheckBox.isChecked()) |
289 "FoldingMargin", self.foldingCheckBox.isChecked()) |
292 Preferences.setEditor( |
|
293 "UnifiedMargins", self.unifiedMarginsCheckBox.isChecked()) |
|
294 |
290 |
295 Preferences.setEditor( |
291 Preferences.setEditor( |
296 "CaretLineVisible", self.caretlineVisibleCheckBox.isChecked()) |
292 "CaretLineVisible", self.caretlineVisibleCheckBox.isChecked()) |
297 Preferences.setEditor( |
293 Preferences.setEditor( |
298 "CaretLineAlwaysVisible", |
294 "CaretLineAlwaysVisible", |