Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- changeset 7
- c679fb30c8f3
- parent 0
- de9c2efb9d02
- child 12
- 1d8dd9706f46
equal
deleted
inserted
replaced
| 6:52e8c820d0dd | 7:c679fb30c8f3 |
|---|---|
| 148 self.foldStyles[self.foldingStyleComboBox.currentIndex()]) | 148 self.foldStyles[self.foldingStyleComboBox.currentIndex()]) |
| 149 Preferences.setEditorOtherFonts("MarginsFont", self.marginsFont) | 149 Preferences.setEditorOtherFonts("MarginsFont", self.marginsFont) |
| 150 Preferences.setEditorOtherFonts("DefaultFont", self.defaultFont) | 150 Preferences.setEditorOtherFonts("DefaultFont", self.defaultFont) |
| 151 Preferences.setEditorOtherFonts("MonospacedFont", self.monospacedFont) | 151 Preferences.setEditorOtherFonts("MonospacedFont", self.monospacedFont) |
| 152 Preferences.setEditor("UseMonospacedFont", | 152 Preferences.setEditor("UseMonospacedFont", |
| 153 int(self.monospacedCheckBox.isChecked())) | 153 self.monospacedCheckBox.isChecked()) |
| 154 | 154 |
| 155 Preferences.setEditor("LinenoWidth", | 155 Preferences.setEditor("LinenoWidth", |
| 156 self.linenowidthSlider.value()) | 156 self.linenowidthSlider.value()) |
| 157 Preferences.setEditor("LinenoMargin", | 157 Preferences.setEditor("LinenoMargin", |
| 158 int(self.linenoCheckBox.isChecked())) | 158 self.linenoCheckBox.isChecked()) |
| 159 Preferences.setEditor("FoldingMargin", | 159 Preferences.setEditor("FoldingMargin", |
| 160 int(self.foldingCheckBox.isChecked())) | 160 self.foldingCheckBox.isChecked()) |
| 161 Preferences.setEditor("UnifiedMargins", | 161 Preferences.setEditor("UnifiedMargins", |
| 162 int(self.unifiedMarginsCheckBox.isChecked())) | 162 self.unifiedMarginsCheckBox.isChecked()) |
| 163 | 163 |
| 164 Preferences.setEditor("CaretLineVisible", | 164 Preferences.setEditor("CaretLineVisible", |
| 165 int(self.caretlineVisibleCheckBox.isChecked())) | 165 self.caretlineVisibleCheckBox.isChecked()) |
| 166 Preferences.setEditor("ColourizeSelText", | 166 Preferences.setEditor("ColourizeSelText", |
| 167 int(self.colourizeSelTextCheckBox.isChecked())) | 167 self.colourizeSelTextCheckBox.isChecked()) |
| 168 Preferences.setEditor("CustomSelectionColours", | 168 Preferences.setEditor("CustomSelectionColours", |
| 169 int(self.customSelColourCheckBox.isChecked())) | 169 self.customSelColourCheckBox.isChecked()) |
| 170 Preferences.setEditor("ExtendSelectionToEol", | 170 Preferences.setEditor("ExtendSelectionToEol", |
| 171 int(self.extentSelEolCheckBox.isChecked())) | 171 self.extentSelEolCheckBox.isChecked()) |
| 172 | 172 |
| 173 Preferences.setEditor("CaretWidth", | 173 Preferences.setEditor("CaretWidth", |
| 174 self.caretWidthSpinBox.value()) | 174 self.caretWidthSpinBox.value()) |
| 175 | 175 |
| 176 Preferences.setEditor("ShowEOL", | 176 Preferences.setEditor("ShowEOL", |
| 177 int(self.eolCheckBox.isChecked())) | 177 self.eolCheckBox.isChecked()) |
| 178 Preferences.setEditor("WrapLongLines", | 178 Preferences.setEditor("WrapLongLines", |
| 179 int(self.wrapLongLinesCheckBox.isChecked())) | 179 self.wrapLongLinesCheckBox.isChecked()) |
| 180 Preferences.setEditor("EdgeMode", | 180 Preferences.setEditor("EdgeMode", |
| 181 self.edgeModes[self.edgeModeCombo.currentIndex()]) | 181 self.edgeModes[self.edgeModeCombo.currentIndex()]) |
| 182 Preferences.setEditor("EdgeColumn", | 182 Preferences.setEditor("EdgeColumn", |
| 183 self.edgeLineColumnSlider.value()) | 183 self.edgeLineColumnSlider.value()) |
| 184 | 184 |
| 185 Preferences.setEditor("BraceHighlighting", | 185 Preferences.setEditor("BraceHighlighting", |
| 186 int(self.bracehighlightingCheckBox.isChecked())) | 186 self.bracehighlightingCheckBox.isChecked()) |
| 187 | 187 |
| 188 Preferences.setEditor("ShowWhitespace", | 188 Preferences.setEditor("ShowWhitespace", |
| 189 int(self.whitespaceCheckBox.isChecked())) | 189 self.whitespaceCheckBox.isChecked()) |
| 190 Preferences.setEditor("MiniContextMenu", | 190 Preferences.setEditor("MiniContextMenu", |
| 191 int(self.miniMenuCheckBox.isChecked())) | 191 self.miniMenuCheckBox.isChecked()) |
| 192 | 192 |
| 193 for key in self.editorColours.keys(): | 193 for key in self.editorColours.keys(): |
| 194 Preferences.setEditorColour(key, self.editorColours[key]) | 194 Preferences.setEditorColour(key, self.editorColours[key]) |
| 195 | 195 |
| 196 @pyqtSlot() | 196 @pyqtSlot() |
