?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Replaced Glade with GtkBuilder
[zeroinstall/zeroinstall-rsl.git] / zeroinstall / 0launch-gui / zero-install.ui
blob2e57d4254aa0e0972b3700b23f5ccdddb9e15a0b
1 <?xml version="1.0"?>
2 <interface>
3 <requires lib="gtk+" version="2.16"/>
4 <!-- interface-naming-policy toplevel-contextual -->
5 <object class="GtkListStore" id="liststore1">
6 <columns>
7 <!-- column-name gchararray1 -->
8 <column type="gchararray"/>
9 </columns>
10 <data>
11 <row>
12 <col id="0" translatable="yes">Use default setting</col>
13 </row>
14 <row>
15 <col id="0" translatable="yes">Stable</col>
16 </row>
17 <row>
18 <col id="0" translatable="yes">Testing</col>
19 </row>
20 <row>
21 <col id="0" translatable="yes">Developer</col>
22 </row>
23 </data>
24 </object>
25 <object class="GtkListStore" id="liststore2">
26 <columns>
27 <!-- column-name gchararray1 -->
28 <column type="gchararray"/>
29 </columns>
30 <data>
31 <row>
32 <col id="0" translatable="yes">Off-line</col>
33 </row>
34 <row>
35 <col id="0" translatable="yes">Minimal</col>
36 </row>
37 <row>
38 <col id="0" translatable="yes">Full</col>
39 </row>
40 </data>
41 </object>
42 <object class="GtkListStore" id="liststore3">
43 <columns>
44 <!-- column-name gchararray1 -->
45 <column type="gchararray"/>
46 </columns>
47 </object>
48 <object class="GtkDialog" id="main">
49 <property name="title" translatable="yes">Zero Install</property>
50 <property name="type_hint">dialog</property>
51 <property name="has_separator">False</property>
52 <child internal-child="vbox">
53 <object class="GtkVBox" id="dialog-vbox1">
54 <property name="visible">True</property>
55 <child>
56 <object class="GtkVBox" id="vbox1">
57 <property name="visible">True</property>
58 <property name="border_width">4</property>
59 <child>
60 <object class="GtkLabel" id="comment">
61 <property name="xalign">0</property>
62 <property name="ellipsize">end</property>
63 </object>
64 <packing>
65 <property name="expand">False</property>
66 <property name="fill">False</property>
67 <property name="position">0</property>
68 </packing>
69 </child>
70 <child>
71 <object class="GtkScrolledWindow" id="scrolledwindow1">
72 <property name="visible">True</property>
73 <property name="can_focus">True</property>
74 <property name="hscrollbar_policy">automatic</property>
75 <property name="shadow_type">in</property>
76 <child>
77 <object class="GtkTreeView" id="components">
78 <property name="visible">True</property>
79 <property name="can_focus">True</property>
80 </object>
81 </child>
82 </object>
83 <packing>
84 <property name="padding">4</property>
85 <property name="position">1</property>
86 </packing>
87 </child>
88 <child>
89 <object class="GtkHBox" id="hbox5">
90 <property name="visible">True</property>
91 <property name="spacing">4</property>
92 <child>
93 <object class="GtkButton" id="refresh">
94 <property name="visible">True</property>
95 <property name="can_focus">True</property>
96 <property name="receives_default">False</property>
97 <property name="tooltip_text" translatable="yes">Check all the components for updates.</property>
98 <child>
99 <object class="GtkAlignment" id="alignment2">
100 <property name="visible">True</property>
101 <property name="xscale">0</property>
102 <property name="yscale">0</property>
103 <child>
104 <object class="GtkHBox" id="hbox3">
105 <property name="visible">True</property>
106 <property name="spacing">2</property>
107 <child>
108 <object class="GtkImage" id="image2">
109 <property name="visible">True</property>
110 <property name="stock">gtk-refresh</property>
111 </object>
112 <packing>
113 <property name="expand">False</property>
114 <property name="fill">False</property>
115 <property name="position">0</property>
116 </packing>
117 </child>
118 <child>
119 <object class="GtkLabel" id="label">
120 <property name="visible">True</property>
121 <property name="label" translatable="yes">Re_fresh all now</property>
122 <property name="use_underline">True</property>
123 </object>
124 <packing>
125 <property name="expand">False</property>
126 <property name="fill">False</property>
127 <property name="position">1</property>
128 </packing>
129 </child>
130 </object>
131 </child>
132 </object>
133 </child>
134 </object>
135 <packing>
136 <property name="expand">False</property>
137 <property name="fill">False</property>
138 <property name="position">0</property>
139 </packing>
140 </child>
141 <child>
142 <object class="GtkHBox" id="progress_area">
143 <child>
144 <object class="GtkProgressBar" id="progress">
145 <property name="visible">True</property>
146 <property name="pulse_step">0.10000000149</property>
147 </object>
148 <packing>
149 <property name="padding">4</property>
150 <property name="position">0</property>
151 </packing>
152 </child>
153 <child>
154 <object class="GtkButton" id="stop">
155 <property name="label">gtk-stop</property>
156 <property name="visible">True</property>
157 <property name="can_focus">True</property>
158 <property name="receives_default">False</property>
159 <property name="use_stock">True</property>
160 </object>
161 <packing>
162 <property name="expand">False</property>
163 <property name="fill">False</property>
164 <property name="position">1</property>
165 </packing>
166 </child>
167 </object>
168 <packing>
169 <property name="position">1</property>
170 </packing>
171 </child>
172 </object>
173 <packing>
174 <property name="expand">False</property>
175 <property name="position">2</property>
176 </packing>
177 </child>
178 </object>
179 <packing>
180 <property name="position">1</property>
181 </packing>
182 </child>
183 <child internal-child="action_area">
184 <object class="GtkHButtonBox" id="dialog-action_area1">
185 <property name="visible">True</property>
186 <property name="layout_style">end</property>
187 <child>
188 <object class="GtkButton" id="helpbutton1">
189 <property name="label">gtk-help</property>
190 <property name="visible">True</property>
191 <property name="can_focus">True</property>
192 <property name="can_default">True</property>
193 <property name="receives_default">False</property>
194 <property name="use_stock">True</property>
195 </object>
196 <packing>
197 <property name="expand">False</property>
198 <property name="fill">False</property>
199 <property name="position">0</property>
200 </packing>
201 </child>
202 <child>
203 <object class="GtkButton" id="preferences">
204 <property name="label">gtk-preferences</property>
205 <property name="visible">True</property>
206 <property name="can_focus">True</property>
207 <property name="can_default">True</property>
208 <property name="receives_default">False</property>
209 <property name="use_stock">True</property>
210 </object>
211 <packing>
212 <property name="expand">False</property>
213 <property name="fill">False</property>
214 <property name="position">1</property>
215 </packing>
216 </child>
217 <child>
218 <object class="GtkButton" id="button2">
219 <property name="label">gtk-cancel</property>
220 <property name="visible">True</property>
221 <property name="can_focus">True</property>
222 <property name="can_default">True</property>
223 <property name="receives_default">False</property>
224 <property name="use_stock">True</property>
225 </object>
226 <packing>
227 <property name="expand">False</property>
228 <property name="fill">False</property>
229 <property name="position">2</property>
230 </packing>
231 </child>
232 </object>
233 <packing>
234 <property name="expand">False</property>
235 <property name="pack_type">end</property>
236 <property name="position">0</property>
237 </packing>
238 </child>
239 </object>
240 </child>
241 <action-widgets>
242 <action-widget response="-11">helpbutton1</action-widget>
243 <action-widget response="0">preferences</action-widget>
244 <action-widget response="-6">button2</action-widget>
245 </action-widgets>
246 </object>
247 <object class="GtkDialog" id="preferences_box">
248 <property name="title" translatable="yes">Zero Install Preferences</property>
249 <property name="type_hint">dialog</property>
250 <property name="has_separator">False</property>
251 <child internal-child="vbox">
252 <object class="GtkVBox" id="dialog-vbox2">
253 <property name="visible">True</property>
254 <child>
255 <object class="GtkVBox" id="vbox2">
256 <property name="visible">True</property>
257 <property name="border_width">8</property>
258 <property name="spacing">12</property>
259 <child>
260 <object class="GtkFrame" id="frame1">
261 <property name="visible">True</property>
262 <property name="label_xalign">0</property>
263 <property name="shadow_type">none</property>
264 <child>
265 <object class="GtkAlignment" id="alignment6">
266 <property name="visible">True</property>
267 <property name="left_padding">12</property>
268 <child>
269 <object class="GtkVBox" id="vbox3">
270 <property name="visible">True</property>
271 <property name="spacing">2</property>
272 <child>
273 <object class="GtkTable" id="table1">
274 <property name="visible">True</property>
275 <property name="n_rows">2</property>
276 <property name="n_columns">2</property>
277 <property name="row_spacing">4</property>
278 <child>
279 <object class="GtkLabel" id="label10">
280 <property name="visible">True</property>
281 <property name="xalign">1</property>
282 <property name="label" translatable="yes">Network use: </property>
283 </object>
284 <packing>
285 <property name="x_options">GTK_FILL</property>
286 <property name="y_options"></property>
287 </packing>
288 </child>
289 <child>
290 <object class="GtkLabel" id="label11">
291 <property name="visible">True</property>
292 <property name="xalign">1</property>
293 <property name="label" translatable="yes">Freshness: </property>
294 </object>
295 <packing>
296 <property name="top_attach">1</property>
297 <property name="bottom_attach">2</property>
298 <property name="x_options">GTK_FILL</property>
299 <property name="y_options"></property>
300 </packing>
301 </child>
302 <child>
303 <object class="GtkEventBox" id="eventbox1">
304 <property name="visible">True</property>
305 <property name="tooltip_text" translatable="yes">This controls whether Zero Install will always try to run the best version, downloading it if needed, or whether it will prefer to run an older version that is already on your machine.</property>
306 <child>
307 <object class="GtkComboBox" id="network_use">
308 <property name="visible">True</property>
309 <property name="model">liststore2</property>
310 <child>
311 <object class="GtkCellRendererText" id="cellrenderertext1"/>
312 <attributes>
313 <attribute name="text">0</attribute>
314 </attributes>
315 </child>
316 </object>
317 </child>
318 </object>
319 <packing>
320 <property name="left_attach">1</property>
321 <property name="right_attach">2</property>
322 <property name="y_options">GTK_FILL</property>
323 </packing>
324 </child>
325 <child>
326 <object class="GtkEventBox" id="eventbox2">
327 <property name="visible">True</property>
328 <property name="tooltip_text" translatable="yes">If you run a program which hasn't been checked for this long, then Zero Install will check for updates (in the background, while the old version is actually run).</property>
329 <child>
330 <object class="GtkComboBox" id="freshness">
331 <property name="visible">True</property>
332 <property name="model">liststore3</property>
333 <child>
334 <object class="GtkCellRendererText" id="cellrenderertext2"/>
335 <attributes>
336 <attribute name="text">0</attribute>
337 </attributes>
338 </child>
339 </object>
340 </child>
341 </object>
342 <packing>
343 <property name="left_attach">1</property>
344 <property name="right_attach">2</property>
345 <property name="top_attach">1</property>
346 <property name="bottom_attach">2</property>
347 <property name="x_options">GTK_FILL</property>
348 <property name="y_options">GTK_FILL</property>
349 </packing>
350 </child>
351 </object>
352 <packing>
353 <property name="padding">2</property>
354 <property name="position">0</property>
355 </packing>
356 </child>
357 <child>
358 <object class="GtkCheckButton" id="help_test">
359 <property name="label" translatable="yes">Help test new versions</property>
360 <property name="visible">True</property>
361 <property name="can_focus">True</property>
362 <property name="receives_default">False</property>
363 <property name="tooltip_text" translatable="yes">Try out new versions as soon as they are available, instead of waiting for them to be marked as 'stable'. This sets the default policy. Click on 'Interface Properties...' to set the policy for an individual interface.</property>
364 <property name="use_underline">True</property>
365 <property name="draw_indicator">True</property>
366 </object>
367 <packing>
368 <property name="expand">False</property>
369 <property name="fill">False</property>
370 <property name="position">1</property>
371 </packing>
372 </child>
373 </object>
374 </child>
375 </object>
376 </child>
377 <child type="label">
378 <object class="GtkLabel" id="label8">
379 <property name="visible">True</property>
380 <property name="label" translatable="yes">Policy settings</property>
381 <attributes>
382 <attribute name="weight" value="bold"/>
383 </attributes>
384 </object>
385 </child>
386 </object>
387 <packing>
388 <property name="expand">False</property>
389 <property name="position">0</property>
390 </packing>
391 </child>
392 <child>
393 <object class="GtkFrame" id="frame2">
394 <property name="visible">True</property>
395 <property name="label_xalign">0</property>
396 <property name="shadow_type">none</property>
397 <child>
398 <object class="GtkAlignment" id="alignment7">
399 <property name="visible">True</property>
400 <property name="left_padding">12</property>
401 <child>
402 <object class="GtkVBox" id="vbox4">
403 <property name="visible">True</property>
404 <child>
405 <object class="GtkLabel" id="label12">
406 <property name="visible">True</property>
407 <property name="xalign">0</property>
408 <property name="label" translatable="yes">You have said that you trust these keys to sign software updates:</property>
409 <attributes>
410 <attribute name="style" value="italic"/>
411 </attributes>
412 </object>
413 <packing>
414 <property name="expand">False</property>
415 <property name="fill">False</property>
416 <property name="padding">4</property>
417 <property name="position">0</property>
418 </packing>
419 </child>
420 <child>
421 <object class="GtkScrolledWindow" id="scrolledwindow2">
422 <property name="visible">True</property>
423 <property name="can_focus">True</property>
424 <property name="hscrollbar_policy">never</property>
425 <property name="shadow_type">in</property>
426 <child>
427 <object class="GtkTreeView" id="trusted_keys">
428 <property name="visible">True</property>
429 <property name="can_focus">True</property>
430 </object>
431 </child>
432 </object>
433 <packing>
434 <property name="position">1</property>
435 </packing>
436 </child>
437 </object>
438 </child>
439 </object>
440 </child>
441 <child type="label">
442 <object class="GtkLabel" id="label9">
443 <property name="visible">True</property>
444 <property name="label" translatable="yes">Security</property>
445 <attributes>
446 <attribute name="weight" value="bold"/>
447 </attributes>
448 </object>
449 </child>
450 </object>
451 <packing>
452 <property name="position">1</property>
453 </packing>
454 </child>
455 </object>
456 <packing>
457 <property name="position">1</property>
458 </packing>
459 </child>
460 <child internal-child="action_area">
461 <object class="GtkHButtonBox" id="dialog-action_area2">
462 <property name="visible">True</property>
463 <property name="layout_style">end</property>
464 <child>
465 <object class="GtkButton" id="helpbutton2">
466 <property name="label">gtk-help</property>
467 <property name="visible">True</property>
468 <property name="can_focus">True</property>
469 <property name="can_default">True</property>
470 <property name="receives_default">False</property>
471 <property name="use_stock">True</property>
472 </object>
473 <packing>
474 <property name="expand">False</property>
475 <property name="fill">False</property>
476 <property name="position">0</property>
477 </packing>
478 </child>
479 <child>
480 <object class="GtkButton" id="closebutton1">
481 <property name="label">gtk-close</property>
482 <property name="visible">True</property>
483 <property name="can_focus">True</property>
484 <property name="can_default">True</property>
485 <property name="receives_default">False</property>
486 <property name="use_stock">True</property>
487 </object>
488 <packing>
489 <property name="expand">False</property>
490 <property name="fill">False</property>
491 <property name="position">1</property>
492 </packing>
493 </child>
494 </object>
495 <packing>
496 <property name="expand">False</property>
497 <property name="pack_type">end</property>
498 <property name="position">0</property>
499 </packing>
500 </child>
501 </object>
502 </child>
503 <action-widgets>
504 <action-widget response="-11">helpbutton2</action-widget>
505 <action-widget response="-7">closebutton1</action-widget>
506 </action-widgets>
507 </object>
508 <object class="GtkDialog" id="interface_properties">
509 <property name="title" translatable="yes">Interface properties</property>
510 <property name="type_hint">dialog</property>
511 <child internal-child="vbox">
512 <object class="GtkVBox" id="dialog-vbox3">
513 <property name="visible">True</property>
514 <child>
515 <object class="GtkNotebook" id="interface_notebook">
516 <property name="visible">True</property>
517 <property name="can_focus">True</property>
518 <child>
519 <object class="GtkVPaned" id="vpaned1">
520 <property name="visible">True</property>
521 <property name="can_focus">True</property>
522 <child>
523 <object class="GtkHBox" id="hbox10">
524 <property name="visible">True</property>
525 <child>
526 <object class="GtkScrolledWindow" id="scrolledwindow4">
527 <property name="visible">True</property>
528 <property name="can_focus">True</property>
529 <property name="border_width">4</property>
530 <property name="hscrollbar_policy">never</property>
531 <property name="shadow_type">in</property>
532 <child>
533 <object class="GtkTreeView" id="feeds_list">
534 <property name="visible">True</property>
535 <property name="can_focus">True</property>
536 </object>
537 </child>
538 </object>
539 <packing>
540 <property name="position">0</property>
541 </packing>
542 </child>
543 <child>
544 <object class="GtkVBox" id="vbox5">
545 <property name="visible">True</property>
546 <property name="border_width">4</property>
547 <child>
548 <object class="GtkButton" id="add_remote_feed">
549 <property name="visible">True</property>
550 <property name="can_focus">True</property>
551 <property name="receives_default">False</property>
552 <child>
553 <object class="GtkAlignment" id="alignment9">
554 <property name="visible">True</property>
555 <property name="xscale">0</property>
556 <property name="yscale">0</property>
557 <child>
558 <object class="GtkHBox" id="hbox11">
559 <property name="visible">True</property>
560 <property name="spacing">2</property>
561 <child>
562 <object class="GtkImage" id="image7">
563 <property name="visible">True</property>
564 <property name="stock">gtk-add</property>
565 </object>
566 <packing>
567 <property name="expand">False</property>
568 <property name="fill">False</property>
569 <property name="position">0</property>
570 </packing>
571 </child>
572 <child>
573 <object class="GtkLabel" id="label16">
574 <property name="visible">True</property>
575 <property name="label" translatable="yes">Add remote feed</property>
576 <property name="use_underline">True</property>
577 </object>
578 <packing>
579 <property name="expand">False</property>
580 <property name="fill">False</property>
581 <property name="position">1</property>
582 </packing>
583 </child>
584 </object>
585 </child>
586 </object>
587 </child>
588 </object>
589 <packing>
590 <property name="expand">False</property>
591 <property name="fill">False</property>
592 <property name="position">0</property>
593 </packing>
594 </child>
595 <child>
596 <object class="GtkButton" id="add_local_feed">
597 <property name="visible">True</property>
598 <property name="can_focus">True</property>
599 <property name="receives_default">False</property>
600 <property name="tooltip_text" translatable="yes">If you have another implementation of this interface (e.g. a CVS checkout), you can add it to the list by registering the XML feed file that came with it.</property>
601 <child>
602 <object class="GtkAlignment" id="alignment10">
603 <property name="visible">True</property>
604 <property name="xscale">0</property>
605 <property name="yscale">0</property>
606 <child>
607 <object class="GtkHBox" id="hbox12">
608 <property name="visible">True</property>
609 <property name="spacing">2</property>
610 <child>
611 <object class="GtkImage" id="image8">
612 <property name="visible">True</property>
613 <property name="stock">gtk-add</property>
614 </object>
615 <packing>
616 <property name="expand">False</property>
617 <property name="fill">False</property>
618 <property name="position">0</property>
619 </packing>
620 </child>
621 <child>
622 <object class="GtkLabel" id="label17">
623 <property name="visible">True</property>
624 <property name="label" translatable="yes">Add local feed</property>
625 <property name="use_underline">True</property>
626 </object>
627 <packing>
628 <property name="expand">False</property>
629 <property name="fill">False</property>
630 <property name="position">1</property>
631 </packing>
632 </child>
633 </object>
634 </child>
635 </object>
636 </child>
637 </object>
638 <packing>
639 <property name="expand">False</property>
640 <property name="fill">False</property>
641 <property name="position">1</property>
642 </packing>
643 </child>
644 <child>
645 <object class="GtkButton" id="remove_feed">
646 <property name="visible">True</property>
647 <property name="can_focus">True</property>
648 <property name="receives_default">False</property>
649 <child>
650 <object class="GtkAlignment" id="alignment11">
651 <property name="visible">True</property>
652 <property name="xscale">0</property>
653 <property name="yscale">0</property>
654 <child>
655 <object class="GtkHBox" id="hbox13">
656 <property name="visible">True</property>
657 <property name="spacing">2</property>
658 <child>
659 <object class="GtkImage" id="image9">
660 <property name="visible">True</property>
661 <property name="stock">gtk-remove</property>
662 </object>
663 <packing>
664 <property name="expand">False</property>
665 <property name="fill">False</property>
666 <property name="position">0</property>
667 </packing>
668 </child>
669 <child>
670 <object class="GtkLabel" id="label18">
671 <property name="visible">True</property>
672 <property name="label" translatable="yes">Remove feed</property>
673 <property name="use_underline">True</property>
674 </object>
675 <packing>
676 <property name="expand">False</property>
677 <property name="fill">False</property>
678 <property name="position">1</property>
679 </packing>
680 </child>
681 </object>
682 </child>
683 </object>
684 </child>
685 </object>
686 <packing>
687 <property name="expand">False</property>
688 <property name="fill">False</property>
689 <property name="position">2</property>
690 </packing>
691 </child>
692 </object>
693 <packing>
694 <property name="expand">False</property>
695 <property name="position">1</property>
696 </packing>
697 </child>
698 </object>
699 <packing>
700 <property name="resize">False</property>
701 <property name="shrink">False</property>
702 </packing>
703 </child>
704 <child>
705 <object class="GtkScrolledWindow" id="scrolledwindow3">
706 <property name="visible">True</property>
707 <property name="can_focus">True</property>
708 <property name="border_width">4</property>
709 <property name="hscrollbar_policy">automatic</property>
710 <property name="shadow_type">in</property>
711 <child>
712 <object class="GtkTextView" id="description">
713 <property name="visible">True</property>
714 <property name="can_focus">True</property>
715 <property name="editable">False</property>
716 <property name="wrap_mode">word</property>
717 <property name="left_margin">4</property>
718 <property name="right_margin">4</property>
719 <property name="cursor_visible">False</property>
720 </object>
721 </child>
722 </object>
723 <packing>
724 <property name="resize">True</property>
725 <property name="shrink">True</property>
726 </packing>
727 </child>
728 </object>
729 </child>
730 <child type="tab">
731 <object class="GtkLabel" id="label14">
732 <property name="visible">True</property>
733 <property name="label" translatable="yes">Feeds</property>
734 </object>
735 <packing>
736 <property name="tab_fill">False</property>
737 </packing>
738 </child>
739 <child>
740 <object class="GtkVBox" id="vbox6">
741 <property name="visible">True</property>
742 <property name="border_width">4</property>
743 <property name="spacing">4</property>
744 <child>
745 <object class="GtkHBox" id="hbox14">
746 <property name="visible">True</property>
747 <child>
748 <object class="GtkLabel" id="label19">
749 <property name="visible">True</property>
750 <property name="label" translatable="yes">Preferred stability: </property>
751 </object>
752 <packing>
753 <property name="expand">False</property>
754 <property name="fill">False</property>
755 <property name="position">0</property>
756 </packing>
757 </child>
758 <child>
759 <object class="GtkEventBox" id="eventbox3">
760 <property name="visible">True</property>
761 <property name="tooltip_text" translatable="yes">Implementations at this stability level or higher will be used in preference to others. You can use this to override the global "Help test new versions" setting just for this interface.</property>
762 <child>
763 <object class="GtkComboBox" id="preferred_stability">
764 <property name="visible">True</property>
765 <property name="model">liststore1</property>
766 <child>
767 <object class="GtkCellRendererText" id="cellrenderertext1"/>
768 <attributes>
769 <attribute name="text">0</attribute>
770 </attributes>
771 </child>
772 </object>
773 </child>
774 </object>
775 <packing>
776 <property name="expand">False</property>
777 <property name="position">1</property>
778 </packing>
779 </child>
780 </object>
781 <packing>
782 <property name="expand">False</property>
783 <property name="position">0</property>
784 </packing>
785 </child>
786 <child>
787 <object class="GtkScrolledWindow" id="scrolledwindow5">
788 <property name="visible">True</property>
789 <property name="can_focus">True</property>
790 <property name="hscrollbar_policy">never</property>
791 <property name="shadow_type">in</property>
792 <child>
793 <object class="GtkTreeView" id="versions_list">
794 <property name="visible">True</property>
795 <property name="can_focus">True</property>
796 </object>
797 </child>
798 </object>
799 <packing>
800 <property name="position">1</property>
801 </packing>
802 </child>
803 </object>
804 <packing>
805 <property name="position">1</property>
806 </packing>
807 </child>
808 <child type="tab">
809 <object class="GtkLabel" id="label15">
810 <property name="visible">True</property>
811 <property name="label" translatable="yes">Versions</property>
812 </object>
813 <packing>
814 <property name="position">1</property>
815 <property name="tab_fill">False</property>
816 </packing>
817 </child>
818 </object>
819 <packing>
820 <property name="position">2</property>
821 </packing>
822 </child>
823 <child internal-child="action_area">
824 <object class="GtkHButtonBox" id="dialog-action_area3">
825 <property name="visible">True</property>
826 <property name="layout_style">end</property>
827 <child>
828 <object class="GtkButton" id="helpbutton3">
829 <property name="label">gtk-help</property>
830 <property name="visible">True</property>
831 <property name="can_focus">True</property>
832 <property name="can_default">True</property>
833 <property name="receives_default">False</property>
834 <property name="use_stock">True</property>
835 </object>
836 <packing>
837 <property name="expand">False</property>
838 <property name="fill">False</property>
839 <property name="position">0</property>
840 </packing>
841 </child>
842 <child>
843 <object class="GtkButton" id="compile">
844 <property name="visible">True</property>
845 <property name="can_focus">True</property>
846 <property name="can_default">True</property>
847 <property name="receives_default">False</property>
848 <child>
849 <object class="GtkAlignment" id="alignment8">
850 <property name="visible">True</property>
851 <property name="xscale">0</property>
852 <property name="yscale">0</property>
853 <child>
854 <object class="GtkHBox" id="hbox9">
855 <property name="visible">True</property>
856 <property name="spacing">2</property>
857 <child>
858 <object class="GtkImage" id="image6">
859 <property name="visible">True</property>
860 <property name="stock">gtk-convert</property>
861 </object>
862 <packing>
863 <property name="expand">False</property>
864 <property name="fill">False</property>
865 <property name="position">0</property>
866 </packing>
867 </child>
868 <child>
869 <object class="GtkLabel" id="label13">
870 <property name="visible">True</property>
871 <property name="label" translatable="yes">Compile</property>
872 <property name="use_underline">True</property>
873 </object>
874 <packing>
875 <property name="expand">False</property>
876 <property name="fill">False</property>
877 <property name="position">1</property>
878 </packing>
879 </child>
880 </object>
881 </child>
882 </object>
883 </child>
884 </object>
885 <packing>
886 <property name="expand">False</property>
887 <property name="fill">False</property>
888 <property name="position">1</property>
889 </packing>
890 </child>
891 <child>
892 <object class="GtkButton" id="button9">
893 <property name="label">gtk-close</property>
894 <property name="visible">True</property>
895 <property name="can_focus">True</property>
896 <property name="can_default">True</property>
897 <property name="receives_default">False</property>
898 <property name="use_stock">True</property>
899 </object>
900 <packing>
901 <property name="expand">False</property>
902 <property name="fill">False</property>
903 <property name="position">2</property>
904 </packing>
905 </child>
906 </object>
907 <packing>
908 <property name="expand">False</property>
909 <property name="pack_type">end</property>
910 <property name="position">0</property>
911 </packing>
912 </child>
913 </object>
914 </child>
915 <action-widgets>
916 <action-widget response="-11">helpbutton3</action-widget>
917 <action-widget response="0">compile</action-widget>
918 <action-widget response="-6">button9</action-widget>
919 </action-widgets>
920 </object>
921 </interface>