--- a/Preferences/ConfigurationPages/EditorHighlightersPage.py Sat Oct 12 17:31:40 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorHighlightersPage.py Sat Oct 12 18:25:29 2013 +0200 @@ -34,7 +34,8 @@ self.setupUi(self) self.setObjectName("EditorHighlightersPage") - self.editorLexerList.headerItem().setText(self.editorLexerList.columnCount(), "") + self.editorLexerList.headerItem().setText( + self.editorLexerList.columnCount(), "") header = self.editorLexerList.header() if qVersion() >= "5.0.0": header.setSectionResizeMode(QHeaderView.ResizeToContents)