11 from PyQt4.QtGui import QPixmap, QIcon |
11 from PyQt4.QtGui import QPixmap, QIcon |
12 from PyQt4.Qsci import QsciScintilla |
12 from PyQt4.Qsci import QsciScintilla |
13 |
13 |
14 from QScintilla.QsciScintillaCompat import QSCINTILLA_VERSION |
14 from QScintilla.QsciScintillaCompat import QSCINTILLA_VERSION |
15 |
15 |
16 from ConfigurationPageBase import ConfigurationPageBase |
16 from .ConfigurationPageBase import ConfigurationPageBase |
17 from Ui_EditorStylesPage import Ui_EditorStylesPage |
17 from .Ui_EditorStylesPage import Ui_EditorStylesPage |
18 |
18 |
19 import Preferences |
19 import Preferences |
20 |
20 |
21 class EditorStylesPage(ConfigurationPageBase, Ui_EditorStylesPage): |
21 class EditorStylesPage(ConfigurationPageBase, Ui_EditorStylesPage): |
22 """ |
22 """ |
188 Preferences.setEditor("ShowWhitespace", |
188 Preferences.setEditor("ShowWhitespace", |
189 self.whitespaceCheckBox.isChecked()) |
189 self.whitespaceCheckBox.isChecked()) |
190 Preferences.setEditor("MiniContextMenu", |
190 Preferences.setEditor("MiniContextMenu", |
191 self.miniMenuCheckBox.isChecked()) |
191 self.miniMenuCheckBox.isChecked()) |
192 |
192 |
193 for key in self.editorColours.keys(): |
193 for key in list(self.editorColours.keys()): |
194 Preferences.setEditorColour(key, self.editorColours[key]) |
194 Preferences.setEditorColour(key, self.editorColours[key]) |
195 |
195 |
196 @pyqtSlot() |
196 @pyqtSlot() |
197 def on_linenumbersFontButton_clicked(self): |
197 def on_linenumbersFontButton_clicked(self): |
198 """ |
198 """ |