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 """ |