Preferences/ConfigurationPages/EditorSyntaxPage.py

changeset 1353
e1c0af081a8e
child 1509
c0b5e693b0eb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Preferences/ConfigurationPages/EditorSyntaxPage.py	Sun Oct 02 20:06:38 2011 +0200
@@ -0,0 +1,57 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2011 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing the Editor Syntax Checker configuration page.
+"""
+
+from .ConfigurationPageBase import ConfigurationPageBase
+from .Ui_EditorSyntaxPage import Ui_EditorSyntaxPage
+
+import Preferences
+
+
+class EditorSyntaxPage(ConfigurationPageBase, Ui_EditorSyntaxPage):
+    """
+    Class implementing the Editor Syntax Checker configuration page.
+    """
+    def __init__(self, parent=None):
+        """
+        Constructor
+        
+        @param parent reference to the parent widget (QWidget)
+        """
+        super().__init__()
+        self.setupUi(self)
+        self.setObjectName("EditorSyntaxPage")
+        
+        # set initial values
+        self.onlineCheckBox.setChecked(
+            Preferences.getEditor("OnlineSyntaxCheck"))
+        self.onlineTimeoutSpinBox.setValue(
+            Preferences.getEditor("OnlineSyntaxCheckInterval"))
+        self.automaticSyntaxCheckCheckBox.setChecked(
+            Preferences.getEditor("AutoCheckSyntax"))
+        
+    def save(self):
+        """
+        Public slot to save the Editor Syntax Checker configuration.
+        """
+        Preferences.setEditor("OnlineSyntaxCheck",
+            self.onlineCheckBox.isChecked())
+        Preferences.setEditor("OnlineSyntaxCheckInterval",
+            self.onlineTimeoutSpinBox.value())
+        Preferences.setEditor("AutoCheckSyntax",
+            self.automaticSyntaxCheckCheckBox.isChecked())
+    
+
+def create(dlg):
+    """
+    Module function to create the configuration page.
+    
+    @param dlg reference to the configuration dialog
+    """
+    page = EditorSyntaxPage()
+    return page

eric ide

mercurial