Need to check how proxies interact with pooling
[zeroinstall.git] / zeroinstall / 0launch-gui / zero-install.ui
bloba60ad92c1a7af67d83d060a3bb911a9cab7d8d06
1 <?xml version="1.0"?>
2 <interface>
3 <!-- interface-requires gtk+ 2.12 -->
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 <property name="orientation">vertical</property>
255 <child>
256 <object class="GtkVBox" id="vbox2">
257 <property name="visible">True</property>
258 <property name="border_width">8</property>
259 <property name="orientation">vertical</property>
260 <property name="spacing">12</property>
261 <child>
262 <object class="GtkFrame" id="frame1">
263 <property name="visible">True</property>
264 <property name="label_xalign">0</property>
265 <property name="shadow_type">none</property>
266 <child>
267 <object class="GtkAlignment" id="alignment6">
268 <property name="visible">True</property>
269 <property name="left_padding">12</property>
270 <child>
271 <object class="GtkVBox" id="vbox3">
272 <property name="visible">True</property>
273 <property name="orientation">vertical</property>
274 <property name="spacing">2</property>
275 <child>
276 <object class="GtkTable" id="table1">
277 <property name="visible">True</property>
278 <property name="n_rows">2</property>
279 <property name="n_columns">2</property>
280 <property name="row_spacing">4</property>
281 <child>
282 <object class="GtkLabel" id="label10">
283 <property name="visible">True</property>
284 <property name="xalign">1</property>
285 <property name="label" translatable="yes">Network use: </property>
286 </object>
287 <packing>
288 <property name="x_options">GTK_FILL</property>
289 <property name="y_options"></property>
290 </packing>
291 </child>
292 <child>
293 <object class="GtkLabel" id="label11">
294 <property name="visible">True</property>
295 <property name="xalign">1</property>
296 <property name="label" translatable="yes">Freshness: </property>
297 </object>
298 <packing>
299 <property name="top_attach">1</property>
300 <property name="bottom_attach">2</property>
301 <property name="x_options">GTK_FILL</property>
302 <property name="y_options"></property>
303 </packing>
304 </child>
305 <child>
306 <object class="GtkEventBox" id="eventbox1">
307 <property name="visible">True</property>
308 <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>
309 <child>
310 <object class="GtkComboBox" id="network_use">
311 <property name="visible">True</property>
312 <property name="model">liststore2</property>
313 <child>
314 <object class="GtkCellRendererText" id="cellrenderertext1"/>
315 <attributes>
316 <attribute name="text">0</attribute>
317 </attributes>
318 </child>
319 </object>
320 </child>
321 </object>
322 <packing>
323 <property name="left_attach">1</property>
324 <property name="right_attach">2</property>
325 <property name="y_options">GTK_FILL</property>
326 </packing>
327 </child>
328 <child>
329 <object class="GtkEventBox" id="eventbox2">
330 <property name="visible">True</property>
331 <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>
332 <child>
333 <object class="GtkComboBox" id="freshness">
334 <property name="visible">True</property>
335 <property name="model">liststore3</property>
336 <child>
337 <object class="GtkCellRendererText" id="cellrenderertext2"/>
338 <attributes>
339 <attribute name="text">0</attribute>
340 </attributes>
341 </child>
342 </object>
343 </child>
344 </object>
345 <packing>
346 <property name="left_attach">1</property>
347 <property name="right_attach">2</property>
348 <property name="top_attach">1</property>
349 <property name="bottom_attach">2</property>
350 <property name="x_options">GTK_FILL</property>
351 <property name="y_options">GTK_FILL</property>
352 </packing>
353 </child>
354 </object>
355 <packing>
356 <property name="padding">2</property>
357 <property name="position">0</property>
358 </packing>
359 </child>
360 <child>
361 <object class="GtkCheckButton" id="help_test">
362 <property name="label" translatable="yes">Help test new versions</property>
363 <property name="visible">True</property>
364 <property name="can_focus">True</property>
365 <property name="receives_default">False</property>
366 <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. Choose 'Show Versions' from the menu in the main window to set the policy for an individual component.</property>
367 <property name="use_underline">True</property>
368 <property name="draw_indicator">True</property>
369 </object>
370 <packing>
371 <property name="expand">False</property>
372 <property name="fill">False</property>
373 <property name="position">1</property>
374 </packing>
375 </child>
376 </object>
377 </child>
378 </object>
379 </child>
380 <child type="label">
381 <object class="GtkLabel" id="label8">
382 <property name="visible">True</property>
383 <property name="label" translatable="yes">&lt;b&gt;Policy settings&lt;/b&gt;</property>
384 <property name="use_markup">True</property>
385 </object>
386 </child>
387 </object>
388 <packing>
389 <property name="expand">False</property>
390 <property name="position">0</property>
391 </packing>
392 </child>
393 <child>
394 <object class="GtkFrame" id="frame2">
395 <property name="visible">True</property>
396 <property name="label_xalign">0</property>
397 <property name="shadow_type">none</property>
398 <child>
399 <object class="GtkAlignment" id="alignment7">
400 <property name="visible">True</property>
401 <property name="left_padding">12</property>
402 <child>
403 <object class="GtkVBox" id="vbox4">
404 <property name="visible">True</property>
405 <property name="orientation">vertical</property>
406 <child>
407 <object class="GtkLabel" id="label12">
408 <property name="visible">True</property>
409 <property name="xalign">0</property>
410 <property name="label" translatable="yes">&lt;i&gt;These keys may sign software updates:&lt;/i&gt;</property>
411 <property name="use_markup">True</property>
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 <child>
438 <object class="GtkCheckButton" id="auto_approve">
439 <property name="label" translatable="yes">Automatic approval for new feeds</property>
440 <property name="visible">True</property>
441 <property name="can_focus">True</property>
442 <property name="receives_default">False</property>
443 <property name="tooltip_text" translatable="yes">When fetching a feed for the first time, if the key is known to the key information server then approve it automatically without confirmation.</property>
444 <property name="draw_indicator">True</property>
445 </object>
446 <packing>
447 <property name="expand">False</property>
448 <property name="position">2</property>
449 </packing>
450 </child>
451 </object>
452 </child>
453 </object>
454 </child>
455 <child type="label">
456 <object class="GtkLabel" id="label9">
457 <property name="visible">True</property>
458 <property name="label" translatable="yes">&lt;b&gt;Security&lt;/b&gt;</property>
459 <property name="use_markup">True</property>
460 </object>
461 </child>
462 </object>
463 <packing>
464 <property name="position">1</property>
465 </packing>
466 </child>
467 </object>
468 <packing>
469 <property name="position">1</property>
470 </packing>
471 </child>
472 <child internal-child="action_area">
473 <object class="GtkHButtonBox" id="dialog-action_area2">
474 <property name="visible">True</property>
475 <property name="layout_style">end</property>
476 <child>
477 <object class="GtkButton" id="helpbutton2">
478 <property name="label">gtk-help</property>
479 <property name="visible">True</property>
480 <property name="can_focus">True</property>
481 <property name="can_default">True</property>
482 <property name="receives_default">False</property>
483 <property name="use_stock">True</property>
484 </object>
485 <packing>
486 <property name="expand">False</property>
487 <property name="fill">False</property>
488 <property name="position">0</property>
489 </packing>
490 </child>
491 <child>
492 <object class="GtkButton" id="closebutton1">
493 <property name="label">gtk-close</property>
494 <property name="visible">True</property>
495 <property name="can_focus">True</property>
496 <property name="can_default">True</property>
497 <property name="receives_default">False</property>
498 <property name="use_stock">True</property>
499 </object>
500 <packing>
501 <property name="expand">False</property>
502 <property name="fill">False</property>
503 <property name="position">1</property>
504 </packing>
505 </child>
506 </object>
507 <packing>
508 <property name="expand">False</property>
509 <property name="pack_type">end</property>
510 <property name="position">0</property>
511 </packing>
512 </child>
513 </object>
514 </child>
515 <action-widgets>
516 <action-widget response="-11">helpbutton2</action-widget>
517 <action-widget response="-7">closebutton1</action-widget>
518 </action-widgets>
519 </object>
520 <object class="GtkDialog" id="interface_properties">
521 <property name="title" translatable="yes">Interface properties</property>
522 <property name="type_hint">dialog</property>
523 <child internal-child="vbox">
524 <object class="GtkVBox" id="dialog-vbox3">
525 <property name="visible">True</property>
526 <child>
527 <object class="GtkNotebook" id="interface_notebook">
528 <property name="visible">True</property>
529 <property name="can_focus">True</property>
530 <child>
531 <object class="GtkVPaned" id="vpaned1">
532 <property name="visible">True</property>
533 <property name="can_focus">True</property>
534 <child>
535 <object class="GtkHBox" id="hbox10">
536 <property name="visible">True</property>
537 <child>
538 <object class="GtkScrolledWindow" id="scrolledwindow4">
539 <property name="visible">True</property>
540 <property name="can_focus">True</property>
541 <property name="border_width">4</property>
542 <property name="hscrollbar_policy">never</property>
543 <property name="shadow_type">in</property>
544 <child>
545 <object class="GtkTreeView" id="feeds_list">
546 <property name="visible">True</property>
547 <property name="can_focus">True</property>
548 </object>
549 </child>
550 </object>
551 <packing>
552 <property name="position">0</property>
553 </packing>
554 </child>
555 <child>
556 <object class="GtkVBox" id="vbox5">
557 <property name="visible">True</property>
558 <property name="border_width">4</property>
559 <child>
560 <object class="GtkButton" id="add_remote_feed">
561 <property name="visible">True</property>
562 <property name="can_focus">True</property>
563 <property name="receives_default">False</property>
564 <child>
565 <object class="GtkAlignment" id="alignment9">
566 <property name="visible">True</property>
567 <property name="xscale">0</property>
568 <property name="yscale">0</property>
569 <child>
570 <object class="GtkHBox" id="hbox11">
571 <property name="visible">True</property>
572 <property name="spacing">2</property>
573 <child>
574 <object class="GtkImage" id="image7">
575 <property name="visible">True</property>
576 <property name="stock">gtk-add</property>
577 </object>
578 <packing>
579 <property name="expand">False</property>
580 <property name="fill">False</property>
581 <property name="position">0</property>
582 </packing>
583 </child>
584 <child>
585 <object class="GtkLabel" id="label16">
586 <property name="visible">True</property>
587 <property name="label" translatable="yes">Add remote feed</property>
588 <property name="use_underline">True</property>
589 </object>
590 <packing>
591 <property name="expand">False</property>
592 <property name="fill">False</property>
593 <property name="position">1</property>
594 </packing>
595 </child>
596 </object>
597 </child>
598 </object>
599 </child>
600 </object>
601 <packing>
602 <property name="expand">False</property>
603 <property name="fill">False</property>
604 <property name="position">0</property>
605 </packing>
606 </child>
607 <child>
608 <object class="GtkButton" id="add_local_feed">
609 <property name="visible">True</property>
610 <property name="can_focus">True</property>
611 <property name="receives_default">False</property>
612 <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>
613 <child>
614 <object class="GtkAlignment" id="alignment10">
615 <property name="visible">True</property>
616 <property name="xscale">0</property>
617 <property name="yscale">0</property>
618 <child>
619 <object class="GtkHBox" id="hbox12">
620 <property name="visible">True</property>
621 <property name="spacing">2</property>
622 <child>
623 <object class="GtkImage" id="image8">
624 <property name="visible">True</property>
625 <property name="stock">gtk-add</property>
626 </object>
627 <packing>
628 <property name="expand">False</property>
629 <property name="fill">False</property>
630 <property name="position">0</property>
631 </packing>
632 </child>
633 <child>
634 <object class="GtkLabel" id="label17">
635 <property name="visible">True</property>
636 <property name="label" translatable="yes">Add local feed</property>
637 <property name="use_underline">True</property>
638 </object>
639 <packing>
640 <property name="expand">False</property>
641 <property name="fill">False</property>
642 <property name="position">1</property>
643 </packing>
644 </child>
645 </object>
646 </child>
647 </object>
648 </child>
649 </object>
650 <packing>
651 <property name="expand">False</property>
652 <property name="fill">False</property>
653 <property name="position">1</property>
654 </packing>
655 </child>
656 <child>
657 <object class="GtkButton" id="remove_feed">
658 <property name="visible">True</property>
659 <property name="can_focus">True</property>
660 <property name="receives_default">False</property>
661 <child>
662 <object class="GtkAlignment" id="alignment11">
663 <property name="visible">True</property>
664 <property name="xscale">0</property>
665 <property name="yscale">0</property>
666 <child>
667 <object class="GtkHBox" id="hbox13">
668 <property name="visible">True</property>
669 <property name="spacing">2</property>
670 <child>
671 <object class="GtkImage" id="image9">
672 <property name="visible">True</property>
673 <property name="stock">gtk-remove</property>
674 </object>
675 <packing>
676 <property name="expand">False</property>
677 <property name="fill">False</property>
678 <property name="position">0</property>
679 </packing>
680 </child>
681 <child>
682 <object class="GtkLabel" id="label18">
683 <property name="visible">True</property>
684 <property name="label" translatable="yes">Remove feed</property>
685 <property name="use_underline">True</property>
686 </object>
687 <packing>
688 <property name="expand">False</property>
689 <property name="fill">False</property>
690 <property name="position">1</property>
691 </packing>
692 </child>
693 </object>
694 </child>
695 </object>
696 </child>
697 </object>
698 <packing>
699 <property name="expand">False</property>
700 <property name="fill">False</property>
701 <property name="position">2</property>
702 </packing>
703 </child>
704 </object>
705 <packing>
706 <property name="expand">False</property>
707 <property name="position">1</property>
708 </packing>
709 </child>
710 </object>
711 <packing>
712 <property name="resize">False</property>
713 <property name="shrink">False</property>
714 </packing>
715 </child>
716 <child>
717 <object class="GtkScrolledWindow" id="scrolledwindow3">
718 <property name="visible">True</property>
719 <property name="can_focus">True</property>
720 <property name="border_width">4</property>
721 <property name="hscrollbar_policy">automatic</property>
722 <property name="shadow_type">in</property>
723 <child>
724 <object class="GtkTextView" id="description">
725 <property name="visible">True</property>
726 <property name="can_focus">True</property>
727 <property name="editable">False</property>
728 <property name="wrap_mode">word</property>
729 <property name="left_margin">4</property>
730 <property name="right_margin">4</property>
731 <property name="cursor_visible">False</property>
732 </object>
733 </child>
734 </object>
735 <packing>
736 <property name="resize">True</property>
737 <property name="shrink">True</property>
738 </packing>
739 </child>
740 </object>
741 </child>
742 <child type="tab">
743 <object class="GtkLabel" id="label14">
744 <property name="visible">True</property>
745 <property name="label" translatable="yes">Feeds</property>
746 </object>
747 <packing>
748 <property name="tab_fill">False</property>
749 </packing>
750 </child>
751 <child>
752 <object class="GtkVBox" id="vbox6">
753 <property name="visible">True</property>
754 <property name="border_width">4</property>
755 <property name="spacing">4</property>
756 <child>
757 <object class="GtkHBox" id="hbox14">
758 <property name="visible">True</property>
759 <child>
760 <object class="GtkLabel" id="label19">
761 <property name="visible">True</property>
762 <property name="label" translatable="yes">Preferred stability: </property>
763 </object>
764 <packing>
765 <property name="expand">False</property>
766 <property name="fill">False</property>
767 <property name="position">0</property>
768 </packing>
769 </child>
770 <child>
771 <object class="GtkEventBox" id="eventbox3">
772 <property name="visible">True</property>
773 <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>
774 <child>
775 <object class="GtkComboBox" id="preferred_stability">
776 <property name="visible">True</property>
777 <property name="model">liststore1</property>
778 <child>
779 <object class="GtkCellRendererText" id="cellrenderertext3"/>
780 <attributes>
781 <attribute name="text">0</attribute>
782 </attributes>
783 </child>
784 </object>
785 </child>
786 </object>
787 <packing>
788 <property name="expand">False</property>
789 <property name="position">1</property>
790 </packing>
791 </child>
792 </object>
793 <packing>
794 <property name="expand">False</property>
795 <property name="position">0</property>
796 </packing>
797 </child>
798 <child>
799 <object class="GtkScrolledWindow" id="scrolledwindow5">
800 <property name="visible">True</property>
801 <property name="can_focus">True</property>
802 <property name="hscrollbar_policy">never</property>
803 <property name="shadow_type">in</property>
804 <child>
805 <object class="GtkTreeView" id="versions_list">
806 <property name="visible">True</property>
807 <property name="can_focus">True</property>
808 </object>
809 </child>
810 </object>
811 <packing>
812 <property name="position">1</property>
813 </packing>
814 </child>
815 </object>
816 <packing>
817 <property name="position">1</property>
818 </packing>
819 </child>
820 <child type="tab">
821 <object class="GtkLabel" id="label15">
822 <property name="visible">True</property>
823 <property name="label" translatable="yes">Versions</property>
824 </object>
825 <packing>
826 <property name="position">1</property>
827 <property name="tab_fill">False</property>
828 </packing>
829 </child>
830 </object>
831 <packing>
832 <property name="position">2</property>
833 </packing>
834 </child>
835 <child internal-child="action_area">
836 <object class="GtkHButtonBox" id="dialog-action_area3">
837 <property name="visible">True</property>
838 <property name="layout_style">end</property>
839 <child>
840 <object class="GtkButton" id="helpbutton3">
841 <property name="label">gtk-help</property>
842 <property name="visible">True</property>
843 <property name="can_focus">True</property>
844 <property name="can_default">True</property>
845 <property name="receives_default">False</property>
846 <property name="use_stock">True</property>
847 </object>
848 <packing>
849 <property name="expand">False</property>
850 <property name="fill">False</property>
851 <property name="position">0</property>
852 </packing>
853 </child>
854 <child>
855 <object class="GtkButton" id="compile">
856 <property name="visible">True</property>
857 <property name="can_focus">True</property>
858 <property name="can_default">True</property>
859 <property name="receives_default">False</property>
860 <child>
861 <object class="GtkAlignment" id="alignment8">
862 <property name="visible">True</property>
863 <property name="xscale">0</property>
864 <property name="yscale">0</property>
865 <child>
866 <object class="GtkHBox" id="hbox9">
867 <property name="visible">True</property>
868 <property name="spacing">2</property>
869 <child>
870 <object class="GtkImage" id="image6">
871 <property name="visible">True</property>
872 <property name="stock">gtk-convert</property>
873 </object>
874 <packing>
875 <property name="expand">False</property>
876 <property name="fill">False</property>
877 <property name="position">0</property>
878 </packing>
879 </child>
880 <child>
881 <object class="GtkLabel" id="label13">
882 <property name="visible">True</property>
883 <property name="label" translatable="yes">Compile</property>
884 <property name="use_underline">True</property>
885 </object>
886 <packing>
887 <property name="expand">False</property>
888 <property name="fill">False</property>
889 <property name="position">1</property>
890 </packing>
891 </child>
892 </object>
893 </child>
894 </object>
895 </child>
896 </object>
897 <packing>
898 <property name="expand">False</property>
899 <property name="fill">False</property>
900 <property name="position">1</property>
901 </packing>
902 </child>
903 <child>
904 <object class="GtkButton" id="button9">
905 <property name="label">gtk-close</property>
906 <property name="visible">True</property>
907 <property name="can_focus">True</property>
908 <property name="can_default">True</property>
909 <property name="receives_default">False</property>
910 <property name="use_stock">True</property>
911 </object>
912 <packing>
913 <property name="expand">False</property>
914 <property name="fill">False</property>
915 <property name="position">2</property>
916 </packing>
917 </child>
918 </object>
919 <packing>
920 <property name="expand">False</property>
921 <property name="pack_type">end</property>
922 <property name="position">0</property>
923 </packing>
924 </child>
925 </object>
926 </child>
927 <action-widgets>
928 <action-widget response="-11">helpbutton3</action-widget>
929 <action-widget response="0">compile</action-widget>
930 <action-widget response="-6">button9</action-widget>
931 </action-widgets>
932 </object>
933 </interface>