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)