Preferences/ConfigurationPages/EditorStylesPage.py

changeset 2164
d67b14a3f884
parent 2162
4627e6ea7b6b
child 2230
2b1b9265156c
equal deleted inserted replaced
2163:2b02339f52bf 2164:d67b14a3f884
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.

eric ide

mercurial