Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 97
c4086afea02b
parent 13
1af94a91f439
child 564
b3d966393ba9
child 792
a13346916170
equal deleted inserted replaced
96:9624a110667d 97:c4086afea02b
4 # 4 #
5 5
6 """ 6 """
7 Module implementing the Editor Properties configuration page. 7 Module implementing the Editor Properties configuration page.
8 """ 8 """
9
10 from PyQt4.Qsci import QsciScintilla
11 9
12 from QScintilla.QsciScintillaCompat import QSCINTILLA_VERSION 10 from QScintilla.QsciScintillaCompat import QSCINTILLA_VERSION
13 11
14 from .ConfigurationPageBase import ConfigurationPageBase 12 from .ConfigurationPageBase import ConfigurationPageBase
15 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage 13 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage

eric ide

mercurial