src/eric7/Preferences/ConfigurationPages/Ui_EditorCallTipsJediPage.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/EditorCallTipsJediPage.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_EditorCallTipsJediPage(object):
13 def setupUi(self, EditorCallTipsJediPage):
14 EditorCallTipsJediPage.setObjectName("EditorCallTipsJediPage")
15 EditorCallTipsJediPage.resize(400, 300)
16 self.verticalLayout = QtWidgets.QVBoxLayout(EditorCallTipsJediPage)
17 self.verticalLayout.setObjectName("verticalLayout")
18 self.headerLabel = QtWidgets.QLabel(parent=EditorCallTipsJediPage)
19 self.headerLabel.setObjectName("headerLabel")
20 self.verticalLayout.addWidget(self.headerLabel)
21 self.line15 = QtWidgets.QFrame(parent=EditorCallTipsJediPage)
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.jediCalltipsCheckBox = QtWidgets.QCheckBox(parent=EditorCallTipsJediPage)
28 self.jediCalltipsCheckBox.setObjectName("jediCalltipsCheckBox")
29 self.verticalLayout.addWidget(self.jediCalltipsCheckBox)
30 spacerItem = QtWidgets.QSpacerItem(20, 220, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
31 self.verticalLayout.addItem(spacerItem)
32
33 self.retranslateUi(EditorCallTipsJediPage)
34 QtCore.QMetaObject.connectSlotsByName(EditorCallTipsJediPage)
35
36 def retranslateUi(self, EditorCallTipsJediPage):
37 _translate = QtCore.QCoreApplication.translate
38 self.headerLabel.setText(_translate("EditorCallTipsJediPage", "<b>Configure Jedi Calltips</b>"))
39 self.jediCalltipsCheckBox.setToolTip(_translate("EditorCallTipsJediPage", "Select, whether the jedi calltip support shall be enabled."))
40 self.jediCalltipsCheckBox.setText(_translate("EditorCallTipsJediPage", "Enable calltip"))

eric ide

mercurial