Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 12
1d8dd9706f46
parent 0
de9c2efb9d02
child 13
1af94a91f439
equal deleted inserted replaced
11:b0996e4a289e 12:1d8dd9706f46
12 from pygments.lexers import get_all_lexers 12 from pygments.lexers import get_all_lexers
13 13
14 from PyQt4.QtCore import Qt, pyqtSlot 14 from PyQt4.QtCore import Qt, pyqtSlot
15 from PyQt4.QtGui import QHeaderView, QTreeWidgetItem 15 from PyQt4.QtGui import QHeaderView, QTreeWidgetItem
16 16
17 from ConfigurationPageBase import ConfigurationPageBase 17 from .ConfigurationPageBase import ConfigurationPageBase
18 from Ui_EditorHighlightersPage import Ui_EditorHighlightersPage 18 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage
19 19
20 import Preferences 20 import Preferences
21 21
22 class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage): 22 class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage):
23 """ 23 """

eric ide

mercurial