Preferences/ConfigurationPages/EditorStylesPage.py

changeset 3656
441956d8fce5
parent 3484
645c12de6b0c
child 4021
195a471c327b
equal deleted inserted replaced
3654:ffeb85cdc72d 3656:441956d8fce5
7 Module implementing the Editor Styles configuration page. 7 Module implementing the Editor Styles configuration page.
8 """ 8 """
9 9
10 from __future__ import unicode_literals 10 from __future__ import unicode_literals
11 11
12 from PyQt4.QtCore import pyqtSlot 12 from PyQt5.QtCore import pyqtSlot
13 from PyQt4.QtGui import QColor, QPalette, QColorDialog 13 from PyQt5.QtGui import QColor, QPalette
14 from PyQt4.Qsci import QsciScintilla 14 from PyQt5.QtWidgets import QColorDialog
15 from PyQt5.Qsci import QsciScintilla
15 16
16 from .ConfigurationPageBase import ConfigurationPageBase 17 from .ConfigurationPageBase import ConfigurationPageBase
17 from .Ui_EditorStylesPage import Ui_EditorStylesPage 18 from .Ui_EditorStylesPage import Ui_EditorStylesPage
18 19
19 import Preferences 20 import Preferences
29 """ 30 """
30 super(EditorStylesPage, self).__init__() 31 super(EditorStylesPage, self).__init__()
31 self.setupUi(self) 32 self.setupUi(self)
32 self.setObjectName("EditorStylesPage") 33 self.setObjectName("EditorStylesPage")
33 34
34 from QScintilla.QsciScintillaCompat import ( 35 from QScintilla.QsciScintillaCompat import QsciScintillaCompat, \
35 QsciScintillaCompat, QSCINTILLA_VERSION) 36 QSCINTILLA_VERSION
36 self.foldStyles = [ 37 self.foldStyles = [
37 QsciScintilla.PlainFoldStyle, 38 QsciScintilla.PlainFoldStyle,
38 QsciScintilla.CircledFoldStyle, 39 QsciScintilla.CircledFoldStyle,
39 QsciScintilla.BoxedFoldStyle, 40 QsciScintilla.BoxedFoldStyle,
40 QsciScintilla.CircledTreeFoldStyle, 41 QsciScintilla.CircledTreeFoldStyle,

eric ide

mercurial