|
1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/EditorKeywordsPage.ui' |
|
2 # |
|
3 # Created by: PyQt6 UI code generator 6.7.0 |
|
4 # |
|
5 # WARNING: Any manual changes made to this file will be lost when pyuic6 is |
|
6 # run again. Do not edit this file unless you know what you are doing. |
|
7 |
|
8 |
|
9 from PyQt6 import QtCore, QtGui, QtWidgets |
|
10 |
|
11 |
|
12 class Ui_EditorKeywordsPage(object): |
|
13 def setupUi(self, EditorKeywordsPage): |
|
14 EditorKeywordsPage.setObjectName("EditorKeywordsPage") |
|
15 EditorKeywordsPage.resize(462, 422) |
|
16 self.verticalLayout = QtWidgets.QVBoxLayout(EditorKeywordsPage) |
|
17 self.verticalLayout.setObjectName("verticalLayout") |
|
18 self.headerLabel = QtWidgets.QLabel(parent=EditorKeywordsPage) |
|
19 self.headerLabel.setObjectName("headerLabel") |
|
20 self.verticalLayout.addWidget(self.headerLabel) |
|
21 self.line5 = QtWidgets.QFrame(parent=EditorKeywordsPage) |
|
22 self.line5.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
23 self.line5.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) |
|
24 self.line5.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
25 self.line5.setObjectName("line5") |
|
26 self.verticalLayout.addWidget(self.line5) |
|
27 self.horizontalLayout = QtWidgets.QHBoxLayout() |
|
28 self.horizontalLayout.setObjectName("horizontalLayout") |
|
29 self.TextLabel1_3_3 = QtWidgets.QLabel(parent=EditorKeywordsPage) |
|
30 self.TextLabel1_3_3.setToolTip("") |
|
31 self.TextLabel1_3_3.setObjectName("TextLabel1_3_3") |
|
32 self.horizontalLayout.addWidget(self.TextLabel1_3_3) |
|
33 self.languageCombo = QtWidgets.QComboBox(parent=EditorKeywordsPage) |
|
34 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed) |
|
35 sizePolicy.setHorizontalStretch(0) |
|
36 sizePolicy.setVerticalStretch(0) |
|
37 sizePolicy.setHeightForWidth(self.languageCombo.sizePolicy().hasHeightForWidth()) |
|
38 self.languageCombo.setSizePolicy(sizePolicy) |
|
39 self.languageCombo.setObjectName("languageCombo") |
|
40 self.horizontalLayout.addWidget(self.languageCombo) |
|
41 self.label = QtWidgets.QLabel(parent=EditorKeywordsPage) |
|
42 self.label.setObjectName("label") |
|
43 self.horizontalLayout.addWidget(self.label) |
|
44 self.setSpinBox = QtWidgets.QSpinBox(parent=EditorKeywordsPage) |
|
45 self.setSpinBox.setMinimum(1) |
|
46 self.setSpinBox.setMaximum(8) |
|
47 self.setSpinBox.setObjectName("setSpinBox") |
|
48 self.horizontalLayout.addWidget(self.setSpinBox) |
|
49 self.verticalLayout.addLayout(self.horizontalLayout) |
|
50 self.setDescriptionLabel = QtWidgets.QLabel(parent=EditorKeywordsPage) |
|
51 self.setDescriptionLabel.setText("") |
|
52 self.setDescriptionLabel.setObjectName("setDescriptionLabel") |
|
53 self.verticalLayout.addWidget(self.setDescriptionLabel) |
|
54 self.keywordsEdit = QtWidgets.QPlainTextEdit(parent=EditorKeywordsPage) |
|
55 self.keywordsEdit.setObjectName("keywordsEdit") |
|
56 self.verticalLayout.addWidget(self.keywordsEdit) |
|
57 self.horizontalLayout_2 = QtWidgets.QHBoxLayout() |
|
58 self.horizontalLayout_2.setObjectName("horizontalLayout_2") |
|
59 self.defaultButton = QtWidgets.QPushButton(parent=EditorKeywordsPage) |
|
60 self.defaultButton.setObjectName("defaultButton") |
|
61 self.horizontalLayout_2.addWidget(self.defaultButton) |
|
62 self.allDefaultButton = QtWidgets.QPushButton(parent=EditorKeywordsPage) |
|
63 self.allDefaultButton.setObjectName("allDefaultButton") |
|
64 self.horizontalLayout_2.addWidget(self.allDefaultButton) |
|
65 self.verticalLayout.addLayout(self.horizontalLayout_2) |
|
66 |
|
67 self.retranslateUi(EditorKeywordsPage) |
|
68 QtCore.QMetaObject.connectSlotsByName(EditorKeywordsPage) |
|
69 EditorKeywordsPage.setTabOrder(self.languageCombo, self.setSpinBox) |
|
70 EditorKeywordsPage.setTabOrder(self.setSpinBox, self.keywordsEdit) |
|
71 |
|
72 def retranslateUi(self, EditorKeywordsPage): |
|
73 _translate = QtCore.QCoreApplication.translate |
|
74 self.headerLabel.setText(_translate("EditorKeywordsPage", "<b>Configure syntax highlighter keywords</b>")) |
|
75 self.TextLabel1_3_3.setText(_translate("EditorKeywordsPage", "Language:")) |
|
76 self.languageCombo.setToolTip(_translate("EditorKeywordsPage", "Select the language to be configured.")) |
|
77 self.label.setText(_translate("EditorKeywordsPage", "Set:")) |
|
78 self.keywordsEdit.setToolTip(_translate("EditorKeywordsPage", "Enter the keywords separated by a blank")) |
|
79 self.defaultButton.setToolTip(_translate("EditorKeywordsPage", "Press to set the current keyword set to the default value")) |
|
80 self.defaultButton.setText(_translate("EditorKeywordsPage", "to Default")) |
|
81 self.allDefaultButton.setToolTip(_translate("EditorKeywordsPage", "Press to set all keyword sets of the selected language to default values")) |
|
82 self.allDefaultButton.setText(_translate("EditorKeywordsPage", "All to Defaults")) |