1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <ui version="4.0"> |
|
3 <class>TerminalPage</class> |
|
4 <widget class="QWidget" name="TerminalPage"> |
|
5 <property name="geometry"> |
|
6 <rect> |
|
7 <x>0</x> |
|
8 <y>0</y> |
|
9 <width>585</width> |
|
10 <height>488</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 Terminal</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="linenowidthSlider"> |
|
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="linenowidthLCD"> |
|
67 <property name="toolTip"> |
|
68 <string>Displays the selected width of the linenumbers margin.</string> |
|
69 </property> |
|
70 <property name="digitCount"> |
|
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="QHBoxLayout" name="horizontalLayout"> |
|
85 <item> |
|
86 <widget class="QCheckBox" name="linenoCheckBox"> |
|
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> |
|
96 <widget class="QCheckBox" name="syntaxHighlightingCheckBox"> |
|
97 <property name="toolTip"> |
|
98 <string>Select to enable syntax highlighting</string> |
|
99 </property> |
|
100 <property name="text"> |
|
101 <string>Syntax Highlighting Enabled</string> |
|
102 </property> |
|
103 </widget> |
|
104 </item> |
|
105 </layout> |
|
106 </item> |
|
107 <item> |
|
108 <layout class="QHBoxLayout"> |
|
109 <item> |
|
110 <widget class="QLabel" name="textLabel1_20"> |
|
111 <property name="text"> |
|
112 <string>max. History Entries:</string> |
|
113 </property> |
|
114 </widget> |
|
115 </item> |
|
116 <item> |
|
117 <widget class="QSpinBox" name="historySpinBox"> |
|
118 <property name="toolTip"> |
|
119 <string>Enter the number of history entries allowed</string> |
|
120 </property> |
|
121 <property name="minimum"> |
|
122 <number>10</number> |
|
123 </property> |
|
124 <property name="maximum"> |
|
125 <number>1000</number> |
|
126 </property> |
|
127 <property name="singleStep"> |
|
128 <number>10</number> |
|
129 </property> |
|
130 <property name="value"> |
|
131 <number>100</number> |
|
132 </property> |
|
133 </widget> |
|
134 </item> |
|
135 <item> |
|
136 <spacer> |
|
137 <property name="orientation"> |
|
138 <enum>Qt::Horizontal</enum> |
|
139 </property> |
|
140 <property name="sizeType"> |
|
141 <enum>QSizePolicy::Expanding</enum> |
|
142 </property> |
|
143 <property name="sizeHint" stdset="0"> |
|
144 <size> |
|
145 <width>40</width> |
|
146 <height>20</height> |
|
147 </size> |
|
148 </property> |
|
149 </spacer> |
|
150 </item> |
|
151 </layout> |
|
152 </item> |
|
153 <item> |
|
154 <widget class="QGroupBox" name="groupBox_5"> |
|
155 <property name="title"> |
|
156 <string>Font</string> |
|
157 </property> |
|
158 <layout class="QGridLayout" name="gridLayout_2"> |
|
159 <item row="0" column="0"> |
|
160 <widget class="QPushButton" name="monospacedFontButton"> |
|
161 <property name="toolTip"> |
|
162 <string>Press to select the font to be used as the monospaced font</string> |
|
163 </property> |
|
164 <property name="text"> |
|
165 <string>Monospaced Font</string> |
|
166 </property> |
|
167 </widget> |
|
168 </item> |
|
169 <item row="0" column="1"> |
|
170 <widget class="QLineEdit" name="monospacedFontSample"> |
|
171 <property name="focusPolicy"> |
|
172 <enum>Qt::NoFocus</enum> |
|
173 </property> |
|
174 <property name="text"> |
|
175 <string>Monospaced Text</string> |
|
176 </property> |
|
177 <property name="alignment"> |
|
178 <set>Qt::AlignHCenter</set> |
|
179 </property> |
|
180 <property name="readOnly"> |
|
181 <bool>true</bool> |
|
182 </property> |
|
183 </widget> |
|
184 </item> |
|
185 <item row="0" column="2"> |
|
186 <widget class="QCheckBox" name="monospacedCheckBox"> |
|
187 <property name="toolTip"> |
|
188 <string>Select, whether the monospaced font should be used as default</string> |
|
189 </property> |
|
190 <property name="text"> |
|
191 <string>Use monospaced as default</string> |
|
192 </property> |
|
193 </widget> |
|
194 </item> |
|
195 <item row="1" column="0"> |
|
196 <widget class="QPushButton" name="linenumbersFontButton"> |
|
197 <property name="toolTip"> |
|
198 <string>Press to select the font for the line numbers</string> |
|
199 </property> |
|
200 <property name="text"> |
|
201 <string>Line Numbers Font</string> |
|
202 </property> |
|
203 </widget> |
|
204 </item> |
|
205 <item row="1" column="1"> |
|
206 <widget class="QLineEdit" name="marginsFontSample"> |
|
207 <property name="minimumSize"> |
|
208 <size> |
|
209 <width>200</width> |
|
210 <height>0</height> |
|
211 </size> |
|
212 </property> |
|
213 <property name="focusPolicy"> |
|
214 <enum>Qt::NoFocus</enum> |
|
215 </property> |
|
216 <property name="text"> |
|
217 <string>2345</string> |
|
218 </property> |
|
219 <property name="alignment"> |
|
220 <set>Qt::AlignHCenter</set> |
|
221 </property> |
|
222 <property name="readOnly"> |
|
223 <bool>true</bool> |
|
224 </property> |
|
225 </widget> |
|
226 </item> |
|
227 </layout> |
|
228 </widget> |
|
229 </item> |
|
230 <item> |
|
231 <widget class="QGroupBox" name="shellGroup"> |
|
232 <property name="title"> |
|
233 <string>Shell</string> |
|
234 </property> |
|
235 <layout class="QGridLayout" name="gridLayout"> |
|
236 <item row="0" column="0"> |
|
237 <widget class="QLabel" name="label"> |
|
238 <property name="text"> |
|
239 <string>Shell command:</string> |
|
240 </property> |
|
241 </widget> |
|
242 </item> |
|
243 <item row="0" column="1"> |
|
244 <widget class="QComboBox" name="shellCombo"> |
|
245 <property name="sizePolicy"> |
|
246 <sizepolicy hsizetype="Expanding" vsizetype="Fixed"> |
|
247 <horstretch>0</horstretch> |
|
248 <verstretch>0</verstretch> |
|
249 </sizepolicy> |
|
250 </property> |
|
251 <property name="toolTip"> |
|
252 <string>Enter the shell to be used</string> |
|
253 </property> |
|
254 <property name="editable"> |
|
255 <bool>true</bool> |
|
256 </property> |
|
257 </widget> |
|
258 </item> |
|
259 <item row="1" column="0" colspan="2"> |
|
260 <widget class="QCheckBox" name="interactiveCheckBox"> |
|
261 <property name="toolTip"> |
|
262 <string>Select to start an interactive shell</string> |
|
263 </property> |
|
264 <property name="text"> |
|
265 <string>Interactive Shell</string> |
|
266 </property> |
|
267 </widget> |
|
268 </item> |
|
269 </layout> |
|
270 </widget> |
|
271 </item> |
|
272 <item> |
|
273 <spacer> |
|
274 <property name="orientation"> |
|
275 <enum>Qt::Vertical</enum> |
|
276 </property> |
|
277 <property name="sizeHint" stdset="0"> |
|
278 <size> |
|
279 <width>20</width> |
|
280 <height>40</height> |
|
281 </size> |
|
282 </property> |
|
283 </spacer> |
|
284 </item> |
|
285 </layout> |
|
286 </widget> |
|
287 <tabstops> |
|
288 <tabstop>linenowidthSlider</tabstop> |
|
289 <tabstop>linenoCheckBox</tabstop> |
|
290 <tabstop>syntaxHighlightingCheckBox</tabstop> |
|
291 <tabstop>historySpinBox</tabstop> |
|
292 <tabstop>monospacedFontButton</tabstop> |
|
293 <tabstop>monospacedCheckBox</tabstop> |
|
294 <tabstop>linenumbersFontButton</tabstop> |
|
295 <tabstop>shellCombo</tabstop> |
|
296 <tabstop>interactiveCheckBox</tabstop> |
|
297 </tabstops> |
|
298 <resources/> |
|
299 <connections> |
|
300 <connection> |
|
301 <sender>linenowidthSlider</sender> |
|
302 <signal>valueChanged(int)</signal> |
|
303 <receiver>linenowidthLCD</receiver> |
|
304 <slot>display(int)</slot> |
|
305 <hints> |
|
306 <hint type="sourcelabel"> |
|
307 <x>209</x> |
|
308 <y>74</y> |
|
309 </hint> |
|
310 <hint type="destinationlabel"> |
|
311 <x>366</x> |
|
312 <y>73</y> |
|
313 </hint> |
|
314 </hints> |
|
315 </connection> |
|
316 </connections> |
|
317 </ui> |
|