Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/Ui_EditorHighlightingStylesPage.py
src/eric7/Preferences/ConfigurationPages/Ui_EditorHighlightingStylesPage.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/EditorHighlightingStylesPage.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_EditorHighlightingStylesPage(object): | |
| 13 def setupUi(self, EditorHighlightingStylesPage): | |
| 14 EditorHighlightingStylesPage.setObjectName("EditorHighlightingStylesPage") | |
| 15 EditorHighlightingStylesPage.resize(550, 624) | |
| 16 self.verticalLayout = QtWidgets.QVBoxLayout(EditorHighlightingStylesPage) | |
| 17 self.verticalLayout.setObjectName("verticalLayout") | |
| 18 self.headerLabel = QtWidgets.QLabel(parent=EditorHighlightingStylesPage) | |
| 19 self.headerLabel.setObjectName("headerLabel") | |
| 20 self.verticalLayout.addWidget(self.headerLabel) | |
| 21 self.line1 = QtWidgets.QFrame(parent=EditorHighlightingStylesPage) | |
| 22 self.line1.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 23 self.line1.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 24 self.line1.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 25 self.line1.setObjectName("line1") | |
| 26 self.verticalLayout.addWidget(self.line1) | |
| 27 self.hboxlayout = QtWidgets.QHBoxLayout() | |
| 28 self.hboxlayout.setObjectName("hboxlayout") | |
| 29 self.TextLabel1_3 = QtWidgets.QLabel(parent=EditorHighlightingStylesPage) | |
| 30 self.TextLabel1_3.setToolTip("") | |
| 31 self.TextLabel1_3.setObjectName("TextLabel1_3") | |
| 32 self.hboxlayout.addWidget(self.TextLabel1_3) | |
| 33 self.lexerLanguageComboBox = QtWidgets.QComboBox(parent=EditorHighlightingStylesPage) | |
| 34 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Fixed) | |
| 35 sizePolicy.setHorizontalStretch(0) | |
| 36 sizePolicy.setVerticalStretch(0) | |
| 37 sizePolicy.setHeightForWidth(self.lexerLanguageComboBox.sizePolicy().hasHeightForWidth()) | |
| 38 self.lexerLanguageComboBox.setSizePolicy(sizePolicy) | |
| 39 self.lexerLanguageComboBox.setObjectName("lexerLanguageComboBox") | |
| 40 self.hboxlayout.addWidget(self.lexerLanguageComboBox) | |
| 41 self.verticalLayout.addLayout(self.hboxlayout) | |
| 42 self.styleGroup = QtWidgets.QGroupBox(parent=EditorHighlightingStylesPage) | |
| 43 self.styleGroup.setObjectName("styleGroup") | |
| 44 self.gridLayout = QtWidgets.QGridLayout(self.styleGroup) | |
| 45 self.gridLayout.setObjectName("gridLayout") | |
| 46 self.styleElementList = QtWidgets.QTreeWidget(parent=self.styleGroup) | |
| 47 sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 48 sizePolicy.setHorizontalStretch(2) | |
| 49 sizePolicy.setVerticalStretch(0) | |
| 50 sizePolicy.setHeightForWidth(self.styleElementList.sizePolicy().hasHeightForWidth()) | |
| 51 self.styleElementList.setSizePolicy(sizePolicy) | |
| 52 self.styleElementList.setSelectionMode(QtWidgets.QAbstractItemView.SelectionMode.ExtendedSelection) | |
| 53 self.styleElementList.setRootIsDecorated(False) | |
| 54 self.styleElementList.setItemsExpandable(False) | |
| 55 self.styleElementList.setHeaderHidden(True) | |
| 56 self.styleElementList.setObjectName("styleElementList") | |
| 57 self.styleElementList.headerItem().setText(0, "1") | |
| 58 self.gridLayout.addWidget(self.styleElementList, 0, 0, 1, 1) | |
| 59 self.verticalLayout_2 = QtWidgets.QVBoxLayout() | |
| 60 self.verticalLayout_2.setObjectName("verticalLayout_2") | |
| 61 self.horizontalLayout_2 = QtWidgets.QHBoxLayout() | |
| 62 self.horizontalLayout_2.setObjectName("horizontalLayout_2") | |
| 63 spacerItem = QtWidgets.QSpacerItem(13, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 64 self.horizontalLayout_2.addItem(spacerItem) | |
| 65 self.defaultSubstylesButton = QtWidgets.QToolButton(parent=self.styleGroup) | |
| 66 self.defaultSubstylesButton.setObjectName("defaultSubstylesButton") | |
| 67 self.horizontalLayout_2.addWidget(self.defaultSubstylesButton) | |
| 68 self.addSubstyleButton = QtWidgets.QToolButton(parent=self.styleGroup) | |
| 69 self.addSubstyleButton.setObjectName("addSubstyleButton") | |
| 70 self.horizontalLayout_2.addWidget(self.addSubstyleButton) | |
| 71 self.deleteSubstyleButton = QtWidgets.QToolButton(parent=self.styleGroup) | |
| 72 self.deleteSubstyleButton.setObjectName("deleteSubstyleButton") | |
| 73 self.horizontalLayout_2.addWidget(self.deleteSubstyleButton) | |
| 74 self.editSubstyleButton = QtWidgets.QToolButton(parent=self.styleGroup) | |
| 75 self.editSubstyleButton.setObjectName("editSubstyleButton") | |
| 76 self.horizontalLayout_2.addWidget(self.editSubstyleButton) | |
| 77 self.copySubstyleButton = QtWidgets.QToolButton(parent=self.styleGroup) | |
| 78 self.copySubstyleButton.setObjectName("copySubstyleButton") | |
| 79 self.horizontalLayout_2.addWidget(self.copySubstyleButton) | |
| 80 spacerItem1 = QtWidgets.QSpacerItem(13, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) | |
| 81 self.horizontalLayout_2.addItem(spacerItem1) | |
| 82 self.verticalLayout_2.addLayout(self.horizontalLayout_2) | |
| 83 self.line_3 = QtWidgets.QFrame(parent=self.styleGroup) | |
| 84 self.line_3.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 85 self.line_3.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 86 self.line_3.setObjectName("line_3") | |
| 87 self.verticalLayout_2.addWidget(self.line_3) | |
| 88 self.foregroundButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 89 self.foregroundButton.setObjectName("foregroundButton") | |
| 90 self.verticalLayout_2.addWidget(self.foregroundButton) | |
| 91 self.backgroundButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 92 self.backgroundButton.setObjectName("backgroundButton") | |
| 93 self.verticalLayout_2.addWidget(self.backgroundButton) | |
| 94 self.fontButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 95 self.fontButton.setObjectName("fontButton") | |
| 96 self.verticalLayout_2.addWidget(self.fontButton) | |
| 97 self.eolfillCheckBox = QtWidgets.QCheckBox(parent=self.styleGroup) | |
| 98 self.eolfillCheckBox.setObjectName("eolfillCheckBox") | |
| 99 self.verticalLayout_2.addWidget(self.eolfillCheckBox) | |
| 100 self.line = QtWidgets.QFrame(parent=self.styleGroup) | |
| 101 self.line.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 102 self.line.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 103 self.line.setObjectName("line") | |
| 104 self.verticalLayout_2.addWidget(self.line) | |
| 105 self.defaultButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 106 self.defaultButton.setObjectName("defaultButton") | |
| 107 self.verticalLayout_2.addWidget(self.defaultButton) | |
| 108 spacerItem2 = QtWidgets.QSpacerItem(20, 43, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 109 self.verticalLayout_2.addItem(spacerItem2) | |
| 110 self.monospacedButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 111 self.monospacedButton.setCheckable(True) | |
| 112 self.monospacedButton.setChecked(True) | |
| 113 self.monospacedButton.setObjectName("monospacedButton") | |
| 114 self.verticalLayout_2.addWidget(self.monospacedButton) | |
| 115 spacerItem3 = QtWidgets.QSpacerItem(20, 38, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 116 self.verticalLayout_2.addItem(spacerItem3) | |
| 117 self.allBackgroundColoursButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 118 self.allBackgroundColoursButton.setObjectName("allBackgroundColoursButton") | |
| 119 self.verticalLayout_2.addWidget(self.allBackgroundColoursButton) | |
| 120 self.allFontsButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 121 self.allFontsButton.setObjectName("allFontsButton") | |
| 122 self.verticalLayout_2.addWidget(self.allFontsButton) | |
| 123 self.allEolFillButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 124 self.allEolFillButton.setObjectName("allEolFillButton") | |
| 125 self.verticalLayout_2.addWidget(self.allEolFillButton) | |
| 126 self.line_2 = QtWidgets.QFrame(parent=self.styleGroup) | |
| 127 self.line_2.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 128 self.line_2.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 129 self.line_2.setObjectName("line_2") | |
| 130 self.verticalLayout_2.addWidget(self.line_2) | |
| 131 self.allDefaultButton = QtWidgets.QPushButton(parent=self.styleGroup) | |
| 132 self.allDefaultButton.setObjectName("allDefaultButton") | |
| 133 self.verticalLayout_2.addWidget(self.allDefaultButton) | |
| 134 self.gridLayout.addLayout(self.verticalLayout_2, 0, 1, 1, 1) | |
| 135 self.sampleText = QtWidgets.QLineEdit(parent=self.styleGroup) | |
| 136 self.sampleText.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 137 self.sampleText.setAlignment(QtCore.Qt.AlignmentFlag.AlignHCenter) | |
| 138 self.sampleText.setReadOnly(True) | |
| 139 self.sampleText.setObjectName("sampleText") | |
| 140 self.gridLayout.addWidget(self.sampleText, 1, 0, 1, 2) | |
| 141 self.label = QtWidgets.QLabel(parent=self.styleGroup) | |
| 142 self.label.setWordWrap(True) | |
| 143 self.label.setObjectName("label") | |
| 144 self.gridLayout.addWidget(self.label, 2, 0, 1, 2) | |
| 145 self.verticalLayout.addWidget(self.styleGroup) | |
| 146 self.horizontalLayout = QtWidgets.QHBoxLayout() | |
| 147 self.horizontalLayout.setObjectName("horizontalLayout") | |
| 148 self.importButton = QtWidgets.QPushButton(parent=EditorHighlightingStylesPage) | |
| 149 self.importButton.setObjectName("importButton") | |
| 150 self.horizontalLayout.addWidget(self.importButton) | |
| 151 self.exportButton = QtWidgets.QPushButton(parent=EditorHighlightingStylesPage) | |
| 152 self.exportButton.setObjectName("exportButton") | |
| 153 self.horizontalLayout.addWidget(self.exportButton) | |
| 154 self.importAllButton = QtWidgets.QPushButton(parent=EditorHighlightingStylesPage) | |
| 155 self.importAllButton.setObjectName("importAllButton") | |
| 156 self.horizontalLayout.addWidget(self.importAllButton) | |
| 157 self.exportAllButton = QtWidgets.QPushButton(parent=EditorHighlightingStylesPage) | |
| 158 self.exportAllButton.setObjectName("exportAllButton") | |
| 159 self.horizontalLayout.addWidget(self.exportAllButton) | |
| 160 self.verticalLayout.addLayout(self.horizontalLayout) | |
| 161 | |
| 162 self.retranslateUi(EditorHighlightingStylesPage) | |
| 163 QtCore.QMetaObject.connectSlotsByName(EditorHighlightingStylesPage) | |
| 164 EditorHighlightingStylesPage.setTabOrder(self.lexerLanguageComboBox, self.styleElementList) | |
| 165 EditorHighlightingStylesPage.setTabOrder(self.styleElementList, self.defaultSubstylesButton) | |
| 166 EditorHighlightingStylesPage.setTabOrder(self.defaultSubstylesButton, self.addSubstyleButton) | |
| 167 EditorHighlightingStylesPage.setTabOrder(self.addSubstyleButton, self.deleteSubstyleButton) | |
| 168 EditorHighlightingStylesPage.setTabOrder(self.deleteSubstyleButton, self.editSubstyleButton) | |
| 169 EditorHighlightingStylesPage.setTabOrder(self.editSubstyleButton, self.copySubstyleButton) | |
| 170 EditorHighlightingStylesPage.setTabOrder(self.copySubstyleButton, self.foregroundButton) | |
| 171 EditorHighlightingStylesPage.setTabOrder(self.foregroundButton, self.backgroundButton) | |
| 172 EditorHighlightingStylesPage.setTabOrder(self.backgroundButton, self.fontButton) | |
| 173 EditorHighlightingStylesPage.setTabOrder(self.fontButton, self.eolfillCheckBox) | |
| 174 EditorHighlightingStylesPage.setTabOrder(self.eolfillCheckBox, self.defaultButton) | |
| 175 EditorHighlightingStylesPage.setTabOrder(self.defaultButton, self.monospacedButton) | |
| 176 EditorHighlightingStylesPage.setTabOrder(self.monospacedButton, self.allBackgroundColoursButton) | |
| 177 EditorHighlightingStylesPage.setTabOrder(self.allBackgroundColoursButton, self.allFontsButton) | |
| 178 EditorHighlightingStylesPage.setTabOrder(self.allFontsButton, self.allEolFillButton) | |
| 179 EditorHighlightingStylesPage.setTabOrder(self.allEolFillButton, self.allDefaultButton) | |
| 180 EditorHighlightingStylesPage.setTabOrder(self.allDefaultButton, self.importButton) | |
| 181 EditorHighlightingStylesPage.setTabOrder(self.importButton, self.exportButton) | |
| 182 EditorHighlightingStylesPage.setTabOrder(self.exportButton, self.importAllButton) | |
| 183 EditorHighlightingStylesPage.setTabOrder(self.importAllButton, self.exportAllButton) | |
| 184 | |
| 185 def retranslateUi(self, EditorHighlightingStylesPage): | |
| 186 _translate = QtCore.QCoreApplication.translate | |
| 187 self.headerLabel.setText(_translate("EditorHighlightingStylesPage", "<b>Configure syntax highlighting</b>")) | |
| 188 self.TextLabel1_3.setText(_translate("EditorHighlightingStylesPage", "Lexer Language:")) | |
| 189 self.lexerLanguageComboBox.setToolTip(_translate("EditorHighlightingStylesPage", "Select the lexer language to be configured.")) | |
| 190 self.styleGroup.setTitle(_translate("EditorHighlightingStylesPage", "Style Element")) | |
| 191 self.defaultSubstylesButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to set all sub-styles to default values")) | |
| 192 self.addSubstyleButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to add a sub-style to the selected style")) | |
| 193 self.deleteSubstyleButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to to delete the selected sub-style")) | |
| 194 self.editSubstyleButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to edit the selected sub-style")) | |
| 195 self.copySubstyleButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to copy the selected sub-style")) | |
| 196 self.foregroundButton.setToolTip(_translate("EditorHighlightingStylesPage", "Select the foreground color.")) | |
| 197 self.foregroundButton.setText(_translate("EditorHighlightingStylesPage", "Foreground Color")) | |
| 198 self.backgroundButton.setToolTip(_translate("EditorHighlightingStylesPage", "Select the background color.")) | |
| 199 self.backgroundButton.setText(_translate("EditorHighlightingStylesPage", "Background Color")) | |
| 200 self.fontButton.setToolTip(_translate("EditorHighlightingStylesPage", "Select the font.")) | |
| 201 self.fontButton.setText(_translate("EditorHighlightingStylesPage", "Font")) | |
| 202 self.eolfillCheckBox.setToolTip(_translate("EditorHighlightingStylesPage", "Select end of line fill.")) | |
| 203 self.eolfillCheckBox.setText(_translate("EditorHighlightingStylesPage", "Fill to end of line")) | |
| 204 self.defaultButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to set the current style to its default values")) | |
| 205 self.defaultButton.setText(_translate("EditorHighlightingStylesPage", "to Default")) | |
| 206 self.monospacedButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to show only monospaced fonts")) | |
| 207 self.monospacedButton.setText(_translate("EditorHighlightingStylesPage", "Monospaced Fonts Only")) | |
| 208 self.allBackgroundColoursButton.setToolTip(_translate("EditorHighlightingStylesPage", "Select the background color for all styles")) | |
| 209 self.allBackgroundColoursButton.setText(_translate("EditorHighlightingStylesPage", "All Background Colors")) | |
| 210 self.allFontsButton.setToolTip(_translate("EditorHighlightingStylesPage", "Select the font for all styles.")) | |
| 211 self.allFontsButton.setText(_translate("EditorHighlightingStylesPage", "All Fonts")) | |
| 212 self.allEolFillButton.setToolTip(_translate("EditorHighlightingStylesPage", "Select the eol fill for all styles")) | |
| 213 self.allEolFillButton.setText(_translate("EditorHighlightingStylesPage", "All Fill to end of line")) | |
| 214 self.allDefaultButton.setToolTip(_translate("EditorHighlightingStylesPage", "Press to set all styles to their default values")) | |
| 215 self.allDefaultButton.setText(_translate("EditorHighlightingStylesPage", "All to Default")) | |
| 216 self.sampleText.setText(_translate("EditorHighlightingStylesPage", "Sample Text")) | |
| 217 self.label.setText(_translate("EditorHighlightingStylesPage", "<b>Note:</b> The tick in the list above indicates the entrie\'s \'fill to end of line\' setting.")) | |
| 218 self.importButton.setToolTip(_translate("EditorHighlightingStylesPage", "Imports all styles of languages to be selected")) | |
| 219 self.importButton.setText(_translate("EditorHighlightingStylesPage", "Import styles")) | |
| 220 self.exportButton.setToolTip(_translate("EditorHighlightingStylesPage", "Exports all styles of languages to be selected")) | |
| 221 self.exportButton.setText(_translate("EditorHighlightingStylesPage", "Export styles")) | |
| 222 self.importAllButton.setToolTip(_translate("EditorHighlightingStylesPage", "Imports all styles of all languages")) | |
| 223 self.importAllButton.setText(_translate("EditorHighlightingStylesPage", "Import all styles")) | |
| 224 self.exportAllButton.setToolTip(_translate("EditorHighlightingStylesPage", "Exports all styles of all languages")) | |
| 225 self.exportAllButton.setText(_translate("EditorHighlightingStylesPage", "Export all styles")) |
