|
a/src/qtgui/uiprefs.ui |
|
b/src/qtgui/uiprefs.ui |
|
... |
|
... |
| 4 |
<widget class="QDialog" name="uiPrefsDialogBase">
|
4 |
<widget class="QDialog" name="uiPrefsDialogBase">
|
| 5 |
<property name="geometry">
|
5 |
<property name="geometry">
|
| 6 |
<rect>
|
6 |
<rect>
|
| 7 |
<x>0</x>
|
7 |
<x>0</x>
|
| 8 |
<y>0</y>
|
8 |
<y>0</y>
|
| 9 |
<width>531</width>
|
9 |
<width>542</width>
|
| 10 |
<height>427</height>
|
10 |
<height>449</height>
|
| 11 |
</rect>
|
11 |
</rect>
|
| 12 |
</property>
|
12 |
</property>
|
| 13 |
<property name="windowTitle">
|
13 |
<property name="windowTitle">
|
| 14 |
<string>User preferences</string>
|
14 |
<string>User preferences</string>
|
| 15 |
</property>
|
15 |
</property>
|
|
... |
|
... |
| 147 |
<item>
|
147 |
<item>
|
| 148 |
<widget class="QRadioButton" name="plainBRRB">
|
148 |
<widget class="QRadioButton" name="plainBRRB">
|
| 149 |
<property name="text">
|
149 |
<property name="text">
|
| 150 |
<string><BR></string>
|
150 |
<string><BR></string>
|
| 151 |
</property>
|
151 |
</property>
|
|
|
152 |
<attribute name="buttonGroup">
|
|
|
153 |
<string notr="true">buttonGroup</string>
|
|
|
154 |
</attribute>
|
| 152 |
</widget>
|
155 |
</widget>
|
| 153 |
</item>
|
156 |
</item>
|
| 154 |
<item>
|
157 |
<item>
|
| 155 |
<widget class="QRadioButton" name="plainPRERB">
|
158 |
<widget class="QRadioButton" name="plainPRERB">
|
| 156 |
<property name="text">
|
159 |
<property name="text">
|
| 157 |
<string><PRE></string>
|
160 |
<string><PRE></string>
|
| 158 |
</property>
|
161 |
</property>
|
|
|
162 |
<attribute name="buttonGroup">
|
|
|
163 |
<string notr="true">buttonGroup</string>
|
|
|
164 |
</attribute>
|
| 159 |
</widget>
|
165 |
</widget>
|
| 160 |
</item>
|
166 |
</item>
|
| 161 |
<item>
|
167 |
<item>
|
| 162 |
<widget class="QRadioButton" name="plainPREWRAPRB">
|
168 |
<widget class="QRadioButton" name="plainPREWRAPRB">
|
| 163 |
<property name="text">
|
169 |
<property name="text">
|
| 164 |
<string><PRE> + wrap</string>
|
170 |
<string><PRE> + wrap</string>
|
| 165 |
</property>
|
171 |
</property>
|
|
|
172 |
<attribute name="buttonGroup">
|
|
|
173 |
<string notr="true">buttonGroup</string>
|
|
|
174 |
</attribute>
|
| 166 |
</widget>
|
175 |
</widget>
|
| 167 |
</item>
|
176 |
</item>
|
| 168 |
</layout>
|
177 |
</layout>
|
| 169 |
</item>
|
178 |
</item>
|
| 170 |
<item>
|
179 |
<item>
|
|
... |
|
... |
| 173 |
<string>Choose editor applications</string>
|
182 |
<string>Choose editor applications</string>
|
| 174 |
</property>
|
183 |
</property>
|
| 175 |
</widget>
|
184 |
</widget>
|
| 176 |
</item>
|
185 |
</item>
|
| 177 |
<item>
|
186 |
<item>
|
|
|
187 |
<layout class="QHBoxLayout" name="horizontalLayout1">
|
|
|
188 |
<item>
|
| 178 |
<widget class="QCheckBox" name="catgToolBarCB">
|
189 |
<widget class="QLabel" name="label1">
|
|
|
190 |
<property name="toolTip">
|
|
|
191 |
<string>Decide if document filters are shown as radio buttons, toolbar combobox, or menu.</string>
|
|
|
192 |
</property>
|
| 179 |
<property name="text">
|
193 |
<property name="text">
|
| 180 |
<string>Display category filter as toolbar instead of button panel (needs restart).</string>
|
194 |
<string>Document filter choice style:</string>
|
| 181 |
</property>
|
195 |
</property>
|
|
|
196 |
</widget>
|
|
|
197 |
</item>
|
|
|
198 |
<item>
|
|
|
199 |
<widget class="QRadioButton" name="filterBT_RB">
|
| 182 |
<property name="checked">
|
200 |
<property name="text">
|
| 183 |
<bool>false</bool>
|
201 |
<string>Buttons Panel</string>
|
| 184 |
</property>
|
202 |
</property>
|
|
|
203 |
<attribute name="buttonGroup">
|
|
|
204 |
<string notr="true">buttonGroup_2</string>
|
|
|
205 |
</attribute>
|
| 185 |
</widget>
|
206 |
</widget>
|
|
|
207 |
</item>
|
|
|
208 |
<item>
|
|
|
209 |
<widget class="QRadioButton" name="filterCMB_RB">
|
|
|
210 |
<property name="text">
|
|
|
211 |
<string>Toolbar Combobox</string>
|
|
|
212 |
</property>
|
|
|
213 |
<attribute name="buttonGroup">
|
|
|
214 |
<string notr="true">buttonGroup_2</string>
|
|
|
215 |
</attribute>
|
|
|
216 |
</widget>
|
|
|
217 |
</item>
|
|
|
218 |
<item>
|
|
|
219 |
<widget class="QRadioButton" name="filterMN_RB">
|
|
|
220 |
<property name="text">
|
|
|
221 |
<string>Menu</string>
|
|
|
222 |
</property>
|
|
|
223 |
<attribute name="buttonGroup">
|
|
|
224 |
<string notr="true">buttonGroup_2</string>
|
|
|
225 |
</attribute>
|
|
|
226 |
</widget>
|
|
|
227 |
</item>
|
|
|
228 |
</layout>
|
| 186 |
</item>
|
229 |
</item>
|
| 187 |
<item>
|
230 |
<item>
|
| 188 |
<widget class="QCheckBox" name="ssNoCompleteCB">
|
231 |
<widget class="QCheckBox" name="ssNoCompleteCB">
|
| 189 |
<property name="text">
|
232 |
<property name="text">
|
| 190 |
<string>Disable Qt autocompletion in search entry.</string>
|
233 |
<string>Disable Qt autocompletion in search entry.</string>
|
|
... |
|
... |
| 395 |
</layout>
|
438 |
</layout>
|
| 396 |
</item>
|
439 |
</item>
|
| 397 |
<item>
|
440 |
<item>
|
| 398 |
<layout class="QHBoxLayout">
|
441 |
<layout class="QHBoxLayout">
|
| 399 |
<item>
|
442 |
<item>
|
| 400 |
<widget class="QLabel" name="tLSTL">
|
443 |
<widget class="QLabel" name="tLSTL1">
|
| 401 |
<property name="text">
|
444 |
<property name="text">
|
| 402 |
<string>Snippets window CSS file</string>
|
445 |
<string>Snippets window CSS file</string>
|
| 403 |
</property>
|
446 |
</property>
|
| 404 |
<property name="wordWrap">
|
447 |
<property name="wordWrap">
|
| 405 |
<bool>false</bool>
|
448 |
<bool>false</bool>
|
|
... |
|
... |
| 880 |
</layout>
|
923 |
</layout>
|
| 881 |
</widget>
|
924 |
</widget>
|
| 882 |
<layoutdefault spacing="6" margin="11"/>
|
925 |
<layoutdefault spacing="6" margin="11"/>
|
| 883 |
<resources/>
|
926 |
<resources/>
|
| 884 |
<connections/>
|
927 |
<connections/>
|
|
|
928 |
<buttongroups>
|
|
|
929 |
<buttongroup name="buttonGroup"/>
|
|
|
930 |
<buttongroup name="buttonGroup_2"/>
|
|
|
931 |
</buttongroups>
|
| 885 |
</ui>
|
932 |
</ui>
|