Preferences/ConfigurationPages/EditorSearchPage.py

changeset 12
1d8dd9706f46
parent 7
c679fb30c8f3
child 13
1af94a91f439
equal deleted inserted replaced
11:b0996e4a289e 12:1d8dd9706f46
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 """

eric ide

mercurial