188 |
188 |
189 self.enableChangeTraceCheckBox.setChecked( |
189 self.enableChangeTraceCheckBox.setChecked( |
190 Preferences.getEditor("OnlineChangeTrace")) |
190 Preferences.getEditor("OnlineChangeTrace")) |
191 self.changeTraceTimeoutSpinBox.setValue( |
191 self.changeTraceTimeoutSpinBox.setValue( |
192 Preferences.getEditor("OnlineChangeTraceInterval")) |
192 Preferences.getEditor("OnlineChangeTraceInterval")) |
193 self.editorColours["OnlineChangeTraceMarker"] = \ |
193 self.editorColours["OnlineChangeTraceMarkerUnsaved"] = \ |
194 self.initColour("OnlineChangeTraceMarker", self.changeMarkerColorButton, |
194 self.initColour("OnlineChangeTraceMarkerUnsaved", |
|
195 self.changeMarkerUnsavedColorButton, |
|
196 Preferences.getEditorColour) |
|
197 self.editorColours["OnlineChangeTraceMarkerSaved"] = \ |
|
198 self.initColour("OnlineChangeTraceMarkerSaved", |
|
199 self.changeMarkerSavedColorButton, |
195 Preferences.getEditorColour) |
200 Preferences.getEditorColour) |
196 |
201 |
197 def save(self): |
202 def save(self): |
198 """ |
203 """ |
199 Public slot to save the Editor Styles configuration. |
204 Public slot to save the Editor Styles configuration. |
536 self.editorColours["EditAreaBackground"] = \ |
541 self.editorColours["EditAreaBackground"] = \ |
537 self.selectColour(self.editAreaBackgroundButton, |
542 self.selectColour(self.editAreaBackgroundButton, |
538 self.editorColours["EditAreaBackground"]) |
543 self.editorColours["EditAreaBackground"]) |
539 |
544 |
540 @pyqtSlot() |
545 @pyqtSlot() |
541 def on_changeMarkerColorButton_clicked(self): |
546 def on_changeMarkerUnsavedColorButton_clicked(self): |
542 """ |
547 """ |
543 Private slot to set the colour of the change marker. |
548 Private slot to set the colour of the change marker for unsaved changes. |
544 """ |
549 """ |
545 self.editorColours["OnlineChangeTraceMarker"] = \ |
550 self.editorColours["OnlineChangeTraceMarkerUnsaved"] = \ |
546 self.selectColour(self.changeMarkerColorButton, |
551 self.selectColour(self.changeMarkerUnsavedColorButton, |
547 self.editorColours["OnlineChangeTraceMarker"]) |
552 self.editorColours["OnlineChangeTraceMarkerUnsaved"]) |
|
553 |
|
554 @pyqtSlot() |
|
555 def on_changeMarkerSavedColorButton_clicked(self): |
|
556 """ |
|
557 Private slot to set the colour of the change marker for saved changes. |
|
558 """ |
|
559 self.editorColours["OnlineChangeTraceMarkerSaved"] = \ |
|
560 self.selectColour(self.changeMarkerSavedColorButton, |
|
561 self.editorColours["OnlineChangeTraceMarkerSaved"]) |
548 |
562 |
549 |
563 |
550 def create(dlg): |
564 def create(dlg): |
551 """ |
565 """ |
552 Module function to create the configuration page. |
566 Module function to create the configuration page. |