168 </property> |
168 </property> |
169 <property name="sizeHint" stdset="0"> |
169 <property name="sizeHint" stdset="0"> |
170 <size> |
170 <size> |
171 <width>40</width> |
171 <width>40</width> |
172 <height>20</height> |
172 <height>20</height> |
|
173 </size> |
|
174 </property> |
|
175 </spacer> |
|
176 </item> |
|
177 </layout> |
|
178 </widget> |
|
179 <widget class="QWidget" name="tab_3"> |
|
180 <attribute name="title"> |
|
181 <string>Code editor</string> |
|
182 </attribute> |
|
183 <layout class="QVBoxLayout" name="verticalLayout_6"> |
|
184 <item> |
|
185 <widget class="QGroupBox" name="groupBox_3"> |
|
186 <property name="title"> |
|
187 <string>Editor font</string> |
|
188 </property> |
|
189 <layout class="QVBoxLayout" name="verticalLayout_5"> |
|
190 <item> |
|
191 <widget class="QCheckBox" name="codeEditorSystemFont"> |
|
192 <property name="text"> |
|
193 <string>Use system font</string> |
|
194 </property> |
|
195 </widget> |
|
196 </item> |
|
197 <item> |
|
198 <layout class="QHBoxLayout" name="horizontalLayout_2" stretch="1,0"> |
|
199 <item> |
|
200 <widget class="QFontComboBox" name="codeEditorFontFamily"> |
|
201 <property name="fontFilters"> |
|
202 <set>QFontComboBox::MonospacedFonts</set> |
|
203 </property> |
|
204 </widget> |
|
205 </item> |
|
206 <item> |
|
207 <widget class="QSpinBox" name="codeEditorFontSize"> |
|
208 <property name="suffix"> |
|
209 <string>pt</string> |
|
210 </property> |
|
211 <property name="minimum"> |
|
212 <number>4</number> |
|
213 </property> |
|
214 <property name="maximum"> |
|
215 <number>100</number> |
|
216 </property> |
|
217 </widget> |
|
218 </item> |
|
219 </layout> |
|
220 </item> |
|
221 </layout> |
|
222 </widget> |
|
223 </item> |
|
224 <item> |
|
225 <spacer name="verticalSpacer_3"> |
|
226 <property name="orientation"> |
|
227 <enum>Qt::Vertical</enum> |
|
228 </property> |
|
229 <property name="sizeHint" stdset="0"> |
|
230 <size> |
|
231 <width>20</width> |
|
232 <height>263</height> |
173 </size> |
233 </size> |
174 </property> |
234 </property> |
175 </spacer> |
235 </spacer> |
176 </item> |
236 </item> |
177 </layout> |
237 </layout> |