Preferences/ConfigurationPages/EditorStylesPage.py

changeset 2162
4627e6ea7b6b
parent 1566
0cb791cc631a
child 2164
d67b14a3f884
--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Wed Oct 24 10:30:25 2012 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Sat Oct 27 20:10:59 2012 +0200
@@ -185,6 +185,14 @@
         self.editorColours["EditAreaBackground"] = \
             self.initColour("EditAreaBackground", self.editAreaBackgroundButton,
                 Preferences.getEditorColour)
+        
+        self.enableChangeTraceCheckBox.setChecked(
+            Preferences.getEditor("OnlineChangeTrace"))
+        self.changeTraceTimeoutSpinBox.setValue(
+            Preferences.getEditor("OnlineChangeTraceInterval"))
+        self.editorColours["OnlineChangeTraceMarker"] = \
+            self.initColour("OnlineChangeTraceMarker", self.changeMarkerColorButton,
+                Preferences.getEditorColour)
     
     def save(self):
         """
@@ -248,6 +256,11 @@
         Preferences.setEditor("OverrideEditAreaColours",
             self.editAreaOverrideCheckBox.isChecked())
         
+        Preferences.setEditor("OnlineChangeTrace",
+            self.enableChangeTraceCheckBox.isChecked())
+        Preferences.setEditor("OnlineChangeTraceInterval",
+            self.changeTraceTimeoutSpinBox.value())
+        
         for key in list(self.editorColours.keys()):
             Preferences.setEditorColour(key, self.editorColours[key])
         
@@ -523,6 +536,15 @@
         self.editorColours["EditAreaBackground"] = \
             self.selectColour(self.editAreaBackgroundButton,
                 self.editorColours["EditAreaBackground"])
+    
+    @pyqtSlot()
+    def on_changeMarkerColorButton_clicked(self):
+        """
+        Private slot to set the colour of the change marker.
+        """
+        self.editorColours["OnlineChangeTraceMarker"] = \
+            self.selectColour(self.changeMarkerColorButton,
+                self.editorColours["OnlineChangeTraceMarker"])
 
 
 def create(dlg):

eric ide

mercurial