Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 5736
000ea446ff4b
parent 5616
adcffadf4962
child 6048
82ad8ec9548c
--- a/Preferences/ConfigurationPages/EditorHighlightersPage.py	Sat May 13 13:46:05 2017 +0200
+++ b/Preferences/ConfigurationPages/EditorHighlightersPage.py	Sat May 13 16:32:54 2017 +0200
@@ -13,13 +13,14 @@
 
 from pygments.lexers import get_all_lexers
 
-from PyQt5.QtCore import Qt, pyqtSlot, qVersion
+from PyQt5.QtCore import Qt, pyqtSlot
 from PyQt5.QtWidgets import QHeaderView, QTreeWidgetItem
 
 from .ConfigurationPageBase import ConfigurationPageBase
 from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage
 
 import Preferences
+from Globals import qVersionTuple
 
 
 class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage):
@@ -39,7 +40,7 @@
         self.editorLexerList.headerItem().setText(
             self.editorLexerList.columnCount(), "")
         header = self.editorLexerList.header()
-        if qVersion() >= "5.0.0":
+        if qVersionTuple() >= (5, 0, 0):
             header.setSectionResizeMode(QHeaderView.ResizeToContents)
         else:
             header.setResizeMode(QHeaderView.ResizeToContents)

eric ide

mercurial