diff -r 7aa41173b44b -r 5d3a5a05114e src/eric7/Preferences/ConfigurationPages/Ui_EditorHighlightersPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Preferences/ConfigurationPages/Ui_EditorHighlightersPage.py Fri Jun 07 10:05:06 2024 +0200
@@ -0,0 +1,83 @@
+# Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/EditorHighlightersPage.ui'
+#
+# Created by: PyQt6 UI code generator 6.7.0
+#
+# WARNING: Any manual changes made to this file will be lost when pyuic6 is
+# run again. Do not edit this file unless you know what you are doing.
+
+
+from PyQt6 import QtCore, QtGui, QtWidgets
+
+
+class Ui_EditorHighlightersPage(object):
+ def setupUi(self, EditorHighlightersPage):
+ EditorHighlightersPage.setObjectName("EditorHighlightersPage")
+ EditorHighlightersPage.resize(400, 361)
+ self.verticalLayout = QtWidgets.QVBoxLayout(EditorHighlightersPage)
+ self.verticalLayout.setObjectName("verticalLayout")
+ self.headerLabel = QtWidgets.QLabel(parent=EditorHighlightersPage)
+ self.headerLabel.setObjectName("headerLabel")
+ self.verticalLayout.addWidget(self.headerLabel)
+ self.line19 = QtWidgets.QFrame(parent=EditorHighlightersPage)
+ self.line19.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line19.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
+ self.line19.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line19.setObjectName("line19")
+ self.verticalLayout.addWidget(self.line19)
+ self.editorLexerList = QtWidgets.QTreeWidget(parent=EditorHighlightersPage)
+ self.editorLexerList.setAlternatingRowColors(True)
+ self.editorLexerList.setRootIsDecorated(False)
+ self.editorLexerList.setObjectName("editorLexerList")
+ self.verticalLayout.addWidget(self.editorLexerList)
+ self.gridLayout = QtWidgets.QGridLayout()
+ self.gridLayout.setObjectName("gridLayout")
+ self.textLabel2_6 = QtWidgets.QLabel(parent=EditorHighlightersPage)
+ self.textLabel2_6.setObjectName("textLabel2_6")
+ self.gridLayout.addWidget(self.textLabel2_6, 0, 0, 1, 1)
+ self.editorFileExtEdit = QtWidgets.QLineEdit(parent=EditorHighlightersPage)
+ self.editorFileExtEdit.setObjectName("editorFileExtEdit")
+ self.gridLayout.addWidget(self.editorFileExtEdit, 0, 1, 1, 1)
+ self.addLexerButton = QtWidgets.QPushButton(parent=EditorHighlightersPage)
+ self.addLexerButton.setObjectName("addLexerButton")
+ self.gridLayout.addWidget(self.addLexerButton, 0, 2, 1, 1)
+ self.textLabel3_3 = QtWidgets.QLabel(parent=EditorHighlightersPage)
+ self.textLabel3_3.setObjectName("textLabel3_3")
+ self.gridLayout.addWidget(self.textLabel3_3, 1, 0, 1, 1)
+ self.editorLexerCombo = QtWidgets.QComboBox(parent=EditorHighlightersPage)
+ self.editorLexerCombo.setObjectName("editorLexerCombo")
+ self.gridLayout.addWidget(self.editorLexerCombo, 1, 1, 1, 1)
+ self.deleteLexerButton = QtWidgets.QPushButton(parent=EditorHighlightersPage)
+ self.deleteLexerButton.setObjectName("deleteLexerButton")
+ self.gridLayout.addWidget(self.deleteLexerButton, 1, 2, 1, 1)
+ self.pygmentsLabel = QtWidgets.QLabel(parent=EditorHighlightersPage)
+ self.pygmentsLabel.setObjectName("pygmentsLabel")
+ self.gridLayout.addWidget(self.pygmentsLabel, 2, 0, 1, 1)
+ self.pygmentsLexerCombo = QtWidgets.QComboBox(parent=EditorHighlightersPage)
+ self.pygmentsLexerCombo.setObjectName("pygmentsLexerCombo")
+ self.gridLayout.addWidget(self.pygmentsLexerCombo, 2, 1, 1, 1)
+ self.verticalLayout.addLayout(self.gridLayout)
+
+ self.retranslateUi(EditorHighlightersPage)
+ QtCore.QMetaObject.connectSlotsByName(EditorHighlightersPage)
+ EditorHighlightersPage.setTabOrder(self.editorLexerList, self.editorFileExtEdit)
+ EditorHighlightersPage.setTabOrder(self.editorFileExtEdit, self.editorLexerCombo)
+ EditorHighlightersPage.setTabOrder(self.editorLexerCombo, self.pygmentsLexerCombo)
+ EditorHighlightersPage.setTabOrder(self.pygmentsLexerCombo, self.addLexerButton)
+ EditorHighlightersPage.setTabOrder(self.addLexerButton, self.deleteLexerButton)
+
+ def retranslateUi(self, EditorHighlightersPage):
+ _translate = QtCore.QCoreApplication.translate
+ self.headerLabel.setText(_translate("EditorHighlightersPage", "<b>Configure syntax highlighters</b>"))
+ self.editorLexerList.setSortingEnabled(True)
+ self.editorLexerList.headerItem().setText(0, _translate("EditorHighlightersPage", "Filename Pattern"))
+ self.editorLexerList.headerItem().setText(1, _translate("EditorHighlightersPage", "Lexer Language"))
+ self.textLabel2_6.setText(_translate("EditorHighlightersPage", "Filename Pattern:"))
+ self.editorFileExtEdit.setToolTip(_translate("EditorHighlightersPage", "Enter the filename pattern to be associated"))
+ self.addLexerButton.setToolTip(_translate("EditorHighlightersPage", "Press to add or change the entered association"))
+ self.addLexerButton.setText(_translate("EditorHighlightersPage", "Add/Change"))
+ self.textLabel3_3.setText(_translate("EditorHighlightersPage", "Lexer Language:"))
+ self.editorLexerCombo.setToolTip(_translate("EditorHighlightersPage", "Select the lexer language to associate"))
+ self.deleteLexerButton.setToolTip(_translate("EditorHighlightersPage", "Press to delete the selected association"))
+ self.deleteLexerButton.setText(_translate("EditorHighlightersPage", "Delete"))
+ self.pygmentsLabel.setText(_translate("EditorHighlightersPage", "Alternative Lexer:"))
+ self.pygmentsLexerCombo.setToolTip(_translate("EditorHighlightersPage", "Select the alternative lexer to associate"))
