8 """ |
8 """ |
9 |
9 |
10 from PyQt4.QtCore import pyqtSlot |
10 from PyQt4.QtCore import pyqtSlot |
11 from PyQt4.QtGui import QPixmap, QIcon |
11 from PyQt4.QtGui import QPixmap, QIcon |
12 |
12 |
13 from ConfigurationPageBase import ConfigurationPageBase |
13 from .ConfigurationPageBase import ConfigurationPageBase |
14 from Ui_EditorSearchPage import Ui_EditorSearchPage |
14 from .Ui_EditorSearchPage import Ui_EditorSearchPage |
15 |
15 |
16 import Preferences |
16 import Preferences |
17 |
17 |
18 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): |
18 class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage): |
19 """ |
19 """ |
56 self.occurrencesMarkersEnabledCheckBox.isChecked()) |
56 self.occurrencesMarkersEnabledCheckBox.isChecked()) |
57 |
57 |
58 Preferences.setEditor("MarkOccurrencesTimeout", |
58 Preferences.setEditor("MarkOccurrencesTimeout", |
59 self.markOccurrencesTimeoutSpinBox.value()) |
59 self.markOccurrencesTimeoutSpinBox.value()) |
60 |
60 |
61 for key in self.editorColours.keys(): |
61 for key in list(self.editorColours.keys()): |
62 Preferences.setEditorColour(key, self.editorColours[key]) |
62 Preferences.setEditorColour(key, self.editorColours[key]) |
63 |
63 |
64 @pyqtSlot() |
64 @pyqtSlot() |
65 def on_searchMarkerButton_clicked(self): |
65 def on_searchMarkerButton_clicked(self): |
66 """ |
66 """ |