Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 3656
441956d8fce5
parent 3484
645c12de6b0c
child 4021
195a471c327b
equal deleted inserted replaced
3654:ffeb85cdc72d 3656:441956d8fce5
11 11
12 import os 12 import os
13 13
14 from pygments.lexers import get_all_lexers 14 from pygments.lexers import get_all_lexers
15 15
16 from PyQt4.QtCore import Qt, pyqtSlot, qVersion 16 from PyQt5.QtCore import Qt, pyqtSlot, qVersion
17 from PyQt4.QtGui import QHeaderView, QTreeWidgetItem 17 from PyQt5.QtWidgets import QHeaderView, QTreeWidgetItem
18 18
19 from .ConfigurationPageBase import ConfigurationPageBase 19 from .ConfigurationPageBase import ConfigurationPageBase
20 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage 20 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage
21 21
22 import Preferences 22 import Preferences

eric ide

mercurial