--- /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