|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <ui version="4.0"> |
|
3 <class>ShellPage</class> |
|
4 <widget class="QWidget" name="ShellPage"> |
|
5 <property name="geometry"> |
|
6 <rect> |
|
7 <x>0</x> |
|
8 <y>0</y> |
|
9 <width>573</width> |
|
10 <height>465</height> |
|
11 </rect> |
|
12 </property> |
|
13 <layout class="QVBoxLayout" name="verticalLayout"> |
|
14 <item> |
|
15 <widget class="QLabel" name="headerLabel"> |
|
16 <property name="text"> |
|
17 <string><b>Configure Shell</b></string> |
|
18 </property> |
|
19 </widget> |
|
20 </item> |
|
21 <item> |
|
22 <widget class="Line" name="line14"> |
|
23 <property name="frameShape"> |
|
24 <enum>QFrame::HLine</enum> |
|
25 </property> |
|
26 <property name="frameShadow"> |
|
27 <enum>QFrame::Sunken</enum> |
|
28 </property> |
|
29 <property name="orientation"> |
|
30 <enum>Qt::Horizontal</enum> |
|
31 </property> |
|
32 </widget> |
|
33 </item> |
|
34 <item> |
|
35 <layout class="QGridLayout"> |
|
36 <item row="0" column="0"> |
|
37 <widget class="QCheckBox" name="shellLinenoCheckBox"> |
|
38 <property name="toolTip"> |
|
39 <string>Select whether line numbers margin should be shown.</string> |
|
40 </property> |
|
41 <property name="text"> |
|
42 <string>Show Line Numbers Margin</string> |
|
43 </property> |
|
44 </widget> |
|
45 </item> |
|
46 <item row="1" column="1"> |
|
47 <widget class="QCheckBox" name="shellCTEnabledCheckBox"> |
|
48 <property name="toolTip"> |
|
49 <string>Select this to enable calltips</string> |
|
50 </property> |
|
51 <property name="text"> |
|
52 <string>Calltips Enabled</string> |
|
53 </property> |
|
54 </widget> |
|
55 </item> |
|
56 <item row="0" column="1"> |
|
57 <widget class="QCheckBox" name="shellWordWrapCheckBox"> |
|
58 <property name="toolTip"> |
|
59 <string>Select to enable wrapping at word boundaries</string> |
|
60 </property> |
|
61 <property name="text"> |
|
62 <string>Word Wrap Enabled</string> |
|
63 </property> |
|
64 </widget> |
|
65 </item> |
|
66 <item row="1" column="0"> |
|
67 <widget class="QCheckBox" name="shellACEnabledCheckBox"> |
|
68 <property name="toolTip"> |
|
69 <string>Select this to enable autocompletion</string> |
|
70 </property> |
|
71 <property name="text"> |
|
72 <string>Autocompletion Enabled</string> |
|
73 </property> |
|
74 </widget> |
|
75 </item> |
|
76 <item row="2" column="0"> |
|
77 <widget class="QCheckBox" name="shellSyntaxHighlightingCheckBox"> |
|
78 <property name="toolTip"> |
|
79 <string>Select to enable syntax highlighting</string> |
|
80 </property> |
|
81 <property name="text"> |
|
82 <string>Syntax Highlighting Enabled</string> |
|
83 </property> |
|
84 </widget> |
|
85 </item> |
|
86 <item row="2" column="1"> |
|
87 <widget class="QCheckBox" name="rememberCheckBox"> |
|
88 <property name="toolTip"> |
|
89 <string>Select to start with the most recently used virtual environment</string> |
|
90 </property> |
|
91 <property name="text"> |
|
92 <string>Start with most recently used virtual environment</string> |
|
93 </property> |
|
94 </widget> |
|
95 </item> |
|
96 </layout> |
|
97 </item> |
|
98 <item> |
|
99 <widget class="QGroupBox" name="groupBox"> |
|
100 <property name="title"> |
|
101 <string>History</string> |
|
102 </property> |
|
103 <layout class="QGridLayout" name="gridLayout"> |
|
104 <item row="0" column="0"> |
|
105 <widget class="QLabel" name="textLabel1_20"> |
|
106 <property name="text"> |
|
107 <string>max. History Entries:</string> |
|
108 </property> |
|
109 </widget> |
|
110 </item> |
|
111 <item row="0" column="1"> |
|
112 <widget class="QSpinBox" name="shellHistorySpinBox"> |
|
113 <property name="toolTip"> |
|
114 <string>Enter the number of history entries allowed</string> |
|
115 </property> |
|
116 <property name="alignment"> |
|
117 <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set> |
|
118 </property> |
|
119 <property name="minimum"> |
|
120 <number>10</number> |
|
121 </property> |
|
122 <property name="maximum"> |
|
123 <number>1000</number> |
|
124 </property> |
|
125 <property name="singleStep"> |
|
126 <number>10</number> |
|
127 </property> |
|
128 <property name="value"> |
|
129 <number>100</number> |
|
130 </property> |
|
131 </widget> |
|
132 </item> |
|
133 <item row="0" column="2"> |
|
134 <spacer> |
|
135 <property name="orientation"> |
|
136 <enum>Qt::Horizontal</enum> |
|
137 </property> |
|
138 <property name="sizeType"> |
|
139 <enum>QSizePolicy::Expanding</enum> |
|
140 </property> |
|
141 <property name="sizeHint" stdset="0"> |
|
142 <size> |
|
143 <width>343</width> |
|
144 <height>20</height> |
|
145 </size> |
|
146 </property> |
|
147 </spacer> |
|
148 </item> |
|
149 <item row="1" column="0"> |
|
150 <widget class="QLabel" name="label"> |
|
151 <property name="text"> |
|
152 <string>Navigation Style:</string> |
|
153 </property> |
|
154 </widget> |
|
155 </item> |
|
156 <item row="1" column="1" colspan="2"> |
|
157 <widget class="QComboBox" name="shellHistoryStyleComboBox"> |
|
158 <property name="toolTip"> |
|
159 <string>Select the history style</string> |
|
160 </property> |
|
161 </widget> |
|
162 </item> |
|
163 <item row="2" column="0" colspan="3"> |
|
164 <widget class="QCheckBox" name="shellHistoryWrapCheckBox"> |
|
165 <property name="toolTip"> |
|
166 <string>Select to wrap around while navigating through the history</string> |
|
167 </property> |
|
168 <property name="text"> |
|
169 <string>Wrap around while navigating</string> |
|
170 </property> |
|
171 </widget> |
|
172 </item> |
|
173 <item row="3" column="0" colspan="3"> |
|
174 <widget class="QCheckBox" name="shellHistoryCursorKeysCheckBox"> |
|
175 <property name="toolTip"> |
|
176 <string>Select to make Up- and Down-keys move in history</string> |
|
177 </property> |
|
178 <property name="whatsThis"> |
|
179 <string><b>Up/Down keys navigate in history<b> |
|
180 <p>Select this entry to make Up- and Down-keys navigate in history. If unselected history navigation may be performed by Ctrl-Up or Ctrl-Down.</p></string> |
|
181 </property> |
|
182 <property name="text"> |
|
183 <string>Up/Down keys navigate in history</string> |
|
184 </property> |
|
185 </widget> |
|
186 </item> |
|
187 </layout> |
|
188 </widget> |
|
189 </item> |
|
190 <item> |
|
191 <widget class="QGroupBox" name="groupBox_5"> |
|
192 <property name="title"> |
|
193 <string>Font</string> |
|
194 </property> |
|
195 <layout class="QGridLayout" name="gridLayout_2"> |
|
196 <item row="0" column="0"> |
|
197 <widget class="QPushButton" name="monospacedFontButton"> |
|
198 <property name="toolTip"> |
|
199 <string>Press to select the font to be used as the monospaced font</string> |
|
200 </property> |
|
201 <property name="text"> |
|
202 <string>Monospaced Font</string> |
|
203 </property> |
|
204 </widget> |
|
205 </item> |
|
206 <item row="0" column="1"> |
|
207 <widget class="QLineEdit" name="monospacedFontSample"> |
|
208 <property name="focusPolicy"> |
|
209 <enum>Qt::NoFocus</enum> |
|
210 </property> |
|
211 <property name="text"> |
|
212 <string>Monospaced Text</string> |
|
213 </property> |
|
214 <property name="alignment"> |
|
215 <set>Qt::AlignHCenter</set> |
|
216 </property> |
|
217 <property name="readOnly"> |
|
218 <bool>true</bool> |
|
219 </property> |
|
220 </widget> |
|
221 </item> |
|
222 <item row="0" column="2"> |
|
223 <widget class="QCheckBox" name="monospacedCheckBox"> |
|
224 <property name="toolTip"> |
|
225 <string>Select, whether the monospaced font should be used as default</string> |
|
226 </property> |
|
227 <property name="text"> |
|
228 <string>Use monospaced as default</string> |
|
229 </property> |
|
230 </widget> |
|
231 </item> |
|
232 <item row="1" column="0"> |
|
233 <widget class="QPushButton" name="linenumbersFontButton"> |
|
234 <property name="toolTip"> |
|
235 <string>Press to select the font for the line numbers</string> |
|
236 </property> |
|
237 <property name="text"> |
|
238 <string>Line Numbers Font</string> |
|
239 </property> |
|
240 </widget> |
|
241 </item> |
|
242 <item row="1" column="1"> |
|
243 <widget class="QLineEdit" name="marginsFontSample"> |
|
244 <property name="minimumSize"> |
|
245 <size> |
|
246 <width>200</width> |
|
247 <height>0</height> |
|
248 </size> |
|
249 </property> |
|
250 <property name="focusPolicy"> |
|
251 <enum>Qt::NoFocus</enum> |
|
252 </property> |
|
253 <property name="text"> |
|
254 <string>2345</string> |
|
255 </property> |
|
256 <property name="alignment"> |
|
257 <set>Qt::AlignHCenter</set> |
|
258 </property> |
|
259 <property name="readOnly"> |
|
260 <bool>true</bool> |
|
261 </property> |
|
262 </widget> |
|
263 </item> |
|
264 </layout> |
|
265 </widget> |
|
266 </item> |
|
267 <item> |
|
268 <widget class="QCheckBox" name="stdOutErrCheckBox"> |
|
269 <property name="toolTip"> |
|
270 <string>Select to show debugger stdout and stderr</string> |
|
271 </property> |
|
272 <property name="text"> |
|
273 <string>Show stdout and stderr of debugger</string> |
|
274 </property> |
|
275 </widget> |
|
276 </item> |
|
277 <item> |
|
278 <spacer> |
|
279 <property name="orientation"> |
|
280 <enum>Qt::Vertical</enum> |
|
281 </property> |
|
282 <property name="sizeHint" stdset="0"> |
|
283 <size> |
|
284 <width>20</width> |
|
285 <height>40</height> |
|
286 </size> |
|
287 </property> |
|
288 </spacer> |
|
289 </item> |
|
290 </layout> |
|
291 </widget> |
|
292 <tabstops> |
|
293 <tabstop>shellLinenoCheckBox</tabstop> |
|
294 <tabstop>shellACEnabledCheckBox</tabstop> |
|
295 <tabstop>shellSyntaxHighlightingCheckBox</tabstop> |
|
296 <tabstop>shellWordWrapCheckBox</tabstop> |
|
297 <tabstop>shellCTEnabledCheckBox</tabstop> |
|
298 <tabstop>rememberCheckBox</tabstop> |
|
299 <tabstop>shellHistorySpinBox</tabstop> |
|
300 <tabstop>shellHistoryStyleComboBox</tabstop> |
|
301 <tabstop>shellHistoryWrapCheckBox</tabstop> |
|
302 <tabstop>shellHistoryCursorKeysCheckBox</tabstop> |
|
303 <tabstop>monospacedFontButton</tabstop> |
|
304 <tabstop>monospacedCheckBox</tabstop> |
|
305 <tabstop>linenumbersFontButton</tabstop> |
|
306 <tabstop>stdOutErrCheckBox</tabstop> |
|
307 </tabstops> |
|
308 <resources/> |
|
309 <connections> |
|
310 <connection> |
|
311 <sender>shellSyntaxHighlightingCheckBox</sender> |
|
312 <signal>toggled(bool)</signal> |
|
313 <receiver>monospacedFontButton</receiver> |
|
314 <slot>setDisabled(bool)</slot> |
|
315 <hints> |
|
316 <hint type="sourcelabel"> |
|
317 <x>72</x> |
|
318 <y>102</y> |
|
319 </hint> |
|
320 <hint type="destinationlabel"> |
|
321 <x>71</x> |
|
322 <y>299</y> |
|
323 </hint> |
|
324 </hints> |
|
325 </connection> |
|
326 <connection> |
|
327 <sender>shellSyntaxHighlightingCheckBox</sender> |
|
328 <signal>toggled(bool)</signal> |
|
329 <receiver>monospacedFontSample</receiver> |
|
330 <slot>setDisabled(bool)</slot> |
|
331 <hints> |
|
332 <hint type="sourcelabel"> |
|
333 <x>141</x> |
|
334 <y>105</y> |
|
335 </hint> |
|
336 <hint type="destinationlabel"> |
|
337 <x>200</x> |
|
338 <y>298</y> |
|
339 </hint> |
|
340 </hints> |
|
341 </connection> |
|
342 <connection> |
|
343 <sender>shellSyntaxHighlightingCheckBox</sender> |
|
344 <signal>toggled(bool)</signal> |
|
345 <receiver>monospacedCheckBox</receiver> |
|
346 <slot>setDisabled(bool)</slot> |
|
347 <hints> |
|
348 <hint type="sourcelabel"> |
|
349 <x>241</x> |
|
350 <y>104</y> |
|
351 </hint> |
|
352 <hint type="destinationlabel"> |
|
353 <x>410</x> |
|
354 <y>304</y> |
|
355 </hint> |
|
356 </hints> |
|
357 </connection> |
|
358 </connections> |
|
359 </ui> |