diff -r 7aa41173b44b -r 5d3a5a05114e src/eric7/Preferences/ConfigurationPages/Ui_EditorKeywordsPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Preferences/ConfigurationPages/Ui_EditorKeywordsPage.py Fri Jun 07 10:05:06 2024 +0200
@@ -0,0 +1,82 @@
+# Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/EditorKeywordsPage.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_EditorKeywordsPage(object):
+ def setupUi(self, EditorKeywordsPage):
+ EditorKeywordsPage.setObjectName("EditorKeywordsPage")
+ EditorKeywordsPage.resize(462, 422)
+ self.verticalLayout = QtWidgets.QVBoxLayout(EditorKeywordsPage)
+ self.verticalLayout.setObjectName("verticalLayout")
+ self.headerLabel = QtWidgets.QLabel(parent=EditorKeywordsPage)
+ self.headerLabel.setObjectName("headerLabel")
+ self.verticalLayout.addWidget(self.headerLabel)
+ self.line5 = QtWidgets.QFrame(parent=EditorKeywordsPage)
+ self.line5.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line5.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
+ self.line5.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line5.setObjectName("line5")
+ self.verticalLayout.addWidget(self.line5)
+ self.horizontalLayout = QtWidgets.QHBoxLayout()
+ self.horizontalLayout.setObjectName("horizontalLayout")
+ self.TextLabel1_3_3 = QtWidgets.QLabel(parent=EditorKeywordsPage)
+ self.TextLabel1_3_3.setToolTip("")
+ self.TextLabel1_3_3.setObjectName("TextLabel1_3_3")
+ self.horizontalLayout.addWidget(self.TextLabel1_3_3)
+ self.languageCombo = QtWidgets.QComboBox(parent=EditorKeywordsPage)
+ sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed)
+ sizePolicy.setHorizontalStretch(0)
+ sizePolicy.setVerticalStretch(0)
+ sizePolicy.setHeightForWidth(self.languageCombo.sizePolicy().hasHeightForWidth())
+ self.languageCombo.setSizePolicy(sizePolicy)
+ self.languageCombo.setObjectName("languageCombo")
+ self.horizontalLayout.addWidget(self.languageCombo)
+ self.label = QtWidgets.QLabel(parent=EditorKeywordsPage)
+ self.label.setObjectName("label")
+ self.horizontalLayout.addWidget(self.label)
+ self.setSpinBox = QtWidgets.QSpinBox(parent=EditorKeywordsPage)
+ self.setSpinBox.setMinimum(1)
+ self.setSpinBox.setMaximum(8)
+ self.setSpinBox.setObjectName("setSpinBox")
+ self.horizontalLayout.addWidget(self.setSpinBox)
+ self.verticalLayout.addLayout(self.horizontalLayout)
+ self.setDescriptionLabel = QtWidgets.QLabel(parent=EditorKeywordsPage)
+ self.setDescriptionLabel.setText("")
+ self.setDescriptionLabel.setObjectName("setDescriptionLabel")
+ self.verticalLayout.addWidget(self.setDescriptionLabel)
+ self.keywordsEdit = QtWidgets.QPlainTextEdit(parent=EditorKeywordsPage)
+ self.keywordsEdit.setObjectName("keywordsEdit")
+ self.verticalLayout.addWidget(self.keywordsEdit)
+ self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
+ self.horizontalLayout_2.setObjectName("horizontalLayout_2")
+ self.defaultButton = QtWidgets.QPushButton(parent=EditorKeywordsPage)
+ self.defaultButton.setObjectName("defaultButton")
+ self.horizontalLayout_2.addWidget(self.defaultButton)
+ self.allDefaultButton = QtWidgets.QPushButton(parent=EditorKeywordsPage)
+ self.allDefaultButton.setObjectName("allDefaultButton")
+ self.horizontalLayout_2.addWidget(self.allDefaultButton)
+ self.verticalLayout.addLayout(self.horizontalLayout_2)
+
+ self.retranslateUi(EditorKeywordsPage)
+ QtCore.QMetaObject.connectSlotsByName(EditorKeywordsPage)
+ EditorKeywordsPage.setTabOrder(self.languageCombo, self.setSpinBox)
+ EditorKeywordsPage.setTabOrder(self.setSpinBox, self.keywordsEdit)
+
+ def retranslateUi(self, EditorKeywordsPage):
+ _translate = QtCore.QCoreApplication.translate
+ self.headerLabel.setText(_translate("EditorKeywordsPage", "<b>Configure syntax highlighter keywords</b>"))
+ self.TextLabel1_3_3.setText(_translate("EditorKeywordsPage", "Language:"))
+ self.languageCombo.setToolTip(_translate("EditorKeywordsPage", "Select the language to be configured."))
+ self.label.setText(_translate("EditorKeywordsPage", "Set:"))
+ self.keywordsEdit.setToolTip(_translate("EditorKeywordsPage", "Enter the keywords separated by a blank"))
+ self.defaultButton.setToolTip(_translate("EditorKeywordsPage", "Press to set the current keyword set to the default value"))
+ self.defaultButton.setText(_translate("EditorKeywordsPage", "to Default"))
+ self.allDefaultButton.setToolTip(_translate("EditorKeywordsPage", "Press to set all keyword sets of the selected language to default values"))
+ self.allDefaultButton.setText(_translate("EditorKeywordsPage", "All to Defaults"))
