Preferences/ConfigurationPages/EditorStylesPage.py

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

eric ide

mercurial