diff -r 7aa41173b44b -r 5d3a5a05114e src/eric7/Preferences/ConfigurationPages/Ui_EditorCalltipsPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Preferences/ConfigurationPages/Ui_EditorCalltipsPage.py Fri Jun 07 10:05:06 2024 +0200
@@ -0,0 +1,133 @@
+# Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/EditorCalltipsPage.ui'
+#
+# Created by: PyQt6 UI code generator 6.7.0
+#
+# WARNING: Any manual changes made to this file will be lost when pyuic6 is
+# run again. Do not edit this file unless you know what you are doing.
+
+
+from PyQt6 import QtCore, QtGui, QtWidgets
+
+
+class Ui_EditorCalltipsPage(object):
+ def setupUi(self, EditorCalltipsPage):
+ EditorCalltipsPage.setObjectName("EditorCalltipsPage")
+ EditorCalltipsPage.resize(408, 468)
+ self.verticalLayout_3 = QtWidgets.QVBoxLayout(EditorCalltipsPage)
+ self.verticalLayout_3.setObjectName("verticalLayout_3")
+ self.headerLabel = QtWidgets.QLabel(parent=EditorCalltipsPage)
+ self.headerLabel.setObjectName("headerLabel")
+ self.verticalLayout_3.addWidget(self.headerLabel)
+ self.line18 = QtWidgets.QFrame(parent=EditorCalltipsPage)
+ self.line18.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line18.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
+ self.line18.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line18.setObjectName("line18")
+ self.verticalLayout_3.addWidget(self.line18)
+ self.ctEnabledCheckBox = QtWidgets.QCheckBox(parent=EditorCalltipsPage)
+ self.ctEnabledCheckBox.setObjectName("ctEnabledCheckBox")
+ self.verticalLayout_3.addWidget(self.ctEnabledCheckBox)
+ self.frame = QtWidgets.QFrame(parent=EditorCalltipsPage)
+ self.frame.setEnabled(False)
+ self.frame.setObjectName("frame")
+ self.horizontalLayout = QtWidgets.QHBoxLayout(self.frame)
+ self.horizontalLayout.setContentsMargins(0, 0, 0, 0)
+ self.horizontalLayout.setObjectName("horizontalLayout")
+ self.verticalLayout_3.addWidget(self.frame)
+ self.calltipsVisibleBox = QtWidgets.QGroupBox(parent=EditorCalltipsPage)
+ self.calltipsVisibleBox.setObjectName("calltipsVisibleBox")
+ self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.calltipsVisibleBox)
+ self.horizontalLayout_2.setObjectName("horizontalLayout_2")
+ self.ctVisibleSlider = QtWidgets.QSlider(parent=self.calltipsVisibleBox)
+ self.ctVisibleSlider.setMaximum(20)
+ self.ctVisibleSlider.setOrientation(QtCore.Qt.Orientation.Horizontal)
+ self.ctVisibleSlider.setTickInterval(1)
+ self.ctVisibleSlider.setObjectName("ctVisibleSlider")
+ self.horizontalLayout_2.addWidget(self.ctVisibleSlider)
+ self.lCDNumber5 = QtWidgets.QLCDNumber(parent=self.calltipsVisibleBox)
+ self.lCDNumber5.setDigitCount(2)
+ self.lCDNumber5.setSegmentStyle(QtWidgets.QLCDNumber.SegmentStyle.Flat)
+ self.lCDNumber5.setObjectName("lCDNumber5")
+ self.horizontalLayout_2.addWidget(self.lCDNumber5)
+ self.verticalLayout_3.addWidget(self.calltipsVisibleBox)
+ self.calltipsPositionBox = QtWidgets.QGroupBox(parent=EditorCalltipsPage)
+ self.calltipsPositionBox.setObjectName("calltipsPositionBox")
+ self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.calltipsPositionBox)
+ self.verticalLayout_2.setObjectName("verticalLayout_2")
+ self.positionComboBox = QtWidgets.QComboBox(parent=self.calltipsPositionBox)
+ self.positionComboBox.setObjectName("positionComboBox")
+ self.verticalLayout_2.addWidget(self.positionComboBox)
+ self.verticalLayout_3.addWidget(self.calltipsPositionBox)
+ self.calltipsColorsBox = QtWidgets.QGroupBox(parent=EditorCalltipsPage)
+ self.calltipsColorsBox.setObjectName("calltipsColorsBox")
+ self.gridLayout = QtWidgets.QGridLayout(self.calltipsColorsBox)
+ self.gridLayout.setObjectName("gridLayout")
+ self.TextLabel2_2_2_2 = QtWidgets.QLabel(parent=self.calltipsColorsBox)
+ self.TextLabel2_2_2_2.setObjectName("TextLabel2_2_2_2")
+ self.gridLayout.addWidget(self.TextLabel2_2_2_2, 0, 0, 1, 1)
+ self.calltipsBackgroundButton = QtWidgets.QPushButton(parent=self.calltipsColorsBox)
+ self.calltipsBackgroundButton.setMinimumSize(QtCore.QSize(100, 0))
+ self.calltipsBackgroundButton.setText("")
+ self.calltipsBackgroundButton.setObjectName("calltipsBackgroundButton")
+ self.gridLayout.addWidget(self.calltipsBackgroundButton, 0, 1, 1, 1)
+ spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
+ self.gridLayout.addItem(spacerItem, 0, 2, 1, 1)
+ self.TextLabel2_2_2_3 = QtWidgets.QLabel(parent=self.calltipsColorsBox)
+ self.TextLabel2_2_2_3.setObjectName("TextLabel2_2_2_3")
+ self.gridLayout.addWidget(self.TextLabel2_2_2_3, 1, 0, 1, 1)
+ self.calltipsForegroundButton = QtWidgets.QPushButton(parent=self.calltipsColorsBox)
+ self.calltipsForegroundButton.setMinimumSize(QtCore.QSize(100, 0))
+ self.calltipsForegroundButton.setText("")
+ self.calltipsForegroundButton.setObjectName("calltipsForegroundButton")
+ self.gridLayout.addWidget(self.calltipsForegroundButton, 1, 1, 1, 1)
+ self.TextLabel2_2_2_4 = QtWidgets.QLabel(parent=self.calltipsColorsBox)
+ self.TextLabel2_2_2_4.setObjectName("TextLabel2_2_2_4")
+ self.gridLayout.addWidget(self.TextLabel2_2_2_4, 2, 0, 1, 1)
+ self.calltipsHighlightButton = QtWidgets.QPushButton(parent=self.calltipsColorsBox)
+ self.calltipsHighlightButton.setMinimumSize(QtCore.QSize(100, 0))
+ self.calltipsHighlightButton.setText("")
+ self.calltipsHighlightButton.setObjectName("calltipsHighlightButton")
+ self.gridLayout.addWidget(self.calltipsHighlightButton, 2, 1, 1, 1)
+ self.verticalLayout_3.addWidget(self.calltipsColorsBox)
+ self.pluginsBox = QtWidgets.QGroupBox(parent=EditorCalltipsPage)
+ self.pluginsBox.setObjectName("pluginsBox")
+ self.verticalLayout = QtWidgets.QVBoxLayout(self.pluginsBox)
+ self.verticalLayout.setObjectName("verticalLayout")
+ self.ctScintillaCheckBox = QtWidgets.QCheckBox(parent=self.pluginsBox)
+ self.ctScintillaCheckBox.setObjectName("ctScintillaCheckBox")
+ self.verticalLayout.addWidget(self.ctScintillaCheckBox)
+ self.verticalLayout_3.addWidget(self.pluginsBox)
+ spacerItem1 = QtWidgets.QSpacerItem(388, 20, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
+ self.verticalLayout_3.addItem(spacerItem1)
+
+ self.retranslateUi(EditorCalltipsPage)
+ self.ctVisibleSlider.valueChanged['int'].connect(self.lCDNumber5.display) # type: ignore
+ QtCore.QMetaObject.connectSlotsByName(EditorCalltipsPage)
+ EditorCalltipsPage.setTabOrder(self.ctEnabledCheckBox, self.ctVisibleSlider)
+ EditorCalltipsPage.setTabOrder(self.ctVisibleSlider, self.positionComboBox)
+ EditorCalltipsPage.setTabOrder(self.positionComboBox, self.calltipsBackgroundButton)
+ EditorCalltipsPage.setTabOrder(self.calltipsBackgroundButton, self.calltipsForegroundButton)
+ EditorCalltipsPage.setTabOrder(self.calltipsForegroundButton, self.calltipsHighlightButton)
+ EditorCalltipsPage.setTabOrder(self.calltipsHighlightButton, self.ctScintillaCheckBox)
+
+ def retranslateUi(self, EditorCalltipsPage):
+ _translate = QtCore.QCoreApplication.translate
+ self.headerLabel.setText(_translate("EditorCalltipsPage", "<b>Configure Calltips</b>"))
+ self.ctEnabledCheckBox.setToolTip(_translate("EditorCalltipsPage", "Select this to enable calltips"))
+ self.ctEnabledCheckBox.setText(_translate("EditorCalltipsPage", "Automatic Calltips Enabled"))
+ self.calltipsVisibleBox.setTitle(_translate("EditorCalltipsPage", "Visible Calltips"))
+ self.ctVisibleSlider.setToolTip(_translate("EditorCalltipsPage", "Move to set the maximum number of calltips shown (0 = all available)"))
+ self.lCDNumber5.setToolTip(_translate("EditorCalltipsPage", "Displays the maximum number of calltips to be shown"))
+ self.calltipsPositionBox.setTitle(_translate("EditorCalltipsPage", "Calltips Position"))
+ self.positionComboBox.setToolTip(_translate("EditorCalltipsPage", "Select the position for the calltips"))
+ self.calltipsColorsBox.setTitle(_translate("EditorCalltipsPage", "Colors"))
+ self.TextLabel2_2_2_2.setText(_translate("EditorCalltipsPage", "Background color:"))
+ self.calltipsBackgroundButton.setToolTip(_translate("EditorCalltipsPage", "Select the background color for calltips."))
+ self.TextLabel2_2_2_3.setText(_translate("EditorCalltipsPage", "Foreground color:"))
+ self.calltipsForegroundButton.setToolTip(_translate("EditorCalltipsPage", "Select the foreground color for calltips."))
+ self.TextLabel2_2_2_4.setText(_translate("EditorCalltipsPage", "Highlight color:"))
+ self.calltipsHighlightButton.setToolTip(_translate("EditorCalltipsPage", "Select the highlight color for calltips."))
+ self.pluginsBox.setTitle(_translate("EditorCalltipsPage", "Plug-In Behavior"))
+ self.ctScintillaCheckBox.setToolTip(_translate("EditorCalltipsPage", "Select to show QScintilla provided calltips, if the selected plug-ins fail"))
+ self.ctScintillaCheckBox.setWhatsThis(_translate("EditorCalltipsPage", "Qscintilla provided calltips are shown, if this option is enabled and calltips shall be provided by plug-ins (see calltips sub-page of the plug-in) and the plugin-ins don\'t deliver any calltips."))
+ self.ctScintillaCheckBox.setText(_translate("EditorCalltipsPage", "Show QScintilla calltips, if plug-ins fail"))
