Preferences/ConfigurationPages/TerminalPage.ui

branch
5_3_x
changeset 2475
c74e1cff7f3f
parent 2473
c9f484ea061b
child 2477
5d706fb30a10
equal deleted inserted replaced
2473:c9f484ea061b 2475:c74e1cff7f3f
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>&lt;b&gt;Configure Terminal&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="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>

eric ide

mercurial