|
1 # Form implementation generated from reading ui file '/home/detlev/Development/Python/Eric/eric7_default/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.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_EditorSearchPage(object): |
|
13 def setupUi(self, EditorSearchPage): |
|
14 EditorSearchPage.setObjectName("EditorSearchPage") |
|
15 EditorSearchPage.resize(576, 554) |
|
16 self.verticalLayout_3 = QtWidgets.QVBoxLayout(EditorSearchPage) |
|
17 self.verticalLayout_3.setObjectName("verticalLayout_3") |
|
18 self.headerLabel = QtWidgets.QLabel(parent=EditorSearchPage) |
|
19 self.headerLabel.setObjectName("headerLabel") |
|
20 self.verticalLayout_3.addWidget(self.headerLabel) |
|
21 self.line3 = QtWidgets.QFrame(parent=EditorSearchPage) |
|
22 self.line3.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
23 self.line3.setFrameShadow(QtWidgets.QFrame.Shadow.Sunken) |
|
24 self.line3.setFrameShape(QtWidgets.QFrame.Shape.HLine) |
|
25 self.line3.setObjectName("line3") |
|
26 self.verticalLayout_3.addWidget(self.line3) |
|
27 self.groupBox = QtWidgets.QGroupBox(parent=EditorSearchPage) |
|
28 self.groupBox.setObjectName("groupBox") |
|
29 self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.groupBox) |
|
30 self.verticalLayout_2.setObjectName("verticalLayout_2") |
|
31 self.quicksearchCheckBox = QtWidgets.QCheckBox(parent=self.groupBox) |
|
32 self.quicksearchCheckBox.setObjectName("quicksearchCheckBox") |
|
33 self.verticalLayout_2.addWidget(self.quicksearchCheckBox) |
|
34 self.quicksearchMarkersEnabledCheckBox = QtWidgets.QCheckBox(parent=self.groupBox) |
|
35 self.quicksearchMarkersEnabledCheckBox.setEnabled(False) |
|
36 self.quicksearchMarkersEnabledCheckBox.setObjectName("quicksearchMarkersEnabledCheckBox") |
|
37 self.verticalLayout_2.addWidget(self.quicksearchMarkersEnabledCheckBox) |
|
38 self.horizontalLayout = QtWidgets.QHBoxLayout() |
|
39 self.horizontalLayout.setObjectName("horizontalLayout") |
|
40 self.label_2 = QtWidgets.QLabel(parent=self.groupBox) |
|
41 self.label_2.setObjectName("label_2") |
|
42 self.horizontalLayout.addWidget(self.label_2) |
|
43 self.quicksearchMarkOccurrencesTimeoutSpinBox = QtWidgets.QSpinBox(parent=self.groupBox) |
|
44 self.quicksearchMarkOccurrencesTimeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) |
|
45 self.quicksearchMarkOccurrencesTimeoutSpinBox.setButtonSymbols(QtWidgets.QAbstractSpinBox.ButtonSymbols.PlusMinus) |
|
46 self.quicksearchMarkOccurrencesTimeoutSpinBox.setCorrectionMode(QtWidgets.QAbstractSpinBox.CorrectionMode.CorrectToNearestValue) |
|
47 self.quicksearchMarkOccurrencesTimeoutSpinBox.setMinimum(100) |
|
48 self.quicksearchMarkOccurrencesTimeoutSpinBox.setMaximum(5000) |
|
49 self.quicksearchMarkOccurrencesTimeoutSpinBox.setSingleStep(100) |
|
50 self.quicksearchMarkOccurrencesTimeoutSpinBox.setObjectName("quicksearchMarkOccurrencesTimeoutSpinBox") |
|
51 self.horizontalLayout.addWidget(self.quicksearchMarkOccurrencesTimeoutSpinBox) |
|
52 spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
53 self.horizontalLayout.addItem(spacerItem) |
|
54 self.verticalLayout_2.addLayout(self.horizontalLayout) |
|
55 self.verticalLayout_3.addWidget(self.groupBox) |
|
56 self.searckMarkersBox = QtWidgets.QGroupBox(parent=EditorSearchPage) |
|
57 self.searckMarkersBox.setObjectName("searckMarkersBox") |
|
58 self.vboxlayout = QtWidgets.QVBoxLayout(self.searckMarkersBox) |
|
59 self.vboxlayout.setObjectName("vboxlayout") |
|
60 self.occurrencesMarkersEnabledCheckBox = QtWidgets.QCheckBox(parent=self.searckMarkersBox) |
|
61 self.occurrencesMarkersEnabledCheckBox.setObjectName("occurrencesMarkersEnabledCheckBox") |
|
62 self.vboxlayout.addWidget(self.occurrencesMarkersEnabledCheckBox) |
|
63 self.searchMarkersEnabledCheckBox = QtWidgets.QCheckBox(parent=self.searckMarkersBox) |
|
64 self.searchMarkersEnabledCheckBox.setObjectName("searchMarkersEnabledCheckBox") |
|
65 self.vboxlayout.addWidget(self.searchMarkersEnabledCheckBox) |
|
66 self.hboxlayout = QtWidgets.QHBoxLayout() |
|
67 self.hboxlayout.setObjectName("hboxlayout") |
|
68 self.label = QtWidgets.QLabel(parent=self.searckMarkersBox) |
|
69 self.label.setObjectName("label") |
|
70 self.hboxlayout.addWidget(self.label) |
|
71 self.markOccurrencesTimeoutSpinBox = QtWidgets.QSpinBox(parent=self.searckMarkersBox) |
|
72 self.markOccurrencesTimeoutSpinBox.setAlignment(QtCore.Qt.AlignmentFlag.AlignRight|QtCore.Qt.AlignmentFlag.AlignTrailing|QtCore.Qt.AlignmentFlag.AlignVCenter) |
|
73 self.markOccurrencesTimeoutSpinBox.setButtonSymbols(QtWidgets.QAbstractSpinBox.ButtonSymbols.PlusMinus) |
|
74 self.markOccurrencesTimeoutSpinBox.setCorrectionMode(QtWidgets.QAbstractSpinBox.CorrectionMode.CorrectToNearestValue) |
|
75 self.markOccurrencesTimeoutSpinBox.setMinimum(100) |
|
76 self.markOccurrencesTimeoutSpinBox.setMaximum(5000) |
|
77 self.markOccurrencesTimeoutSpinBox.setSingleStep(100) |
|
78 self.markOccurrencesTimeoutSpinBox.setObjectName("markOccurrencesTimeoutSpinBox") |
|
79 self.hboxlayout.addWidget(self.markOccurrencesTimeoutSpinBox) |
|
80 spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
81 self.hboxlayout.addItem(spacerItem1) |
|
82 self.vboxlayout.addLayout(self.hboxlayout) |
|
83 self.hboxlayout1 = QtWidgets.QHBoxLayout() |
|
84 self.hboxlayout1.setObjectName("hboxlayout1") |
|
85 self.TextLabel2_2_2_2_2_2 = QtWidgets.QLabel(parent=self.searckMarkersBox) |
|
86 self.TextLabel2_2_2_2_2_2.setObjectName("TextLabel2_2_2_2_2_2") |
|
87 self.hboxlayout1.addWidget(self.TextLabel2_2_2_2_2_2) |
|
88 self.searchMarkerButton = QtWidgets.QPushButton(parent=self.searckMarkersBox) |
|
89 self.searchMarkerButton.setMinimumSize(QtCore.QSize(100, 0)) |
|
90 self.searchMarkerButton.setText("") |
|
91 self.searchMarkerButton.setObjectName("searchMarkerButton") |
|
92 self.hboxlayout1.addWidget(self.searchMarkerButton) |
|
93 spacerItem2 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
94 self.hboxlayout1.addItem(spacerItem2) |
|
95 self.vboxlayout.addLayout(self.hboxlayout1) |
|
96 self.verticalLayout_3.addWidget(self.searckMarkersBox) |
|
97 self.regexpModeBox = QtWidgets.QGroupBox(parent=EditorSearchPage) |
|
98 self.regexpModeBox.setObjectName("regexpModeBox") |
|
99 self.verticalLayout = QtWidgets.QVBoxLayout(self.regexpModeBox) |
|
100 self.verticalLayout.setObjectName("verticalLayout") |
|
101 self.regexpPosixButton = QtWidgets.QRadioButton(parent=self.regexpModeBox) |
|
102 self.regexpPosixButton.setChecked(True) |
|
103 self.regexpPosixButton.setObjectName("regexpPosixButton") |
|
104 self.verticalLayout.addWidget(self.regexpPosixButton) |
|
105 self.regexpCxx11Button = QtWidgets.QRadioButton(parent=self.regexpModeBox) |
|
106 self.regexpCxx11Button.setObjectName("regexpCxx11Button") |
|
107 self.verticalLayout.addWidget(self.regexpCxx11Button) |
|
108 self.verticalLayout_3.addWidget(self.regexpModeBox) |
|
109 self.horizontalLayout_8 = QtWidgets.QHBoxLayout() |
|
110 self.horizontalLayout_8.setObjectName("horizontalLayout_8") |
|
111 self.highlightingBackgroundLabel = QtWidgets.QLabel(parent=EditorSearchPage) |
|
112 self.highlightingBackgroundLabel.setObjectName("highlightingBackgroundLabel") |
|
113 self.horizontalLayout_8.addWidget(self.highlightingBackgroundLabel) |
|
114 self.highlightingBackgroundButton = QtWidgets.QPushButton(parent=EditorSearchPage) |
|
115 self.highlightingBackgroundButton.setMinimumSize(QtCore.QSize(100, 0)) |
|
116 self.highlightingBackgroundButton.setText("") |
|
117 self.highlightingBackgroundButton.setObjectName("highlightingBackgroundButton") |
|
118 self.horizontalLayout_8.addWidget(self.highlightingBackgroundButton) |
|
119 spacerItem3 = QtWidgets.QSpacerItem(347, 20, QtWidgets.QSizePolicy.Policy.Expanding, QtWidgets.QSizePolicy.Policy.Minimum) |
|
120 self.horizontalLayout_8.addItem(spacerItem3) |
|
121 self.verticalLayout_3.addLayout(self.horizontalLayout_8) |
|
122 spacerItem4 = QtWidgets.QSpacerItem(558, 231, QtWidgets.QSizePolicy.Policy.Minimum, QtWidgets.QSizePolicy.Policy.Expanding) |
|
123 self.verticalLayout_3.addItem(spacerItem4) |
|
124 |
|
125 self.retranslateUi(EditorSearchPage) |
|
126 self.quicksearchCheckBox.toggled['bool'].connect(self.quicksearchMarkersEnabledCheckBox.setEnabled) # type: ignore |
|
127 QtCore.QMetaObject.connectSlotsByName(EditorSearchPage) |
|
128 EditorSearchPage.setTabOrder(self.quicksearchCheckBox, self.quicksearchMarkersEnabledCheckBox) |
|
129 EditorSearchPage.setTabOrder(self.quicksearchMarkersEnabledCheckBox, self.quicksearchMarkOccurrencesTimeoutSpinBox) |
|
130 EditorSearchPage.setTabOrder(self.quicksearchMarkOccurrencesTimeoutSpinBox, self.occurrencesMarkersEnabledCheckBox) |
|
131 EditorSearchPage.setTabOrder(self.occurrencesMarkersEnabledCheckBox, self.searchMarkersEnabledCheckBox) |
|
132 EditorSearchPage.setTabOrder(self.searchMarkersEnabledCheckBox, self.markOccurrencesTimeoutSpinBox) |
|
133 EditorSearchPage.setTabOrder(self.markOccurrencesTimeoutSpinBox, self.searchMarkerButton) |
|
134 EditorSearchPage.setTabOrder(self.searchMarkerButton, self.regexpPosixButton) |
|
135 EditorSearchPage.setTabOrder(self.regexpPosixButton, self.regexpCxx11Button) |
|
136 EditorSearchPage.setTabOrder(self.regexpCxx11Button, self.highlightingBackgroundButton) |
|
137 |
|
138 def retranslateUi(self, EditorSearchPage): |
|
139 _translate = QtCore.QCoreApplication.translate |
|
140 self.headerLabel.setText(_translate("EditorSearchPage", "<b>Configure editor search options</b>")) |
|
141 self.groupBox.setTitle(_translate("EditorSearchPage", "Quicksearch")) |
|
142 self.quicksearchCheckBox.setToolTip(_translate("EditorSearchPage", "Select to perform a search while entering the text to search for.")) |
|
143 self.quicksearchCheckBox.setText(_translate("EditorSearchPage", "Enable Quicksearch")) |
|
144 self.quicksearchMarkersEnabledCheckBox.setToolTip(_translate("EditorSearchPage", "Select, whether search markers shall be shown for a quicksearch")) |
|
145 self.quicksearchMarkersEnabledCheckBox.setText(_translate("EditorSearchPage", "Highlight all occurrences of quicksearch text")) |
|
146 self.label_2.setText(_translate("EditorSearchPage", "Timeout for quicksearch highlighting:")) |
|
147 self.quicksearchMarkOccurrencesTimeoutSpinBox.setToolTip(_translate("EditorSearchPage", "Enter the time in milliseconds after which occurrences of the current search text shall be highlighted")) |
|
148 self.quicksearchMarkOccurrencesTimeoutSpinBox.setSuffix(_translate("EditorSearchPage", " ms")) |
|
149 self.searckMarkersBox.setTitle(_translate("EditorSearchPage", "Search Markers")) |
|
150 self.occurrencesMarkersEnabledCheckBox.setToolTip(_translate("EditorSearchPage", "Select, whether markers for all occurrences of the current word shall be shown")) |
|
151 self.occurrencesMarkersEnabledCheckBox.setText(_translate("EditorSearchPage", "Highlight all occurrences of current word")) |
|
152 self.searchMarkersEnabledCheckBox.setToolTip(_translate("EditorSearchPage", "Select, whether search markers shall be shown for a standard search")) |
|
153 self.searchMarkersEnabledCheckBox.setText(_translate("EditorSearchPage", "Highlight all occurrences of search text")) |
|
154 self.label.setText(_translate("EditorSearchPage", "Timeout for current word highlighting:")) |
|
155 self.markOccurrencesTimeoutSpinBox.setToolTip(_translate("EditorSearchPage", "Enter the time in milliseconds after which occurrences of the current word shall be highlighted")) |
|
156 self.markOccurrencesTimeoutSpinBox.setSuffix(_translate("EditorSearchPage", " ms")) |
|
157 self.TextLabel2_2_2_2_2_2.setText(_translate("EditorSearchPage", "Marker Color:")) |
|
158 self.searchMarkerButton.setToolTip(_translate("EditorSearchPage", "Select the color for the search markers.")) |
|
159 self.regexpModeBox.setTitle(_translate("EditorSearchPage", "Regular Expression Type")) |
|
160 self.regexpPosixButton.setToolTip(_translate("EditorSearchPage", "Select to used the QScintilla POSIX alike regular expression mode.")) |
|
161 self.regexpPosixButton.setText(_translate("EditorSearchPage", "QScintilla Regular Mode (POSIX)")) |
|
162 self.regexpCxx11Button.setToolTip(_translate("EditorSearchPage", "Select to used the QScintilla extended (C++11) regular expression mode.")) |
|
163 self.regexpCxx11Button.setText(_translate("EditorSearchPage", "QScintilla Extended Mode (C++11)")) |
|
164 self.highlightingBackgroundLabel.setText(_translate("EditorSearchPage", "Search Area Highlighting:")) |
|
165 self.highlightingBackgroundButton.setToolTip(_translate("EditorSearchPage", "Select the color for the highlighting of the search area, if it is not the whole document.")) |