Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/Ui_EditorMouseClickHandlerJediPage.py
src/eric7/Preferences/ConfigurationPages/Ui_EditorMouseClickHandlerJediPage.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/EditorMouseClickHandlerJediPage.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_EditorMouseClickHandlerJediPage(object): | |
| 13 def setupUi(self, EditorMouseClickHandlerJediPage): | |
| 14 EditorMouseClickHandlerJediPage.setObjectName("EditorMouseClickHandlerJediPage") | |
| 15 EditorMouseClickHandlerJediPage.resize(400, 300) | |
| 16 self.verticalLayout = QtWidgets.QVBoxLayout(EditorMouseClickHandlerJediPage) | |
| 17 self.verticalLayout.setObjectName("verticalLayout") | |
| 18 self.headerLabel = QtWidgets.QLabel(parent=EditorMouseClickHandlerJediPage) | |
| 19 self.headerLabel.setObjectName("headerLabel") | |
| 20 self.verticalLayout.addWidget(self.headerLabel) | |
| 21 self.line15 = QtWidgets.QFrame(parent=EditorMouseClickHandlerJediPage) | |
| 22 self.line15.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 23 self.line15.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) | |
| 24 self.line15.setFrameShape(QtWidgets.QFrame.Shape.HLine) | |
| 25 self.line15.setObjectName("line15") | |
| 26 self.verticalLayout.addWidget(self.line15) | |
| 27 self.jediClickHandlerCheckBox = QtWidgets.QCheckBox(parent=EditorMouseClickHandlerJediPage) | |
| 28 self.jediClickHandlerCheckBox.setObjectName("jediClickHandlerCheckBox") | |
| 29 self.verticalLayout.addWidget(self.jediClickHandlerCheckBox) | |
| 30 self.groupBox = QtWidgets.QGroupBox(parent=EditorMouseClickHandlerJediPage) | |
| 31 self.groupBox.setObjectName("groupBox") | |
| 32 self.horizontalLayout = QtWidgets.QHBoxLayout(self.groupBox) | |
| 33 self.horizontalLayout.setObjectName("horizontalLayout") | |
| 34 self.label = QtWidgets.QLabel(parent=self.groupBox) | |
| 35 self.label.setObjectName("label") | |
| 36 self.horizontalLayout.addWidget(self.label) | |
| 37 self.gotoClickEdit = QtWidgets.QLineEdit(parent=self.groupBox) | |
| 38 self.gotoClickEdit.setFocusPolicy(QtCore.Qt.FocusPolicy.NoFocus) | |
| 39 self.gotoClickEdit.setReadOnly(True) | |
| 40 self.gotoClickEdit.setObjectName("gotoClickEdit") | |
| 41 self.horizontalLayout.addWidget(self.gotoClickEdit) | |
| 42 self.changeGotoButton = QtWidgets.QPushButton(parent=self.groupBox) | |
| 43 self.changeGotoButton.setObjectName("changeGotoButton") | |
| 44 self.horizontalLayout.addWidget(self.changeGotoButton) | |
| 45 self.verticalLayout.addWidget(self.groupBox) | |
| 46 spacerItem = QtWidgets.QSpacerItem(20, 147, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) | |
| 47 self.verticalLayout.addItem(spacerItem) | |
| 48 | |
| 49 self.retranslateUi(EditorMouseClickHandlerJediPage) | |
| 50 QtCore.QMetaObject.connectSlotsByName(EditorMouseClickHandlerJediPage) | |
| 51 | |
| 52 def retranslateUi(self, EditorMouseClickHandlerJediPage): | |
| 53 _translate = QtCore.QCoreApplication.translate | |
| 54 self.headerLabel.setText(_translate("EditorMouseClickHandlerJediPage", "<b>Configure Jedi Mouse Click Handler Support</b>")) | |
| 55 self.jediClickHandlerCheckBox.setToolTip(_translate("EditorMouseClickHandlerJediPage", "Select, whether the jedi mouse click handler support shall be enabled.")) | |
| 56 self.jediClickHandlerCheckBox.setText(_translate("EditorMouseClickHandlerJediPage", "Enable Mouse Click Handler")) | |
| 57 self.groupBox.setTitle(_translate("EditorMouseClickHandlerJediPage", "Go To Definition")) | |
| 58 self.label.setText(_translate("EditorMouseClickHandlerJediPage", "Click Sequence:")) | |
| 59 self.gotoClickEdit.setToolTip(_translate("EditorMouseClickHandlerJediPage", "Shows the mouse click sequence")) | |
| 60 self.changeGotoButton.setToolTip(_translate("EditorMouseClickHandlerJediPage", "Press to open a dialog to configure the mouse click sequence")) | |
| 61 self.changeGotoButton.setText(_translate("EditorMouseClickHandlerJediPage", "Change...")) |
