--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Preferences/ConfigurationPages/EditorKeywordsPage.py Sun Feb 28 17:29:01 2010 +0000
@@ -0,0 +1,122 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2010 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing the editor highlighter keywords configuration page.
+"""
+
+from PyQt4.QtCore import pyqtSlot
+from PyQt4.QtGui import QWidget
+
+from .ConfigurationPageBase import ConfigurationPageBase
+from .Ui_EditorKeywordsPage import Ui_EditorKeywordsPage
+
+import QScintilla.Lexers
+
+import Preferences
+
+class EditorKeywordsPage(ConfigurationPageBase, Ui_EditorKeywordsPage):
+ """
+ Class implementing the editor highlighter keywords configuration page.
+ """
+ def __init__(self):
+ """
+ Constructor
+ """
+ ConfigurationPageBase.__init__(self)
+ self.setupUi(self)
+ self.setObjectName("EditorKeywordsPage")
+
+ # set initial values
+ self.__keywords = {
+ "" : ["", "", "", "", "", "", "", "", "", ""]
+ }
+ languages = sorted([''] + \
+ list(QScintilla.Lexers.getSupportedLanguages().keys()))
+ for lang in languages:
+ if lang != "Guessed":
+ self.languageCombo.addItem(lang)
+
+ for lang in languages[1:]:
+ keywords = Preferences.getEditorKeywords(lang)[:]
+ if not keywords:
+ keywords = [""]
+ lex = QScintilla.Lexers.getLexer(lang)
+ for kwSet in range(1, 10):
+ kw = lex.keywords(kwSet)
+ if kw is None:
+ kw = ""
+ keywords.append(kw)
+ self.__keywords[lang] = keywords
+
+ self.currentLanguage = ''
+ self.currentSet = 1
+ self.on_languageCombo_activated(self.currentLanguage)
+
+ def save(self):
+ """
+ Public slot to save the editor highlighter keywords configuration.
+ """
+ lang = self.languageCombo.currentText()
+ kwSet = self.setSpinBox.value()
+ self.__keywords[lang][kwSet] = self.keywordsEdit.toPlainText()
+
+ for lang, keywords in self.__keywords.items():
+ Preferences.setEditorKeywords(lang, keywords)
+
+ @pyqtSlot(str)
+ def on_languageCombo_activated(self, language):
+ """
+ Private slot to fill the keywords edit.
+
+ @param language selected language (string)
+ """
+ if self.currentLanguage == language:
+ return
+
+ if self.setSpinBox.value() == 1:
+ self.on_setSpinBox_valueChanged(1)
+ first, last = 10, 0
+ for kwSet in range(1, 10):
+ if self.__keywords[language][kwSet] != "":
+ first = min(first, kwSet)
+ last = max(last, kwSet)
+ self.setSpinBox.setEnabled(language != "" and first < 10)
+ self.keywordsEdit.setEnabled(language != "" and first < 10)
+ if first < 10:
+ self.setSpinBox.setMinimum(first)
+ self.setSpinBox.setMaximum(last)
+ self.setSpinBox.setValue(first)
+ else:
+ self.setSpinBox.setMinimum(0)
+ self.setSpinBox.setMaximum(0)
+ self.setSpinBox.setValue(0)
+
+ @pyqtSlot(int)
+ def on_setSpinBox_valueChanged(self, kwSet):
+ """
+ Private slot to fill the keywords edit.
+
+ @param kwSet number of the selected keyword set (integer)
+ """
+ language = self.languageCombo.currentText()
+ if self.currentLanguage == language and self.currentSet == kwSet:
+ return
+
+ self.__keywords[self.currentLanguage][self.currentSet] = \
+ self.keywordsEdit.toPlainText()
+
+ self.currentApiLanguage = language
+ self.currentSet = kwSet
+ self.keywordsEdit.setPlainText(self.__keywords[language][kwSet])
+
+def create(dlg):
+ """
+ Module function to create the configuration page.
+
+ @param dlg reference to the configuration dialog
+ """
+ page = EditorKeywordsPage()
+ return page
