Preferences/ConfigurationPages/EditorSearchPage.py

changeset 6841
43af1e698c9d
parent 6645
ad476851d7e0
diff -r 98bb329e39ce -r 43af1e698c9d Preferences/ConfigurationPages/EditorSearchPage.py
--- a/Preferences/ConfigurationPages/EditorSearchPage.py	Tue Mar 05 18:59:19 2019 +0100
+++ b/Preferences/ConfigurationPages/EditorSearchPage.py	Tue Mar 05 19:00:06 2019 +0100
@@ -9,6 +9,8 @@
 
 from __future__ import unicode_literals
 
+from QScintilla.QsciScintillaCompat import QSCINTILLA_VERSION
+
 from .ConfigurationPageBase import ConfigurationPageBase
 from .Ui_EditorSearchPage import Ui_EditorSearchPage
 
@@ -40,6 +42,14 @@
         self.markOccurrencesTimeoutSpinBox.setValue(
             Preferences.getEditor("MarkOccurrencesTimeout"))
         
+        if QSCINTILLA_VERSION() < 0x020B00:
+            self.regexpModeBox.setEnabled(False)
+        else:
+            if Preferences.getEditor("SearchRegexpMode") == 0:
+                self.regexpPosixButton.setChecked(True)
+            else:
+                self.regexpCxx11Button.setChecked(True)
+        
         self.initColour(
             "SearchMarkers", self.searchMarkerButton,
             Preferences.getEditorColour, hasAlpha=True)
@@ -62,6 +72,13 @@
             "MarkOccurrencesTimeout",
             self.markOccurrencesTimeoutSpinBox.value())
         
+        if self.regexpPosixButton.isChecked():
+            mode = 0
+        else:
+            mode = 1
+        Preferences.setEditor(
+            "SearchRegexpMode", mode)
+        
         self.saveColours(Preferences.setEditorColour)
 
 

eric ide

mercurial