Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 690
a2f8b36625e6
parent 564
b3d966393ba9
child 791
9ec2ac20e54e
equal deleted inserted replaced
689:8ed6155d4d65 690:a2f8b36625e6
87 ext, Qt.MatchFlags(Qt.MatchExactly), 0) 87 ext, Qt.MatchFlags(Qt.MatchExactly), 0)
88 if itmList: 88 if itmList:
89 index = self.editorLexerList.indexOfTopLevelItem(itmList[0]) 89 index = self.editorLexerList.indexOfTopLevelItem(itmList[0])
90 itm = self.editorLexerList.takeTopLevelItem(index) 90 itm = self.editorLexerList.takeTopLevelItem(index)
91 del itm 91 del itm
92 itm = QTreeWidgetItem(self.editorLexerList, [ext, lexer]) 92 QTreeWidgetItem(self.editorLexerList, [ext, lexer])
93 self.editorFileExtEdit.clear() 93 self.editorFileExtEdit.clear()
94 self.editorLexerCombo.setCurrentIndex(0) 94 self.editorLexerCombo.setCurrentIndex(0)
95 self.pygmentsLexerCombo.setCurrentIndex(0) 95 self.pygmentsLexerCombo.setCurrentIndex(0)
96 self.editorLexerList.sortItems(self.editorLexerList.sortColumn(), 96 self.editorLexerList.sortItems(self.editorLexerList.sortColumn(),
97 self.editorLexerList.header().sortIndicatorOrder()) 97 self.editorLexerList.header().sortIndicatorOrder())

eric ide

mercurial