Preferences/ConfigurationPages/ShellPage.ui

changeset 0
de9c2efb9d02
child 2102
a9218946b0bd
equal deleted inserted replaced
-1:000000000000 0:de9c2efb9d02
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>&lt;b&gt;Configure Shell&lt;/b&gt;</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>

eric ide

mercurial