|
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>585</width> |
|
10 <height>538</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="QHBoxLayout"> |
|
36 <item> |
|
37 <widget class="QLabel" name="TextLabel13_2_2_2_2"> |
|
38 <property name="text"> |
|
39 <string>Linenumbers width:</string> |
|
40 </property> |
|
41 </widget> |
|
42 </item> |
|
43 <item> |
|
44 <widget class="QSlider" name="shellLinenowidthSlider"> |
|
45 <property name="toolTip"> |
|
46 <string>Move to set the width of the linenumbers margin.</string> |
|
47 </property> |
|
48 <property name="minimum"> |
|
49 <number>2</number> |
|
50 </property> |
|
51 <property name="maximum"> |
|
52 <number>8</number> |
|
53 </property> |
|
54 <property name="value"> |
|
55 <number>2</number> |
|
56 </property> |
|
57 <property name="orientation"> |
|
58 <enum>Qt::Horizontal</enum> |
|
59 </property> |
|
60 <property name="tickInterval"> |
|
61 <number>1</number> |
|
62 </property> |
|
63 </widget> |
|
64 </item> |
|
65 <item> |
|
66 <widget class="QLCDNumber" name="shellLinenowidthLCD"> |
|
67 <property name="toolTip"> |
|
68 <string>Displays the selected width of the linenumbers margin.</string> |
|
69 </property> |
|
70 <property name="numDigits"> |
|
71 <number>1</number> |
|
72 </property> |
|
73 <property name="segmentStyle"> |
|
74 <enum>QLCDNumber::Flat</enum> |
|
75 </property> |
|
76 <property name="value" stdset="0"> |
|
77 <double>2.000000000000000</double> |
|
78 </property> |
|
79 </widget> |
|
80 </item> |
|
81 </layout> |
|
82 </item> |
|
83 <item> |
|
84 <layout class="QGridLayout"> |
|
85 <item row="0" column="0"> |
|
86 <widget class="QCheckBox" name="shellLinenoCheckBox"> |
|
87 <property name="toolTip"> |
|
88 <string>Select whether line numbers margin should be shown.</string> |
|
89 </property> |
|
90 <property name="text"> |
|
91 <string>Show Line Numbers Margin</string> |
|
92 </property> |
|
93 </widget> |
|
94 </item> |
|
95 <item row="1" column="1"> |
|
96 <widget class="QCheckBox" name="shellCTEnabledCheckBox"> |
|
97 <property name="toolTip"> |
|
98 <string>Select this to enable calltips</string> |
|
99 </property> |
|
100 <property name="text"> |
|
101 <string>Calltips Enabled</string> |
|
102 </property> |
|
103 </widget> |
|
104 </item> |
|
105 <item row="0" column="1"> |
|
106 <widget class="QCheckBox" name="shellWordWrapCheckBox"> |
|
107 <property name="toolTip"> |
|
108 <string>Select to enable wrapping at word boundaries</string> |
|
109 </property> |
|
110 <property name="text"> |
|
111 <string>Word Wrap Enabled</string> |
|
112 </property> |
|
113 </widget> |
|
114 </item> |
|
115 <item row="1" column="0"> |
|
116 <widget class="QCheckBox" name="shellACEnabledCheckBox"> |
|
117 <property name="toolTip"> |
|
118 <string>Select this to enable autocompletion</string> |
|
119 </property> |
|
120 <property name="text"> |
|
121 <string>Autocompletion Enabled</string> |
|
122 </property> |
|
123 </widget> |
|
124 </item> |
|
125 <item row="2" column="0"> |
|
126 <widget class="QCheckBox" name="shellSyntaxHighlightingCheckBox"> |
|
127 <property name="toolTip"> |
|
128 <string>Select to enable syntax highlighting</string> |
|
129 </property> |
|
130 <property name="text"> |
|
131 <string>Syntax Highlighting Enabled</string> |
|
132 </property> |
|
133 </widget> |
|
134 </item> |
|
135 </layout> |
|
136 </item> |
|
137 <item> |
|
138 <layout class="QHBoxLayout"> |
|
139 <item> |
|
140 <widget class="QLabel" name="textLabel1_20"> |
|
141 <property name="text"> |
|
142 <string>max. History Entries:</string> |
|
143 </property> |
|
144 </widget> |
|
145 </item> |
|
146 <item> |
|
147 <widget class="QSpinBox" name="shellHistorySpinBox"> |
|
148 <property name="toolTip"> |
|
149 <string>Enter the number of history entries allowed</string> |
|
150 </property> |
|
151 <property name="minimum"> |
|
152 <number>10</number> |
|
153 </property> |
|
154 <property name="maximum"> |
|
155 <number>1000</number> |
|
156 </property> |
|
157 <property name="singleStep"> |
|
158 <number>10</number> |
|
159 </property> |
|
160 <property name="value"> |
|
161 <number>100</number> |
|
162 </property> |
|
163 </widget> |
|
164 </item> |
|
165 <item> |
|
166 <spacer> |
|
167 <property name="orientation"> |
|
168 <enum>Qt::Horizontal</enum> |
|
169 </property> |
|
170 <property name="sizeType"> |
|
171 <enum>QSizePolicy::Expanding</enum> |
|
172 </property> |
|
173 <property name="sizeHint" stdset="0"> |
|
174 <size> |
|
175 <width>40</width> |
|
176 <height>20</height> |
|
177 </size> |
|
178 </property> |
|
179 </spacer> |
|
180 </item> |
|
181 </layout> |
|
182 </item> |
|
183 <item> |
|
184 <widget class="QCheckBox" name="stdOutErrCheckBox"> |
|
185 <property name="toolTip"> |
|
186 <string>Select to show debuggee stdout and stderr</string> |
|
187 </property> |
|
188 <property name="text"> |
|
189 <string>Show stdout and stderr of debuggee</string> |
|
190 </property> |
|
191 </widget> |
|
192 </item> |
|
193 <item> |
|
194 <widget class="QGroupBox" name="groupBox_5"> |
|
195 <property name="title"> |
|
196 <string>Font</string> |
|
197 </property> |
|
198 <layout class="QGridLayout" name="gridLayout_2"> |
|
199 <item row="0" column="0"> |
|
200 <widget class="QPushButton" name="monospacedFontButton"> |
|
201 <property name="toolTip"> |
|
202 <string>Press to select the font to be used as the monospaced font</string> |
|
203 </property> |
|
204 <property name="text"> |
|
205 <string>Monospaced Font</string> |
|
206 </property> |
|
207 </widget> |
|
208 </item> |
|
209 <item row="0" column="1"> |
|
210 <widget class="QLineEdit" name="monospacedFontSample"> |
|
211 <property name="focusPolicy"> |
|
212 <enum>Qt::NoFocus</enum> |
|
213 </property> |
|
214 <property name="text"> |
|
215 <string>Monospaced Text</string> |
|
216 </property> |
|
217 <property name="alignment"> |
|
218 <set>Qt::AlignHCenter</set> |
|
219 </property> |
|
220 <property name="readOnly"> |
|
221 <bool>true</bool> |
|
222 </property> |
|
223 </widget> |
|
224 </item> |
|
225 <item row="0" column="2"> |
|
226 <widget class="QCheckBox" name="monospacedCheckBox"> |
|
227 <property name="toolTip"> |
|
228 <string>Select, whether the monospaced font should be used as default</string> |
|
229 </property> |
|
230 <property name="text"> |
|
231 <string>Use monospaced as default</string> |
|
232 </property> |
|
233 </widget> |
|
234 </item> |
|
235 <item row="1" column="0"> |
|
236 <widget class="QPushButton" name="linenumbersFontButton"> |
|
237 <property name="toolTip"> |
|
238 <string>Press to select the font for the line numbers</string> |
|
239 </property> |
|
240 <property name="text"> |
|
241 <string>Line Numbers Font</string> |
|
242 </property> |
|
243 </widget> |
|
244 </item> |
|
245 <item row="1" column="1"> |
|
246 <widget class="QLineEdit" name="marginsFontSample"> |
|
247 <property name="minimumSize"> |
|
248 <size> |
|
249 <width>200</width> |
|
250 <height>0</height> |
|
251 </size> |
|
252 </property> |
|
253 <property name="focusPolicy"> |
|
254 <enum>Qt::NoFocus</enum> |
|
255 </property> |
|
256 <property name="text"> |
|
257 <string>2345</string> |
|
258 </property> |
|
259 <property name="alignment"> |
|
260 <set>Qt::AlignHCenter</set> |
|
261 </property> |
|
262 <property name="readOnly"> |
|
263 <bool>true</bool> |
|
264 </property> |
|
265 </widget> |
|
266 </item> |
|
267 </layout> |
|
268 </widget> |
|
269 </item> |
|
270 <item> |
|
271 <spacer> |
|
272 <property name="orientation"> |
|
273 <enum>Qt::Vertical</enum> |
|
274 </property> |
|
275 <property name="sizeHint" stdset="0"> |
|
276 <size> |
|
277 <width>20</width> |
|
278 <height>40</height> |
|
279 </size> |
|
280 </property> |
|
281 </spacer> |
|
282 </item> |
|
283 </layout> |
|
284 </widget> |
|
285 <tabstops> |
|
286 <tabstop>shellLinenowidthSlider</tabstop> |
|
287 <tabstop>shellLinenoCheckBox</tabstop> |
|
288 <tabstop>shellACEnabledCheckBox</tabstop> |
|
289 <tabstop>shellSyntaxHighlightingCheckBox</tabstop> |
|
290 <tabstop>shellWordWrapCheckBox</tabstop> |
|
291 <tabstop>shellCTEnabledCheckBox</tabstop> |
|
292 <tabstop>shellHistorySpinBox</tabstop> |
|
293 </tabstops> |
|
294 <resources/> |
|
295 <connections> |
|
296 <connection> |
|
297 <sender>shellLinenowidthSlider</sender> |
|
298 <signal>valueChanged(int)</signal> |
|
299 <receiver>shellLinenowidthLCD</receiver> |
|
300 <slot>display(int)</slot> |
|
301 <hints> |
|
302 <hint type="sourcelabel"> |
|
303 <x>209</x> |
|
304 <y>74</y> |
|
305 </hint> |
|
306 <hint type="destinationlabel"> |
|
307 <x>366</x> |
|
308 <y>73</y> |
|
309 </hint> |
|
310 </hints> |
|
311 </connection> |
|
312 </connections> |
|
313 </ui> |