Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.py
Preferences/ConfigurationPages/EditorStylesPage.py
- changeset 2162
- 4627e6ea7b6b
- parent 1566
- 0cb791cc631a
- child 2164
- d67b14a3f884
equal
deleted
inserted
replaced
| 2160:1874d4410904 | 2162:4627e6ea7b6b |
|---|---|
| 183 self.initColour("EditAreaForeground", self.editAreaForegroundButton, | 183 self.initColour("EditAreaForeground", self.editAreaForegroundButton, |
| 184 Preferences.getEditorColour) | 184 Preferences.getEditorColour) |
| 185 self.editorColours["EditAreaBackground"] = \ | 185 self.editorColours["EditAreaBackground"] = \ |
| 186 self.initColour("EditAreaBackground", self.editAreaBackgroundButton, | 186 self.initColour("EditAreaBackground", self.editAreaBackgroundButton, |
| 187 Preferences.getEditorColour) | 187 Preferences.getEditorColour) |
| 188 | |
| 189 self.enableChangeTraceCheckBox.setChecked( | |
| 190 Preferences.getEditor("OnlineChangeTrace")) | |
| 191 self.changeTraceTimeoutSpinBox.setValue( | |
| 192 Preferences.getEditor("OnlineChangeTraceInterval")) | |
| 193 self.editorColours["OnlineChangeTraceMarker"] = \ | |
| 194 self.initColour("OnlineChangeTraceMarker", self.changeMarkerColorButton, | |
| 195 Preferences.getEditorColour) | |
| 188 | 196 |
| 189 def save(self): | 197 def save(self): |
| 190 """ | 198 """ |
| 191 Public slot to save the Editor Styles configuration. | 199 Public slot to save the Editor Styles configuration. |
| 192 """ | 200 """ |
| 246 self.enableAnnotationsCheckBox.isChecked()) | 254 self.enableAnnotationsCheckBox.isChecked()) |
| 247 | 255 |
| 248 Preferences.setEditor("OverrideEditAreaColours", | 256 Preferences.setEditor("OverrideEditAreaColours", |
| 249 self.editAreaOverrideCheckBox.isChecked()) | 257 self.editAreaOverrideCheckBox.isChecked()) |
| 250 | 258 |
| 259 Preferences.setEditor("OnlineChangeTrace", | |
| 260 self.enableChangeTraceCheckBox.isChecked()) | |
| 261 Preferences.setEditor("OnlineChangeTraceInterval", | |
| 262 self.changeTraceTimeoutSpinBox.value()) | |
| 263 | |
| 251 for key in list(self.editorColours.keys()): | 264 for key in list(self.editorColours.keys()): |
| 252 Preferences.setEditorColour(key, self.editorColours[key]) | 265 Preferences.setEditorColour(key, self.editorColours[key]) |
| 253 | 266 |
| 254 @pyqtSlot() | 267 @pyqtSlot() |
| 255 def on_linenumbersFontButton_clicked(self): | 268 def on_linenumbersFontButton_clicked(self): |
| 521 Private slot to set the background colour of the edit area. | 534 Private slot to set the background colour of the edit area. |
| 522 """ | 535 """ |
| 523 self.editorColours["EditAreaBackground"] = \ | 536 self.editorColours["EditAreaBackground"] = \ |
| 524 self.selectColour(self.editAreaBackgroundButton, | 537 self.selectColour(self.editAreaBackgroundButton, |
| 525 self.editorColours["EditAreaBackground"]) | 538 self.editorColours["EditAreaBackground"]) |
| 539 | |
| 540 @pyqtSlot() | |
| 541 def on_changeMarkerColorButton_clicked(self): | |
| 542 """ | |
| 543 Private slot to set the colour of the change marker. | |
| 544 """ | |
| 545 self.editorColours["OnlineChangeTraceMarker"] = \ | |
| 546 self.selectColour(self.changeMarkerColorButton, | |
| 547 self.editorColours["OnlineChangeTraceMarker"]) | |
| 526 | 548 |
| 527 | 549 |
| 528 def create(dlg): | 550 def create(dlg): |
| 529 """ | 551 """ |
| 530 Module function to create the configuration page. | 552 Module function to create the configuration page. |
