Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- changeset 564
- b3d966393ba9
- parent 342
- 360c4eb76d6c
- child 729
- 090203934c19
equal
deleted
inserted
replaced
| 563:e35d2cda9a74 | 564:b3d966393ba9 |
|---|---|
| 57 self.marginsFontSample.setFont(self.marginsFont) | 57 self.marginsFontSample.setFont(self.marginsFont) |
| 58 self.defaultFont = Preferences.getEditorOtherFonts("DefaultFont") | 58 self.defaultFont = Preferences.getEditorOtherFonts("DefaultFont") |
| 59 self.defaultFontSample.setFont(self.defaultFont) | 59 self.defaultFontSample.setFont(self.defaultFont) |
| 60 self.monospacedFont = Preferences.getEditorOtherFonts("MonospacedFont") | 60 self.monospacedFont = Preferences.getEditorOtherFonts("MonospacedFont") |
| 61 self.monospacedFontSample.setFont(self.monospacedFont) | 61 self.monospacedFontSample.setFont(self.monospacedFont) |
| 62 self.monospacedCheckBox.setChecked(\ | 62 self.monospacedCheckBox.setChecked( |
| 63 Preferences.getEditor("UseMonospacedFont")) | 63 Preferences.getEditor("UseMonospacedFont")) |
| 64 self.linenowidthSlider.setValue(\ | 64 self.linenowidthSlider.setValue( |
| 65 Preferences.getEditor("LinenoWidth")) | 65 Preferences.getEditor("LinenoWidth")) |
| 66 self.linenoCheckBox.setChecked(\ | 66 self.linenoCheckBox.setChecked( |
| 67 Preferences.getEditor("LinenoMargin")) | 67 Preferences.getEditor("LinenoMargin")) |
| 68 self.foldingCheckBox.setChecked(\ | 68 self.foldingCheckBox.setChecked( |
| 69 Preferences.getEditor("FoldingMargin")) | 69 Preferences.getEditor("FoldingMargin")) |
| 70 self.unifiedMarginsCheckBox.setChecked(\ | 70 self.unifiedMarginsCheckBox.setChecked( |
| 71 Preferences.getEditor("UnifiedMargins")) | 71 Preferences.getEditor("UnifiedMargins")) |
| 72 | 72 |
| 73 self.caretlineVisibleCheckBox.setChecked(\ | 73 self.caretlineVisibleCheckBox.setChecked( |
| 74 Preferences.getEditor("CaretLineVisible")) | 74 Preferences.getEditor("CaretLineVisible")) |
| 75 self.caretWidthSpinBox.setValue(\ | 75 self.caretWidthSpinBox.setValue( |
| 76 Preferences.getEditor("CaretWidth")) | 76 Preferences.getEditor("CaretWidth")) |
| 77 self.colourizeSelTextCheckBox.setChecked(\ | 77 self.colourizeSelTextCheckBox.setChecked( |
| 78 Preferences.getEditor("ColourizeSelText")) | 78 Preferences.getEditor("ColourizeSelText")) |
| 79 self.customSelColourCheckBox.setChecked(\ | 79 self.customSelColourCheckBox.setChecked( |
| 80 Preferences.getEditor("CustomSelectionColours")) | 80 Preferences.getEditor("CustomSelectionColours")) |
| 81 self.extentSelEolCheckBox.setChecked(\ | 81 self.extentSelEolCheckBox.setChecked( |
| 82 Preferences.getEditor("ExtendSelectionToEol")) | 82 Preferences.getEditor("ExtendSelectionToEol")) |
| 83 | 83 |
| 84 self.editorColours["CaretForeground"] = \ | 84 self.editorColours["CaretForeground"] = \ |
| 85 self.initColour("CaretForeground", self.caretForegroundButton, | 85 self.initColour("CaretForeground", self.caretForegroundButton, |
| 86 Preferences.getEditorColour) | 86 Preferences.getEditorColour) |
| 114 self.editorColours["FoldMarkersBackground"] = \ | 114 self.editorColours["FoldMarkersBackground"] = \ |
| 115 self.initColour("FoldMarkersBackground", self.foldmarkersBackgroundButton, | 115 self.initColour("FoldMarkersBackground", self.foldmarkersBackgroundButton, |
| 116 Preferences.getEditorColour) | 116 Preferences.getEditorColour) |
| 117 | 117 |
| 118 self.eolCheckBox.setChecked(Preferences.getEditor("ShowEOL")) | 118 self.eolCheckBox.setChecked(Preferences.getEditor("ShowEOL")) |
| 119 self.wrapLongLinesCheckBox.setChecked(\ | 119 self.wrapLongLinesCheckBox.setChecked( |
| 120 Preferences.getEditor("WrapLongLines")) | 120 Preferences.getEditor("WrapLongLines")) |
| 121 | 121 |
| 122 self.edgeModeCombo.setCurrentIndex( | 122 self.edgeModeCombo.setCurrentIndex( |
| 123 self.edgeModes.index(Preferences.getEditor("EdgeMode"))) | 123 self.edgeModes.index(Preferences.getEditor("EdgeMode"))) |
| 124 self.edgeLineColumnSlider.setValue(\ | 124 self.edgeLineColumnSlider.setValue( |
| 125 Preferences.getEditor("EdgeColumn")) | 125 Preferences.getEditor("EdgeColumn")) |
| 126 self.editorColours["Edge"] = \ | 126 self.editorColours["Edge"] = \ |
| 127 self.initColour("Edge", self.edgeBackgroundColorButton, | 127 self.initColour("Edge", self.edgeBackgroundColorButton, |
| 128 Preferences.getEditorColour) | 128 Preferences.getEditorColour) |
| 129 | 129 |
| 130 self.bracehighlightingCheckBox.setChecked(\ | 130 self.bracehighlightingCheckBox.setChecked( |
| 131 Preferences.getEditor("BraceHighlighting")) | 131 Preferences.getEditor("BraceHighlighting")) |
| 132 self.editorColours["MatchingBrace"] = \ | 132 self.editorColours["MatchingBrace"] = \ |
| 133 self.initColour("MatchingBrace", self.matchingBracesButton, | 133 self.initColour("MatchingBrace", self.matchingBracesButton, |
| 134 Preferences.getEditorColour) | 134 Preferences.getEditorColour) |
| 135 self.editorColours["MatchingBraceBack"] = \ | 135 self.editorColours["MatchingBraceBack"] = \ |
| 143 Preferences.getEditorColour) | 143 Preferences.getEditorColour) |
| 144 | 144 |
| 145 self.zoomfactorSlider.setValue( | 145 self.zoomfactorSlider.setValue( |
| 146 Preferences.getEditor("ZoomFactor")) | 146 Preferences.getEditor("ZoomFactor")) |
| 147 | 147 |
| 148 self.whitespaceCheckBox.setChecked(\ | 148 self.whitespaceCheckBox.setChecked( |
| 149 Preferences.getEditor("ShowWhitespace")) | 149 Preferences.getEditor("ShowWhitespace")) |
| 150 self.miniMenuCheckBox.setChecked(\ | 150 self.miniMenuCheckBox.setChecked( |
| 151 Preferences.getEditor("MiniContextMenu")) | 151 Preferences.getEditor("MiniContextMenu")) |
| 152 | 152 |
| 153 def save(self): | 153 def save(self): |
| 154 """ | 154 """ |
| 155 Public slot to save the Editor Styles configuration. | 155 Public slot to save the Editor Styles configuration. |
