QScintilla/Shell.py

changeset 6841
43af1e698c9d
parent 6645
ad476851d7e0
child 6845
4680adb641e0
--- a/QScintilla/Shell.py	Tue Mar 05 18:59:19 2019 +0100
+++ b/QScintilla/Shell.py	Tue Mar 05 19:00:06 2019 +0100
@@ -2239,9 +2239,11 @@
         @type bool
         """
         self.__lastSearch = (txt, caseSensitive, wholeWord, regexp)
+        posixMode = Preferences.getEditor("SearchRegexpMode") == 0 and regexp
+        cxx11Mode = Preferences.getEditor("SearchRegexpMode") == 1 and regexp
         ok = self.findFirst(
             txt, regexp, caseSensitive, wholeWord, True, forward=True,
-            posix=regexp)
+            posix=posixMode, cxx11=cxx11Mode)
         self.searchStringFound.emit(ok)
     
     def __searchPrev(self):
@@ -2271,9 +2273,12 @@
             line, index = self.getSelection()[:2]
         else:
             line, index = -1, -1
+        posixMode = Preferences.getEditor("SearchRegexpMode") == 0 and regexp
+        cxx11Mode = Preferences.getEditor("SearchRegexpMode") == 1 and regexp
         ok = self.findFirst(
             txt, regexp, caseSensitive, wholeWord, True,
-            forward=False, line=line, index=index, posix=regexp)
+            forward=False, line=line, index=index, posix=posixMode,
+            cxx11=cxx11Mode)
         self.searchStringFound.emit(ok)
     
     def historyStyle(self):

eric ide

mercurial