src/eric7/Preferences/ConfigurationPages/Ui_EditorKeywordsPage.py

branch
eric7
changeset 10743
5d3a5a05114e
child 10745
2921faddeaec
equal deleted inserted replaced
10742:7aa41173b44b 10743:5d3a5a05114e
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"))

eric ide

mercurial