1 <?xml version=
"1.0" encoding=
"UTF-8" standalone=
"no"?>
2 <!DOCTYPE glade-interface SYSTEM
"glade-2.0.dtd">
5 <widget class=
"GtkDialog" id=
"execute_dialog">
6 <property name=
"title" translatable=
"yes">Select Program
</property>
7 <property name=
"window_position">GTK_WIN_POS_CENTER_ON_PARENT
</property>
8 <property name=
"default_width">400</property>
9 <property name=
"default_height">300</property>
10 <property name=
"type_hint">GDK_WINDOW_TYPE_HINT_NORMAL
</property>
11 <child internal-child=
"vbox">
12 <widget class=
"GtkVBox" id=
"dialog-vbox5">
13 <property name=
"visible">True
</property>
14 <property name=
"spacing">5</property>
16 <widget class=
"GtkFrame" id=
"frame1">
17 <property name=
"visible">True
</property>
18 <property name=
"border_width">5</property>
19 <property name=
"label_xalign">0</property>
20 <property name=
"label_yalign">0</property>
21 <property name=
"shadow_type">GTK_SHADOW_NONE
</property>
23 <widget class=
"GtkVBox" id=
"vbox1">
24 <property name=
"visible">True
</property>
26 <widget class=
"GtkScrolledWindow" id=
"treeview_frame">
27 <property name=
"visible">True
</property>
28 <property name=
"can_focus">True
</property>
29 <property name=
"border_width">5</property>
30 <property name=
"hscrollbar_policy">GTK_POLICY_AUTOMATIC
</property>
31 <property name=
"vscrollbar_policy">GTK_POLICY_AUTOMATIC
</property>
32 <property name=
"shadow_type">GTK_SHADOW_IN
</property>
34 <widget class=
"GtkTreeView" id=
"programs_treeview">
35 <property name=
"visible">True
</property>
36 <property name=
"can_focus">True
</property>
42 <widget class=
"GtkHBox" id=
"hbox27">
43 <property name=
"visible">True
</property>
45 <widget class=
"GtkLabel" id=
"label3">
46 <property name=
"visible">True
</property>
47 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
48 <property name=
"label" translatable=
"yes">Arguments:
</property>
51 <property name=
"expand">False
</property>
55 <widget class=
"GtkEntry" id=
"program_arguments">
56 <property name=
"visible">True
</property>
57 <property name=
"can_focus">True
</property>
58 <property name=
"activates_default">True
</property>
61 <property name=
"padding">5</property>
62 <property name=
"position">1</property>
67 <property name=
"expand">False
</property>
68 <property name=
"position">1</property>
72 <widget class=
"GtkCheckButton" id=
"program_run_in_terminal">
73 <property name=
"visible">True
</property>
74 <property name=
"can_focus">True
</property>
75 <property name=
"border_width">5</property>
76 <property name=
"label" translatable=
"yes">Run in terminal
</property>
77 <property name=
"use_underline">True
</property>
78 <property name=
"response_id">0</property>
79 <property name=
"draw_indicator">True
</property>
82 <property name=
"expand">False
</property>
83 <property name=
"fill">False
</property>
84 <property name=
"position">2</property>
90 <widget class=
"GtkLabel" id=
"label105">
91 <property name=
"visible">True
</property>
92 <property name=
"xalign">0</property>
93 <property name=
"yalign">0</property>
94 <property name=
"label" translatable=
"yes"><b
>Select Program to run:
</b
></property>
95 <property name=
"use_markup">True
</property>
98 <property name=
"type">label_item
</property>
103 <property name=
"position">2</property>
106 <child internal-child=
"action_area">
107 <widget class=
"GtkHButtonBox" id=
"dialog-action_area5">
108 <property name=
"visible">True
</property>
109 <property name=
"layout_style">GTK_BUTTONBOX_END
</property>
111 <widget class=
"GtkButton" id=
"cancelbutton2">
112 <property name=
"visible">True
</property>
113 <property name=
"can_focus">True
</property>
114 <property name=
"can_default">True
</property>
115 <property name=
"label">gtk-cancel
</property>
116 <property name=
"use_stock">True
</property>
117 <property name=
"response_id">-
6</property>
121 <widget class=
"GtkButton" id=
"okbutton3">
122 <property name=
"visible">True
</property>
123 <property name=
"can_focus">True
</property>
124 <property name=
"has_focus">True
</property>
125 <property name=
"can_default">True
</property>
126 <property name=
"has_default">True
</property>
127 <property name=
"label">gtk-ok
</property>
128 <property name=
"use_stock">True
</property>
129 <property name=
"response_id">-
5</property>
132 <property name=
"position">1</property>
137 <property name=
"expand">False
</property>
138 <property name=
"pack_type">GTK_PACK_END
</property>
144 <widget class=
"GtkWindow" id=
"preferences_dialog_build">
145 <property name=
"title" translatable=
"yes">window1
</property>
147 <widget class=
"GtkFrame" id=
"Build">
148 <property name=
"visible">True
</property>
149 <property name=
"border_width">10</property>
150 <property name=
"label_xalign">0</property>
151 <property name=
"label_yalign">0</property>
152 <property name=
"shadow_type">GTK_SHADOW_NONE
</property>
154 <widget class=
"GtkAlignment" id=
"alignment1">
155 <property name=
"visible">True
</property>
156 <property name=
"xalign">0</property>
157 <property name=
"yalign">0</property>
158 <property name=
"left_padding">12</property>
160 <widget class=
"GtkVBox" id=
"vbox2">
161 <property name=
"visible">True
</property>
163 <widget class=
"GtkVBox" id=
"vbox3">
164 <property name=
"visible">True
</property>
166 <widget class=
"GtkCheckButton" id=
"preferences_toggle:bool:0:0:indicators.automatic">
167 <property name=
"visible">True
</property>
168 <property name=
"can_focus">True
</property>
169 <property name=
"border_width">5</property>
170 <property name=
"label" translatable=
"yes">Highlight build message locations in editor
</property>
171 <property name=
"use_underline">True
</property>
172 <property name=
"response_id">0</property>
173 <property name=
"draw_indicator">True
</property>
176 <property name=
"expand">False
</property>
177 <property name=
"fill">False
</property>
181 <widget class=
"GtkHBox" id=
"hbox28">
182 <property name=
"visible">True
</property>
184 <widget class=
"GtkCheckButton" id=
"preferences_toggle:bool:0:0:build.install.root">
185 <property name=
"visible">True
</property>
186 <property name=
"can_focus">True
</property>
187 <property name=
"border_width">5</property>
188 <property name=
"label" translatable=
"yes">Install as root:
</property>
189 <property name=
"use_underline">True
</property>
190 <property name=
"response_id">0</property>
191 <property name=
"draw_indicator">True
</property>
194 <property name=
"expand">False
</property>
195 <property name=
"fill">False
</property>
199 <widget class=
"GtkEntry" id=
"preferences_entry:text:sudo:0:build.install.root.command">
200 <property name=
"visible">True
</property>
201 <property name=
"can_focus">True
</property>
204 <property name=
"expand">False
</property>
205 <property name=
"fill">False
</property>
206 <property name=
"position">1</property>
211 <property name=
"expand">False
</property>
212 <property name=
"fill">False
</property>
213 <property name=
"position">1</property>
217 <widget class=
"GtkHBox" id=
"hbox1">
218 <property name=
"visible">True
</property>
227 <property name=
"position">2</property>
231 <widget class=
"GtkFrame" id=
"sb_frame">
232 <property name=
"visible">True
</property>
233 <property name=
"label_xalign">0</property>
234 <property name=
"shadow_type">GTK_SHADOW_NONE
</property>
236 <widget class=
"GtkAlignment" id=
"alignment2">
237 <property name=
"visible">True
</property>
238 <property name=
"left_padding">12</property>
240 <widget class=
"GtkTable" id=
"table1">
241 <property name=
"visible">True
</property>
242 <property name=
"n_rows">2</property>
243 <property name=
"n_columns">2</property>
244 <property name=
"column_spacing">12</property>
245 <property name=
"row_spacing">12</property>
247 <widget class=
"GtkCheckButton" id=
"preferences_toggle:bool:0:0:build.use_scratchbox">
248 <property name=
"visible">True
</property>
249 <property name=
"label" translatable=
"yes">Use scratchbox
</property>
250 <property name=
"use_underline">True
</property>
251 <property name=
"response_id">0</property>
252 <property name=
"draw_indicator">True
</property>
255 <property name=
"right_attach">2</property>
259 <widget class=
"GtkEntry" id=
"preferences_entry:text:/scratchbox:0:build.scratchbox.path">
260 <property name=
"visible">True
</property>
261 <property name=
"editable">False
</property>
264 <property name=
"left_attach">1</property>
265 <property name=
"right_attach">2</property>
266 <property name=
"top_attach">1</property>
267 <property name=
"bottom_attach">2</property>
271 <widget class=
"GtkLabel" id=
"label2">
272 <property name=
"visible">True
</property>
273 <property name=
"xpad">5</property>
274 <property name=
"label" translatable=
"yes">Path:
</property>
277 <property name=
"top_attach">1</property>
278 <property name=
"bottom_attach">2</property>
279 <property name=
"x_options"></property>
280 <property name=
"y_options"></property>
288 <widget class=
"GtkLabel" id=
"label1">
289 <property name=
"visible">True
</property>
290 <property name=
"ypad">5</property>
291 <property name=
"label" translatable=
"yes"><b
>Scratchbox Options
</b
></property>
292 <property name=
"use_markup">True
</property>
295 <property name=
"type">label_item
</property>
300 <property name=
"padding">12</property>
301 <property name=
"position">3</property>
306 <property name=
"expand">False
</property>
307 <property name=
"fill">False
</property>
315 <widget class=
"GtkLabel" id=
"label106">
316 <property name=
"visible">True
</property>
317 <property name=
"xalign">0</property>
318 <property name=
"yalign">0</property>
319 <property name=
"label" translatable=
"yes"><b
>Build
</b
></property>
320 <property name=
"use_markup">True
</property>
323 <property name=
"type">label_item
</property>
329 <widget class=
"GtkDialog" id=
"configure_dialog">
330 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
331 <property name=
"border_width">5</property>
332 <property name=
"title">configure_dialog
</property>
333 <property name=
"window_position">GTK_WIN_POS_CENTER_ON_PARENT
</property>
334 <property name=
"default_width">450</property>
335 <property name=
"type_hint">GDK_WINDOW_TYPE_HINT_DIALOG
</property>
336 <property name=
"has_separator">False
</property>
337 <child internal-child=
"vbox">
338 <widget class=
"GtkVBox" id=
"dialog-vbox2">
339 <property name=
"visible">True
</property>
340 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
341 <property name=
"spacing">2</property>
343 <widget class=
"GtkVBox" id=
"vbox4">
344 <property name=
"visible">True
</property>
345 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
347 <widget class=
"GtkFrame" id=
"frame2">
348 <property name=
"visible">True
</property>
349 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
350 <property name=
"label_xalign">0</property>
351 <property name=
"shadow_type">GTK_SHADOW_NONE
</property>
353 <widget class=
"GtkAlignment" id=
"alignment3">
354 <property name=
"visible">True
</property>
355 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
356 <property name=
"left_padding">12</property>
358 <widget class=
"GtkComboBoxEntry" id=
"build_options_combo">
359 <property name=
"visible">True
</property>
360 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
361 <child internal-child=
"entry">
362 <widget class=
"GtkEntry" id=
"comboboxentry-entry1">
363 <property name=
"visible">True
</property>
364 <property name=
"can_focus">True
</property>
365 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
373 <widget class=
"GtkLabel" id=
"label4">
374 <property name=
"visible">True
</property>
375 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
376 <property name=
"label" translatable=
"yes"><b
>Build Options:
</b
></property>
377 <property name=
"use_markup">True
</property>
380 <property name=
"type">label_item
</property>
386 <widget class=
"GtkFrame" id=
"frame3">
387 <property name=
"visible">True
</property>
388 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
389 <property name=
"label_xalign">0</property>
390 <property name=
"shadow_type">GTK_SHADOW_NONE
</property>
392 <widget class=
"GtkAlignment" id=
"alignment4">
393 <property name=
"visible">True
</property>
394 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
395 <property name=
"left_padding">12</property>
397 <widget class=
"GtkEntry" id=
"configure_args_entry">
398 <property name=
"visible">True
</property>
399 <property name=
"can_focus">True
</property>
400 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
406 <widget class=
"GtkLabel" id=
"label5">
407 <property name=
"visible">True
</property>
408 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
409 <property name=
"label" translatable=
"yes"><b
>Configure Options:
</b
></property>
410 <property name=
"use_markup">True
</property>
413 <property name=
"type">label_item
</property>
418 <property name=
"position">1</property>
423 <property name=
"position">1</property>
426 <child internal-child=
"action_area">
427 <widget class=
"GtkHButtonBox" id=
"dialog-action_area2">
428 <property name=
"visible">True
</property>
429 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
430 <property name=
"layout_style">GTK_BUTTONBOX_END
</property>
432 <widget class=
"GtkButton" id=
"button2">
433 <property name=
"visible">True
</property>
434 <property name=
"can_focus">True
</property>
435 <property name=
"receives_default">True
</property>
436 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
437 <property name=
"label" translatable=
"yes">gtk-cancel
</property>
438 <property name=
"use_stock">True
</property>
439 <property name=
"response_id">-
6</property>
443 <widget class=
"GtkButton" id=
"button1">
444 <property name=
"visible">True
</property>
445 <property name=
"can_focus">True
</property>
446 <property name=
"receives_default">True
</property>
447 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
448 <property name=
"label" translatable=
"yes">gtk-apply
</property>
449 <property name=
"use_stock">True
</property>
450 <property name=
"response_id">-
5</property>
453 <property name=
"position">1</property>
458 <property name=
"expand">False
</property>
459 <property name=
"pack_type">GTK_PACK_END
</property>