Preferences/ConfigurationPages/EditorSearchPage.py

changeset 6841
43af1e698c9d
parent 6645
ad476851d7e0
equal deleted inserted replaced
6840:98bb329e39ce 6841:43af1e698c9d
6 """ 6 """
7 Module implementing the Editor Search configuration page. 7 Module implementing the Editor Search configuration page.
8 """ 8 """
9 9
10 from __future__ import unicode_literals 10 from __future__ import unicode_literals
11
12 from QScintilla.QsciScintillaCompat import QSCINTILLA_VERSION
11 13
12 from .ConfigurationPageBase import ConfigurationPageBase 14 from .ConfigurationPageBase import ConfigurationPageBase
13 from .Ui_EditorSearchPage import Ui_EditorSearchPage 15 from .Ui_EditorSearchPage import Ui_EditorSearchPage
14 16
15 import Preferences 17 import Preferences
38 Preferences.getEditor("MarkOccurrencesEnabled")) 40 Preferences.getEditor("MarkOccurrencesEnabled"))
39 41
40 self.markOccurrencesTimeoutSpinBox.setValue( 42 self.markOccurrencesTimeoutSpinBox.setValue(
41 Preferences.getEditor("MarkOccurrencesTimeout")) 43 Preferences.getEditor("MarkOccurrencesTimeout"))
42 44
45 if QSCINTILLA_VERSION() < 0x020B00:
46 self.regexpModeBox.setEnabled(False)
47 else:
48 if Preferences.getEditor("SearchRegexpMode") == 0:
49 self.regexpPosixButton.setChecked(True)
50 else:
51 self.regexpCxx11Button.setChecked(True)
52
43 self.initColour( 53 self.initColour(
44 "SearchMarkers", self.searchMarkerButton, 54 "SearchMarkers", self.searchMarkerButton,
45 Preferences.getEditorColour, hasAlpha=True) 55 Preferences.getEditorColour, hasAlpha=True)
46 56
47 def save(self): 57 def save(self):
60 70
61 Preferences.setEditor( 71 Preferences.setEditor(
62 "MarkOccurrencesTimeout", 72 "MarkOccurrencesTimeout",
63 self.markOccurrencesTimeoutSpinBox.value()) 73 self.markOccurrencesTimeoutSpinBox.value())
64 74
75 if self.regexpPosixButton.isChecked():
76 mode = 0
77 else:
78 mode = 1
79 Preferences.setEditor(
80 "SearchRegexpMode", mode)
81
65 self.saveColours(Preferences.setEditorColour) 82 self.saveColours(Preferences.setEditorColour)
66 83
67 84
68 def create(dlg): 85 def create(dlg):
69 """ 86 """

eric ide

mercurial