diff -r 7aa41173b44b -r 5d3a5a05114e src/eric7/Preferences/ConfigurationPages/Ui_EditorSearchPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Preferences/ConfigurationPages/Ui_EditorSearchPage.py Fri Jun 07 10:05:06 2024 +0200
@@ -0,0 +1,165 @@
+# Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.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_EditorSearchPage(object):
+ def setupUi(self, EditorSearchPage):
+ EditorSearchPage.setObjectName("EditorSearchPage")
+ EditorSearchPage.resize(576, 554)
+ self.verticalLayout_3 = QtWidgets.QVBoxLayout(EditorSearchPage)
+ self.verticalLayout_3.setObjectName("verticalLayout_3")
+ self.headerLabel = QtWidgets.QLabel(parent=EditorSearchPage)
+ self.headerLabel.setObjectName("headerLabel")
+ self.verticalLayout_3.addWidget(self.headerLabel)
+ self.line3 = QtWidgets.QFrame(parent=EditorSearchPage)
+ self.line3.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line3.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken)
+ self.line3.setFrameShape(QtWidgets.QFrame.Shape.HLine)
+ self.line3.setObjectName("line3")
+ self.verticalLayout_3.addWidget(self.line3)
+ self.groupBox = QtWidgets.QGroupBox(parent=EditorSearchPage)
+ self.groupBox.setObjectName("groupBox")
+ self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox)
+ self.verticalLayout_2.setObjectName("verticalLayout_2")
+ self.quicksearchCheckBox = QtWidgets.QCheckBox(parent=self.groupBox)
+ self.quicksearchCheckBox.setObjectName("quicksearchCheckBox")
+ self.verticalLayout_2.addWidget(self.quicksearchCheckBox)
+ self.quicksearchMarkersEnabledCheckBox = QtWidgets.QCheckBox(parent=self.groupBox)
+ self.quicksearchMarkersEnabledCheckBox.setEnabled(False)
+ self.quicksearchMarkersEnabledCheckBox.setObjectName("quicksearchMarkersEnabledCheckBox")
+ self.verticalLayout_2.addWidget(self.quicksearchMarkersEnabledCheckBox)
+ self.horizontalLayout = QtWidgets.QHBoxLayout()
+ self.horizontalLayout.setObjectName("horizontalLayout")
+ self.label_2 = QtWidgets.QLabel(parent=self.groupBox)
+ self.label_2.setObjectName("label_2")
+ self.horizontalLayout.addWidget(self.label_2)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox = QtWidgets.QSpinBox(parent=self.groupBox)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setButtonSymbols(QtWidgets.QAbstractSpinBox.ButtonSymbols.PlusMinus)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setCorrectionMode(QtWidgets.QAbstractSpinBox.CorrectionMode.CorrectToNearestValue)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setMinimum(100)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setMaximum(5000)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setSingleStep(100)
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setObjectName("quicksearchMarkOccurrencesTimeoutSpinBox")
+ self.horizontalLayout.addWidget(self.quicksearchMarkOccurrencesTimeoutSpinBox)
+ spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
+ self.horizontalLayout.addItem(spacerItem)
+ self.verticalLayout_2.addLayout(self.horizontalLayout)
+ self.verticalLayout_3.addWidget(self.groupBox)
+ self.searckMarkersBox = QtWidgets.QGroupBox(parent=EditorSearchPage)
+ self.searckMarkersBox.setObjectName("searckMarkersBox")
+ self.vboxlayout = QtWidgets.QVBoxLayout(self.searckMarkersBox)
+ self.vboxlayout.setObjectName("vboxlayout")
+ self.occurrencesMarkersEnabledCheckBox = QtWidgets.QCheckBox(parent=self.searckMarkersBox)
+ self.occurrencesMarkersEnabledCheckBox.setObjectName("occurrencesMarkersEnabledCheckBox")
+ self.vboxlayout.addWidget(self.occurrencesMarkersEnabledCheckBox)
+ self.searchMarkersEnabledCheckBox = QtWidgets.QCheckBox(parent=self.searckMarkersBox)
+ self.searchMarkersEnabledCheckBox.setObjectName("searchMarkersEnabledCheckBox")
+ self.vboxlayout.addWidget(self.searchMarkersEnabledCheckBox)
+ self.hboxlayout = QtWidgets.QHBoxLayout()
+ self.hboxlayout.setObjectName("hboxlayout")
+ self.label = QtWidgets.QLabel(parent=self.searckMarkersBox)
+ self.label.setObjectName("label")
+ self.hboxlayout.addWidget(self.label)
+ self.markOccurrencesTimeoutSpinBox = QtWidgets.QSpinBox(parent=self.searckMarkersBox)
+ self.markOccurrencesTimeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter)
+ self.markOccurrencesTimeoutSpinBox.setButtonSymbols(QtWidgets.QAbstractSpinBox.ButtonSymbols.PlusMinus)
+ self.markOccurrencesTimeoutSpinBox.setCorrectionMode(QtWidgets.QAbstractSpinBox.CorrectionMode.CorrectToNearestValue)
+ self.markOccurrencesTimeoutSpinBox.setMinimum(100)
+ self.markOccurrencesTimeoutSpinBox.setMaximum(5000)
+ self.markOccurrencesTimeoutSpinBox.setSingleStep(100)
+ self.markOccurrencesTimeoutSpinBox.setObjectName("markOccurrencesTimeoutSpinBox")
+ self.hboxlayout.addWidget(self.markOccurrencesTimeoutSpinBox)
+ spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
+ self.hboxlayout.addItem(spacerItem1)
+ self.vboxlayout.addLayout(self.hboxlayout)
+ self.hboxlayout1 = QtWidgets.QHBoxLayout()
+ self.hboxlayout1.setObjectName("hboxlayout1")
+ self.TextLabel2_2_2_2_2_2 = QtWidgets.QLabel(parent=self.searckMarkersBox)
+ self.TextLabel2_2_2_2_2_2.setObjectName("TextLabel2_2_2_2_2_2")
+ self.hboxlayout1.addWidget(self.TextLabel2_2_2_2_2_2)
+ self.searchMarkerButton = QtWidgets.QPushButton(parent=self.searckMarkersBox)
+ self.searchMarkerButton.setMinimumSize(QtCore.QSize(100, 0))
+ self.searchMarkerButton.setText("")
+ self.searchMarkerButton.setObjectName("searchMarkerButton")
+ self.hboxlayout1.addWidget(self.searchMarkerButton)
+ spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
+ self.hboxlayout1.addItem(spacerItem2)
+ self.vboxlayout.addLayout(self.hboxlayout1)
+ self.verticalLayout_3.addWidget(self.searckMarkersBox)
+ self.regexpModeBox = QtWidgets.QGroupBox(parent=EditorSearchPage)
+ self.regexpModeBox.setObjectName("regexpModeBox")
+ self.verticalLayout = QtWidgets.QVBoxLayout(self.regexpModeBox)
+ self.verticalLayout.setObjectName("verticalLayout")
+ self.regexpPosixButton = QtWidgets.QRadioButton(parent=self.regexpModeBox)
+ self.regexpPosixButton.setChecked(True)
+ self.regexpPosixButton.setObjectName("regexpPosixButton")
+ self.verticalLayout.addWidget(self.regexpPosixButton)
+ self.regexpCxx11Button = QtWidgets.QRadioButton(parent=self.regexpModeBox)
+ self.regexpCxx11Button.setObjectName("regexpCxx11Button")
+ self.verticalLayout.addWidget(self.regexpCxx11Button)
+ self.verticalLayout_3.addWidget(self.regexpModeBox)
+ self.horizontalLayout_8 = QtWidgets.QHBoxLayout()
+ self.horizontalLayout_8.setObjectName("horizontalLayout_8")
+ self.highlightingBackgroundLabel = QtWidgets.QLabel(parent=EditorSearchPage)
+ self.highlightingBackgroundLabel.setObjectName("highlightingBackgroundLabel")
+ self.horizontalLayout_8.addWidget(self.highlightingBackgroundLabel)
+ self.highlightingBackgroundButton = QtWidgets.QPushButton(parent=EditorSearchPage)
+ self.highlightingBackgroundButton.setMinimumSize(QtCore.QSize(100, 0))
+ self.highlightingBackgroundButton.setText("")
+ self.highlightingBackgroundButton.setObjectName("highlightingBackgroundButton")
+ self.horizontalLayout_8.addWidget(self.highlightingBackgroundButton)
+ spacerItem3 = QtWidgets.QSpacerItem(347, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum)
+ self.horizontalLayout_8.addItem(spacerItem3)
+ self.verticalLayout_3.addLayout(self.horizontalLayout_8)
+ spacerItem4 = QtWidgets.QSpacerItem(558, 231, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding)
+ self.verticalLayout_3.addItem(spacerItem4)
+
+ self.retranslateUi(EditorSearchPage)
+ self.quicksearchCheckBox.toggled['bool'].connect(self.quicksearchMarkersEnabledCheckBox.setEnabled) # type: ignore
+ QtCore.QMetaObject.connectSlotsByName(EditorSearchPage)
+ EditorSearchPage.setTabOrder(self.quicksearchCheckBox, self.quicksearchMarkersEnabledCheckBox)
+ EditorSearchPage.setTabOrder(self.quicksearchMarkersEnabledCheckBox, self.quicksearchMarkOccurrencesTimeoutSpinBox)
+ EditorSearchPage.setTabOrder(self.quicksearchMarkOccurrencesTimeoutSpinBox, self.occurrencesMarkersEnabledCheckBox)
+ EditorSearchPage.setTabOrder(self.occurrencesMarkersEnabledCheckBox, self.searchMarkersEnabledCheckBox)
+ EditorSearchPage.setTabOrder(self.searchMarkersEnabledCheckBox, self.markOccurrencesTimeoutSpinBox)
+ EditorSearchPage.setTabOrder(self.markOccurrencesTimeoutSpinBox, self.searchMarkerButton)
+ EditorSearchPage.setTabOrder(self.searchMarkerButton, self.regexpPosixButton)
+ EditorSearchPage.setTabOrder(self.regexpPosixButton, self.regexpCxx11Button)
+ EditorSearchPage.setTabOrder(self.regexpCxx11Button, self.highlightingBackgroundButton)
+
+ def retranslateUi(self, EditorSearchPage):
+ _translate = QtCore.QCoreApplication.translate
+ self.headerLabel.setText(_translate("EditorSearchPage", "<b>Configure editor search options</b>"))
+ self.groupBox.setTitle(_translate("EditorSearchPage", "Quicksearch"))
+ self.quicksearchCheckBox.setToolTip(_translate("EditorSearchPage", "Select to perform a search while entering the text to search for."))
+ self.quicksearchCheckBox.setText(_translate("EditorSearchPage", "Enable Quicksearch"))
+ self.quicksearchMarkersEnabledCheckBox.setToolTip(_translate("EditorSearchPage", "Select, whether search markers shall be shown for a quicksearch"))
+ self.quicksearchMarkersEnabledCheckBox.setText(_translate("EditorSearchPage", "Highlight all occurrences of quicksearch text"))
+ self.label_2.setText(_translate("EditorSearchPage", "Timeout for quicksearch highlighting:"))
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setToolTip(_translate("EditorSearchPage", "Enter the time in milliseconds after which occurrences of the current search text shall be highlighted"))
+ self.quicksearchMarkOccurrencesTimeoutSpinBox.setSuffix(_translate("EditorSearchPage", " ms"))
+ self.searckMarkersBox.setTitle(_translate("EditorSearchPage", "Search Markers"))
+ self.occurrencesMarkersEnabledCheckBox.setToolTip(_translate("EditorSearchPage", "Select, whether markers for all occurrences of the current word shall be shown"))
+ self.occurrencesMarkersEnabledCheckBox.setText(_translate("EditorSearchPage", "Highlight all occurrences of current word"))
+ self.searchMarkersEnabledCheckBox.setToolTip(_translate("EditorSearchPage", "Select, whether search markers shall be shown for a standard search"))
+ self.searchMarkersEnabledCheckBox.setText(_translate("EditorSearchPage", "Highlight all occurrences of search text"))
+ self.label.setText(_translate("EditorSearchPage", "Timeout for current word highlighting:"))
+ self.markOccurrencesTimeoutSpinBox.setToolTip(_translate("EditorSearchPage", "Enter the time in milliseconds after which occurrences of the current word shall be highlighted"))
+ self.markOccurrencesTimeoutSpinBox.setSuffix(_translate("EditorSearchPage", " ms"))
+ self.TextLabel2_2_2_2_2_2.setText(_translate("EditorSearchPage", "Marker Color:"))
+ self.searchMarkerButton.setToolTip(_translate("EditorSearchPage", "Select the color for the search markers."))
+ self.regexpModeBox.setTitle(_translate("EditorSearchPage", "Regular Expression Type"))
+ self.regexpPosixButton.setToolTip(_translate("EditorSearchPage", "Select to used the QScintilla POSIX alike regular expression mode."))
+ self.regexpPosixButton.setText(_translate("EditorSearchPage", "QScintilla Regular Mode (POSIX)"))
+ self.regexpCxx11Button.setToolTip(_translate("EditorSearchPage", "Select to used the QScintilla extended (C++11) regular expression mode."))
+ self.regexpCxx11Button.setText(_translate("EditorSearchPage", "QScintilla Extended Mode (C++11)"))
+ self.highlightingBackgroundLabel.setText(_translate("EditorSearchPage", "Search Area Highlighting:"))
+ self.highlightingBackgroundButton.setToolTip(_translate("EditorSearchPage", "Select the color for the highlighting of the search area, if it is not the whole document."))
