Added "0store manage" command to show the GTK cache viewer.
[zeroinstall/zeroinstall-mseaborn.git] / zeroinstall / 0launch-gui / zero-install.glade
blobc66dc1de9ef47a4a4f0d4fb7f4468616100ea985
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
4 <glade-interface>
6 <widget class="GtkDialog" id="main">
7 <property name="title" translatable="yes">Zero Install</property>
8 <property name="type">GTK_WINDOW_TOPLEVEL</property>
9 <property name="window_position">GTK_WIN_POS_NONE</property>
10 <property name="modal">False</property>
11 <property name="resizable">True</property>
12 <property name="destroy_with_parent">False</property>
13 <property name="decorated">True</property>
14 <property name="skip_taskbar_hint">False</property>
15 <property name="skip_pager_hint">False</property>
16 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
17 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
18 <property name="focus_on_map">True</property>
19 <property name="urgency_hint">False</property>
20 <property name="has_separator">False</property>
22 <child internal-child="vbox">
23 <widget class="GtkVBox" id="dialog-vbox1">
24 <property name="visible">True</property>
25 <property name="homogeneous">False</property>
26 <property name="spacing">0</property>
28 <child internal-child="action_area">
29 <widget class="GtkHButtonBox" id="dialog-action_area1">
30 <property name="visible">True</property>
31 <property name="layout_style">GTK_BUTTONBOX_END</property>
33 <child>
34 <widget class="GtkButton" id="helpbutton1">
35 <property name="visible">True</property>
36 <property name="can_default">True</property>
37 <property name="can_focus">True</property>
38 <property name="label">gtk-help</property>
39 <property name="use_stock">True</property>
40 <property name="relief">GTK_RELIEF_NORMAL</property>
41 <property name="focus_on_click">True</property>
42 <property name="response_id">-11</property>
43 </widget>
44 </child>
46 <child>
47 <widget class="GtkButton" id="preferences">
48 <property name="visible">True</property>
49 <property name="can_default">True</property>
50 <property name="can_focus">True</property>
51 <property name="label">gtk-preferences</property>
52 <property name="use_stock">True</property>
53 <property name="relief">GTK_RELIEF_NORMAL</property>
54 <property name="focus_on_click">True</property>
55 <property name="response_id">0</property>
56 </widget>
57 </child>
59 <child>
60 <widget class="GtkButton" id="button2">
61 <property name="visible">True</property>
62 <property name="can_default">True</property>
63 <property name="can_focus">True</property>
64 <property name="label">gtk-cancel</property>
65 <property name="use_stock">True</property>
66 <property name="relief">GTK_RELIEF_NORMAL</property>
67 <property name="focus_on_click">True</property>
68 <property name="response_id">-6</property>
69 </widget>
70 </child>
71 </widget>
72 <packing>
73 <property name="padding">0</property>
74 <property name="expand">False</property>
75 <property name="fill">True</property>
76 <property name="pack_type">GTK_PACK_END</property>
77 </packing>
78 </child>
80 <child>
81 <widget class="GtkVBox" id="vbox1">
82 <property name="border_width">4</property>
83 <property name="visible">True</property>
84 <property name="homogeneous">False</property>
85 <property name="spacing">0</property>
87 <child>
88 <widget class="GtkScrolledWindow" id="scrolledwindow1">
89 <property name="visible">True</property>
90 <property name="can_focus">True</property>
91 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
92 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
93 <property name="shadow_type">GTK_SHADOW_IN</property>
94 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
96 <child>
97 <widget class="GtkTreeView" id="components">
98 <property name="visible">True</property>
99 <property name="can_focus">True</property>
100 <property name="headers_visible">True</property>
101 <property name="rules_hint">False</property>
102 <property name="reorderable">False</property>
103 <property name="enable_search">True</property>
104 <property name="fixed_height_mode">False</property>
105 <property name="hover_selection">False</property>
106 <property name="hover_expand">False</property>
107 </widget>
108 </child>
109 </widget>
110 <packing>
111 <property name="padding">4</property>
112 <property name="expand">True</property>
113 <property name="fill">True</property>
114 </packing>
115 </child>
117 <child>
118 <widget class="GtkHBox" id="hbox5">
119 <property name="visible">True</property>
120 <property name="homogeneous">False</property>
121 <property name="spacing">4</property>
123 <child>
124 <widget class="GtkButton" id="refresh">
125 <property name="visible">True</property>
126 <property name="tooltip" translatable="yes">Check all the components for updates.</property>
127 <property name="can_focus">True</property>
128 <property name="relief">GTK_RELIEF_NORMAL</property>
129 <property name="focus_on_click">True</property>
131 <child>
132 <widget class="GtkAlignment" id="alignment2">
133 <property name="visible">True</property>
134 <property name="xalign">0.5</property>
135 <property name="yalign">0.5</property>
136 <property name="xscale">0</property>
137 <property name="yscale">0</property>
138 <property name="top_padding">0</property>
139 <property name="bottom_padding">0</property>
140 <property name="left_padding">0</property>
141 <property name="right_padding">0</property>
143 <child>
144 <widget class="GtkHBox" id="hbox3">
145 <property name="visible">True</property>
146 <property name="homogeneous">False</property>
147 <property name="spacing">2</property>
149 <child>
150 <widget class="GtkImage" id="image2">
151 <property name="visible">True</property>
152 <property name="stock">gtk-refresh</property>
153 <property name="icon_size">4</property>
154 <property name="xalign">0.5</property>
155 <property name="yalign">0.5</property>
156 <property name="xpad">0</property>
157 <property name="ypad">0</property>
158 </widget>
159 <packing>
160 <property name="padding">0</property>
161 <property name="expand">False</property>
162 <property name="fill">False</property>
163 </packing>
164 </child>
166 <child>
167 <widget class="GtkLabel" id="label">
168 <property name="visible">True</property>
169 <property name="label" translatable="yes">Re_fresh all now</property>
170 <property name="use_underline">True</property>
171 <property name="use_markup">False</property>
172 <property name="justify">GTK_JUSTIFY_LEFT</property>
173 <property name="wrap">False</property>
174 <property name="selectable">False</property>
175 <property name="xalign">0.5</property>
176 <property name="yalign">0.5</property>
177 <property name="xpad">0</property>
178 <property name="ypad">0</property>
179 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
180 <property name="width_chars">-1</property>
181 <property name="single_line_mode">False</property>
182 <property name="angle">0</property>
183 </widget>
184 <packing>
185 <property name="padding">0</property>
186 <property name="expand">False</property>
187 <property name="fill">False</property>
188 </packing>
189 </child>
190 </widget>
191 </child>
192 </widget>
193 </child>
194 </widget>
195 <packing>
196 <property name="padding">0</property>
197 <property name="expand">False</property>
198 <property name="fill">False</property>
199 </packing>
200 </child>
202 <child>
203 <widget class="GtkHBox" id="progress_area">
204 <property name="homogeneous">False</property>
205 <property name="spacing">0</property>
207 <child>
208 <widget class="GtkProgressBar" id="progress">
209 <property name="visible">True</property>
210 <property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
211 <property name="fraction">0</property>
212 <property name="pulse_step">0.10000000149</property>
213 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
214 </widget>
215 <packing>
216 <property name="padding">4</property>
217 <property name="expand">True</property>
218 <property name="fill">True</property>
219 </packing>
220 </child>
222 <child>
223 <widget class="GtkButton" id="stop">
224 <property name="visible">True</property>
225 <property name="can_focus">True</property>
226 <property name="label">gtk-stop</property>
227 <property name="use_stock">True</property>
228 <property name="relief">GTK_RELIEF_NORMAL</property>
229 <property name="focus_on_click">True</property>
230 </widget>
231 <packing>
232 <property name="padding">0</property>
233 <property name="expand">False</property>
234 <property name="fill">False</property>
235 </packing>
236 </child>
237 </widget>
238 <packing>
239 <property name="padding">0</property>
240 <property name="expand">True</property>
241 <property name="fill">True</property>
242 </packing>
243 </child>
244 </widget>
245 <packing>
246 <property name="padding">0</property>
247 <property name="expand">False</property>
248 <property name="fill">True</property>
249 </packing>
250 </child>
251 </widget>
252 <packing>
253 <property name="padding">0</property>
254 <property name="expand">True</property>
255 <property name="fill">True</property>
256 </packing>
257 </child>
258 </widget>
259 </child>
260 </widget>
262 <widget class="GtkDialog" id="preferences_box">
263 <property name="title" translatable="yes">Zero Install Preferences</property>
264 <property name="type">GTK_WINDOW_TOPLEVEL</property>
265 <property name="window_position">GTK_WIN_POS_NONE</property>
266 <property name="modal">False</property>
267 <property name="resizable">True</property>
268 <property name="destroy_with_parent">False</property>
269 <property name="decorated">True</property>
270 <property name="skip_taskbar_hint">False</property>
271 <property name="skip_pager_hint">False</property>
272 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
273 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
274 <property name="focus_on_map">True</property>
275 <property name="urgency_hint">False</property>
276 <property name="has_separator">False</property>
278 <child internal-child="vbox">
279 <widget class="GtkVBox" id="dialog-vbox2">
280 <property name="visible">True</property>
281 <property name="homogeneous">False</property>
282 <property name="spacing">0</property>
284 <child internal-child="action_area">
285 <widget class="GtkHButtonBox" id="dialog-action_area2">
286 <property name="visible">True</property>
287 <property name="layout_style">GTK_BUTTONBOX_END</property>
289 <child>
290 <widget class="GtkButton" id="helpbutton2">
291 <property name="visible">True</property>
292 <property name="can_default">True</property>
293 <property name="can_focus">True</property>
294 <property name="label">gtk-help</property>
295 <property name="use_stock">True</property>
296 <property name="relief">GTK_RELIEF_NORMAL</property>
297 <property name="focus_on_click">True</property>
298 <property name="response_id">-11</property>
299 </widget>
300 </child>
302 <child>
303 <widget class="GtkButton" id="closebutton1">
304 <property name="visible">True</property>
305 <property name="can_default">True</property>
306 <property name="can_focus">True</property>
307 <property name="label">gtk-close</property>
308 <property name="use_stock">True</property>
309 <property name="relief">GTK_RELIEF_NORMAL</property>
310 <property name="focus_on_click">True</property>
311 <property name="response_id">-7</property>
312 </widget>
313 </child>
314 </widget>
315 <packing>
316 <property name="padding">0</property>
317 <property name="expand">False</property>
318 <property name="fill">True</property>
319 <property name="pack_type">GTK_PACK_END</property>
320 </packing>
321 </child>
323 <child>
324 <widget class="GtkVBox" id="vbox2">
325 <property name="border_width">8</property>
326 <property name="visible">True</property>
327 <property name="homogeneous">False</property>
328 <property name="spacing">12</property>
330 <child>
331 <widget class="GtkFrame" id="frame1">
332 <property name="visible">True</property>
333 <property name="label_xalign">0</property>
334 <property name="label_yalign">0.5</property>
335 <property name="shadow_type">GTK_SHADOW_NONE</property>
337 <child>
338 <widget class="GtkAlignment" id="alignment6">
339 <property name="visible">True</property>
340 <property name="xalign">0.5</property>
341 <property name="yalign">0.5</property>
342 <property name="xscale">1</property>
343 <property name="yscale">1</property>
344 <property name="top_padding">0</property>
345 <property name="bottom_padding">0</property>
346 <property name="left_padding">12</property>
347 <property name="right_padding">0</property>
349 <child>
350 <widget class="GtkVBox" id="vbox3">
351 <property name="visible">True</property>
352 <property name="homogeneous">False</property>
353 <property name="spacing">2</property>
355 <child>
356 <widget class="GtkTable" id="table1">
357 <property name="visible">True</property>
358 <property name="n_rows">2</property>
359 <property name="n_columns">2</property>
360 <property name="homogeneous">False</property>
361 <property name="row_spacing">4</property>
362 <property name="column_spacing">0</property>
364 <child>
365 <widget class="GtkLabel" id="label10">
366 <property name="visible">True</property>
367 <property name="label" translatable="yes">Network use: </property>
368 <property name="use_underline">False</property>
369 <property name="use_markup">False</property>
370 <property name="justify">GTK_JUSTIFY_LEFT</property>
371 <property name="wrap">False</property>
372 <property name="selectable">False</property>
373 <property name="xalign">1</property>
374 <property name="yalign">0.5</property>
375 <property name="xpad">0</property>
376 <property name="ypad">0</property>
377 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
378 <property name="width_chars">-1</property>
379 <property name="single_line_mode">False</property>
380 <property name="angle">0</property>
381 </widget>
382 <packing>
383 <property name="left_attach">0</property>
384 <property name="right_attach">1</property>
385 <property name="top_attach">0</property>
386 <property name="bottom_attach">1</property>
387 <property name="x_options">fill</property>
388 <property name="y_options"></property>
389 </packing>
390 </child>
392 <child>
393 <widget class="GtkLabel" id="label11">
394 <property name="visible">True</property>
395 <property name="label" translatable="yes">Freshness: </property>
396 <property name="use_underline">False</property>
397 <property name="use_markup">False</property>
398 <property name="justify">GTK_JUSTIFY_LEFT</property>
399 <property name="wrap">False</property>
400 <property name="selectable">False</property>
401 <property name="xalign">1</property>
402 <property name="yalign">0.5</property>
403 <property name="xpad">0</property>
404 <property name="ypad">0</property>
405 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
406 <property name="width_chars">-1</property>
407 <property name="single_line_mode">False</property>
408 <property name="angle">0</property>
409 </widget>
410 <packing>
411 <property name="left_attach">0</property>
412 <property name="right_attach">1</property>
413 <property name="top_attach">1</property>
414 <property name="bottom_attach">2</property>
415 <property name="x_options">fill</property>
416 <property name="y_options"></property>
417 </packing>
418 </child>
420 <child>
421 <widget class="GtkEventBox" id="eventbox1">
422 <property name="visible">True</property>
423 <property name="tooltip" 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>
424 <property name="visible_window">True</property>
425 <property name="above_child">False</property>
427 <child>
428 <widget class="GtkComboBox" id="network_use">
429 <property name="visible">True</property>
430 <property name="items" translatable="yes"></property>
431 <property name="add_tearoffs">False</property>
432 <property name="focus_on_click">True</property>
433 </widget>
434 </child>
435 </widget>
436 <packing>
437 <property name="left_attach">1</property>
438 <property name="right_attach">2</property>
439 <property name="top_attach">0</property>
440 <property name="bottom_attach">1</property>
441 <property name="y_options">fill</property>
442 </packing>
443 </child>
445 <child>
446 <widget class="GtkEventBox" id="eventbox2">
447 <property name="visible">True</property>
448 <property name="tooltip" 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>
449 <property name="visible_window">True</property>
450 <property name="above_child">False</property>
452 <child>
453 <widget class="GtkComboBox" id="freshness">
454 <property name="visible">True</property>
455 <property name="items" translatable="yes"></property>
456 <property name="add_tearoffs">False</property>
457 <property name="focus_on_click">True</property>
458 </widget>
459 </child>
460 </widget>
461 <packing>
462 <property name="left_attach">1</property>
463 <property name="right_attach">2</property>
464 <property name="top_attach">1</property>
465 <property name="bottom_attach">2</property>
466 <property name="x_options">fill</property>
467 <property name="y_options">fill</property>
468 </packing>
469 </child>
470 </widget>
471 <packing>
472 <property name="padding">2</property>
473 <property name="expand">True</property>
474 <property name="fill">True</property>
475 </packing>
476 </child>
478 <child>
479 <widget class="GtkCheckButton" id="help_test">
480 <property name="visible">True</property>
481 <property name="tooltip" 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>
482 <property name="can_focus">True</property>
483 <property name="label" translatable="yes">Help test new versions</property>
484 <property name="use_underline">True</property>
485 <property name="relief">GTK_RELIEF_NORMAL</property>
486 <property name="focus_on_click">True</property>
487 <property name="active">False</property>
488 <property name="inconsistent">False</property>
489 <property name="draw_indicator">True</property>
490 </widget>
491 <packing>
492 <property name="padding">0</property>
493 <property name="expand">False</property>
494 <property name="fill">False</property>
495 </packing>
496 </child>
497 </widget>
498 </child>
499 </widget>
500 </child>
502 <child>
503 <widget class="GtkLabel" id="label8">
504 <property name="visible">True</property>
505 <property name="label" translatable="yes">&lt;b&gt;Policy settings&lt;/b&gt;</property>
506 <property name="use_underline">False</property>
507 <property name="use_markup">True</property>
508 <property name="justify">GTK_JUSTIFY_LEFT</property>
509 <property name="wrap">False</property>
510 <property name="selectable">False</property>
511 <property name="xalign">0.5</property>
512 <property name="yalign">0.5</property>
513 <property name="xpad">0</property>
514 <property name="ypad">0</property>
515 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
516 <property name="width_chars">-1</property>
517 <property name="single_line_mode">False</property>
518 <property name="angle">0</property>
519 </widget>
520 <packing>
521 <property name="type">label_item</property>
522 </packing>
523 </child>
524 </widget>
525 <packing>
526 <property name="padding">0</property>
527 <property name="expand">False</property>
528 <property name="fill">True</property>
529 </packing>
530 </child>
532 <child>
533 <widget class="GtkFrame" id="frame2">
534 <property name="visible">True</property>
535 <property name="label_xalign">0</property>
536 <property name="label_yalign">0.5</property>
537 <property name="shadow_type">GTK_SHADOW_NONE</property>
539 <child>
540 <widget class="GtkAlignment" id="alignment7">
541 <property name="visible">True</property>
542 <property name="xalign">0.5</property>
543 <property name="yalign">0.5</property>
544 <property name="xscale">1</property>
545 <property name="yscale">1</property>
546 <property name="top_padding">0</property>
547 <property name="bottom_padding">0</property>
548 <property name="left_padding">12</property>
549 <property name="right_padding">0</property>
551 <child>
552 <widget class="GtkVBox" id="vbox4">
553 <property name="visible">True</property>
554 <property name="homogeneous">False</property>
555 <property name="spacing">0</property>
557 <child>
558 <widget class="GtkLabel" id="label12">
559 <property name="visible">True</property>
560 <property name="label" translatable="yes">&lt;i&gt;You have said that you trust these keys to sign software updates:&lt;/i&gt;</property>
561 <property name="use_underline">False</property>
562 <property name="use_markup">True</property>
563 <property name="justify">GTK_JUSTIFY_LEFT</property>
564 <property name="wrap">False</property>
565 <property name="selectable">False</property>
566 <property name="xalign">0</property>
567 <property name="yalign">0.5</property>
568 <property name="xpad">0</property>
569 <property name="ypad">0</property>
570 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
571 <property name="width_chars">-1</property>
572 <property name="single_line_mode">False</property>
573 <property name="angle">0</property>
574 </widget>
575 <packing>
576 <property name="padding">4</property>
577 <property name="expand">False</property>
578 <property name="fill">False</property>
579 </packing>
580 </child>
582 <child>
583 <widget class="GtkScrolledWindow" id="scrolledwindow2">
584 <property name="visible">True</property>
585 <property name="can_focus">True</property>
586 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
587 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
588 <property name="shadow_type">GTK_SHADOW_IN</property>
589 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
591 <child>
592 <widget class="GtkTreeView" id="trusted_keys">
593 <property name="visible">True</property>
594 <property name="can_focus">True</property>
595 <property name="headers_visible">True</property>
596 <property name="rules_hint">False</property>
597 <property name="reorderable">False</property>
598 <property name="enable_search">True</property>
599 <property name="fixed_height_mode">False</property>
600 <property name="hover_selection">False</property>
601 <property name="hover_expand">False</property>
602 </widget>
603 </child>
604 </widget>
605 <packing>
606 <property name="padding">0</property>
607 <property name="expand">True</property>
608 <property name="fill">True</property>
609 </packing>
610 </child>
611 </widget>
612 </child>
613 </widget>
614 </child>
616 <child>
617 <widget class="GtkLabel" id="label9">
618 <property name="visible">True</property>
619 <property name="label" translatable="yes">&lt;b&gt;Security&lt;/b&gt;</property>
620 <property name="use_underline">False</property>
621 <property name="use_markup">True</property>
622 <property name="justify">GTK_JUSTIFY_LEFT</property>
623 <property name="wrap">False</property>
624 <property name="selectable">False</property>
625 <property name="xalign">0.5</property>
626 <property name="yalign">0.5</property>
627 <property name="xpad">0</property>
628 <property name="ypad">0</property>
629 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
630 <property name="width_chars">-1</property>
631 <property name="single_line_mode">False</property>
632 <property name="angle">0</property>
633 </widget>
634 <packing>
635 <property name="type">label_item</property>
636 </packing>
637 </child>
638 </widget>
639 <packing>
640 <property name="padding">0</property>
641 <property name="expand">True</property>
642 <property name="fill">True</property>
643 </packing>
644 </child>
645 </widget>
646 <packing>
647 <property name="padding">0</property>
648 <property name="expand">True</property>
649 <property name="fill">True</property>
650 </packing>
651 </child>
652 </widget>
653 </child>
654 </widget>
656 <widget class="GtkDialog" id="interface_properties">
657 <property name="visible">True</property>
658 <property name="title" translatable="yes">Interface properties</property>
659 <property name="type">GTK_WINDOW_TOPLEVEL</property>
660 <property name="window_position">GTK_WIN_POS_NONE</property>
661 <property name="modal">False</property>
662 <property name="resizable">True</property>
663 <property name="destroy_with_parent">False</property>
664 <property name="decorated">True</property>
665 <property name="skip_taskbar_hint">False</property>
666 <property name="skip_pager_hint">False</property>
667 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
668 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
669 <property name="focus_on_map">True</property>
670 <property name="urgency_hint">False</property>
671 <property name="has_separator">True</property>
673 <child internal-child="vbox">
674 <widget class="GtkVBox" id="dialog-vbox3">
675 <property name="visible">True</property>
676 <property name="homogeneous">False</property>
677 <property name="spacing">0</property>
679 <child internal-child="action_area">
680 <widget class="GtkHButtonBox" id="dialog-action_area3">
681 <property name="visible">True</property>
682 <property name="layout_style">GTK_BUTTONBOX_END</property>
684 <child>
685 <widget class="GtkButton" id="helpbutton3">
686 <property name="visible">True</property>
687 <property name="can_default">True</property>
688 <property name="can_focus">True</property>
689 <property name="label">gtk-help</property>
690 <property name="use_stock">True</property>
691 <property name="relief">GTK_RELIEF_NORMAL</property>
692 <property name="focus_on_click">True</property>
693 <property name="response_id">-11</property>
694 </widget>
695 </child>
697 <child>
698 <widget class="GtkButton" id="compile">
699 <property name="visible">True</property>
700 <property name="can_default">True</property>
701 <property name="can_focus">True</property>
702 <property name="relief">GTK_RELIEF_NORMAL</property>
703 <property name="focus_on_click">True</property>
704 <property name="response_id">0</property>
706 <child>
707 <widget class="GtkAlignment" id="alignment8">
708 <property name="visible">True</property>
709 <property name="xalign">0.5</property>
710 <property name="yalign">0.5</property>
711 <property name="xscale">0</property>
712 <property name="yscale">0</property>
713 <property name="top_padding">0</property>
714 <property name="bottom_padding">0</property>
715 <property name="left_padding">0</property>
716 <property name="right_padding">0</property>
718 <child>
719 <widget class="GtkHBox" id="hbox9">
720 <property name="visible">True</property>
721 <property name="homogeneous">False</property>
722 <property name="spacing">2</property>
724 <child>
725 <widget class="GtkImage" id="image6">
726 <property name="visible">True</property>
727 <property name="stock">gtk-convert</property>
728 <property name="icon_size">4</property>
729 <property name="xalign">0.5</property>
730 <property name="yalign">0.5</property>
731 <property name="xpad">0</property>
732 <property name="ypad">0</property>
733 </widget>
734 <packing>
735 <property name="padding">0</property>
736 <property name="expand">False</property>
737 <property name="fill">False</property>
738 </packing>
739 </child>
741 <child>
742 <widget class="GtkLabel" id="label13">
743 <property name="visible">True</property>
744 <property name="label" translatable="yes">Compile</property>
745 <property name="use_underline">True</property>
746 <property name="use_markup">False</property>
747 <property name="justify">GTK_JUSTIFY_LEFT</property>
748 <property name="wrap">False</property>
749 <property name="selectable">False</property>
750 <property name="xalign">0.5</property>
751 <property name="yalign">0.5</property>
752 <property name="xpad">0</property>
753 <property name="ypad">0</property>
754 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
755 <property name="width_chars">-1</property>
756 <property name="single_line_mode">False</property>
757 <property name="angle">0</property>
758 </widget>
759 <packing>
760 <property name="padding">0</property>
761 <property name="expand">False</property>
762 <property name="fill">False</property>
763 </packing>
764 </child>
765 </widget>
766 </child>
767 </widget>
768 </child>
769 </widget>
770 </child>
772 <child>
773 <widget class="GtkButton" id="button9">
774 <property name="visible">True</property>
775 <property name="can_default">True</property>
776 <property name="can_focus">True</property>
777 <property name="label">gtk-close</property>
778 <property name="use_stock">True</property>
779 <property name="relief">GTK_RELIEF_NORMAL</property>
780 <property name="focus_on_click">True</property>
781 <property name="response_id">-6</property>
782 </widget>
783 </child>
784 </widget>
785 <packing>
786 <property name="padding">0</property>
787 <property name="expand">False</property>
788 <property name="fill">True</property>
789 <property name="pack_type">GTK_PACK_END</property>
790 </packing>
791 </child>
793 <child>
794 <widget class="GtkNotebook" id="interface_notebook">
795 <property name="visible">True</property>
796 <property name="can_focus">True</property>
797 <property name="show_tabs">True</property>
798 <property name="show_border">True</property>
799 <property name="tab_pos">GTK_POS_TOP</property>
800 <property name="scrollable">False</property>
801 <property name="enable_popup">False</property>
803 <child>
804 <widget class="GtkVPaned" id="vpaned1">
805 <property name="visible">True</property>
806 <property name="can_focus">True</property>
807 <property name="position">0</property>
809 <child>
810 <widget class="GtkHBox" id="hbox10">
811 <property name="visible">True</property>
812 <property name="homogeneous">False</property>
813 <property name="spacing">0</property>
815 <child>
816 <widget class="GtkScrolledWindow" id="scrolledwindow4">
817 <property name="border_width">4</property>
818 <property name="visible">True</property>
819 <property name="can_focus">True</property>
820 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
821 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
822 <property name="shadow_type">GTK_SHADOW_IN</property>
823 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
825 <child>
826 <widget class="GtkTreeView" id="feeds_list">
827 <property name="visible">True</property>
828 <property name="can_focus">True</property>
829 <property name="headers_visible">True</property>
830 <property name="rules_hint">False</property>
831 <property name="reorderable">False</property>
832 <property name="enable_search">True</property>
833 <property name="fixed_height_mode">False</property>
834 <property name="hover_selection">False</property>
835 <property name="hover_expand">False</property>
836 </widget>
837 </child>
838 </widget>
839 <packing>
840 <property name="padding">0</property>
841 <property name="expand">True</property>
842 <property name="fill">True</property>
843 </packing>
844 </child>
846 <child>
847 <widget class="GtkVBox" id="vbox5">
848 <property name="border_width">4</property>
849 <property name="visible">True</property>
850 <property name="homogeneous">False</property>
851 <property name="spacing">0</property>
853 <child>
854 <widget class="GtkButton" id="add_remote_feed">
855 <property name="visible">True</property>
856 <property name="can_focus">True</property>
857 <property name="relief">GTK_RELIEF_NORMAL</property>
858 <property name="focus_on_click">True</property>
860 <child>
861 <widget class="GtkAlignment" id="alignment9">
862 <property name="visible">True</property>
863 <property name="xalign">0.5</property>
864 <property name="yalign">0.5</property>
865 <property name="xscale">0</property>
866 <property name="yscale">0</property>
867 <property name="top_padding">0</property>
868 <property name="bottom_padding">0</property>
869 <property name="left_padding">0</property>
870 <property name="right_padding">0</property>
872 <child>
873 <widget class="GtkHBox" id="hbox11">
874 <property name="visible">True</property>
875 <property name="homogeneous">False</property>
876 <property name="spacing">2</property>
878 <child>
879 <widget class="GtkImage" id="image7">
880 <property name="visible">True</property>
881 <property name="stock">gtk-add</property>
882 <property name="icon_size">4</property>
883 <property name="xalign">0.5</property>
884 <property name="yalign">0.5</property>
885 <property name="xpad">0</property>
886 <property name="ypad">0</property>
887 </widget>
888 <packing>
889 <property name="padding">0</property>
890 <property name="expand">False</property>
891 <property name="fill">False</property>
892 </packing>
893 </child>
895 <child>
896 <widget class="GtkLabel" id="label16">
897 <property name="visible">True</property>
898 <property name="label" translatable="yes">Add remote feed</property>
899 <property name="use_underline">True</property>
900 <property name="use_markup">False</property>
901 <property name="justify">GTK_JUSTIFY_LEFT</property>
902 <property name="wrap">False</property>
903 <property name="selectable">False</property>
904 <property name="xalign">0.5</property>
905 <property name="yalign">0.5</property>
906 <property name="xpad">0</property>
907 <property name="ypad">0</property>
908 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
909 <property name="width_chars">-1</property>
910 <property name="single_line_mode">False</property>
911 <property name="angle">0</property>
912 </widget>
913 <packing>
914 <property name="padding">0</property>
915 <property name="expand">False</property>
916 <property name="fill">False</property>
917 </packing>
918 </child>
919 </widget>
920 </child>
921 </widget>
922 </child>
923 </widget>
924 <packing>
925 <property name="padding">0</property>
926 <property name="expand">False</property>
927 <property name="fill">False</property>
928 </packing>
929 </child>
931 <child>
932 <widget class="GtkButton" id="add_local_feed">
933 <property name="visible">True</property>
934 <property name="tooltip" 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>
935 <property name="can_focus">True</property>
936 <property name="relief">GTK_RELIEF_NORMAL</property>
937 <property name="focus_on_click">True</property>
939 <child>
940 <widget class="GtkAlignment" id="alignment10">
941 <property name="visible">True</property>
942 <property name="xalign">0.5</property>
943 <property name="yalign">0.5</property>
944 <property name="xscale">0</property>
945 <property name="yscale">0</property>
946 <property name="top_padding">0</property>
947 <property name="bottom_padding">0</property>
948 <property name="left_padding">0</property>
949 <property name="right_padding">0</property>
951 <child>
952 <widget class="GtkHBox" id="hbox12">
953 <property name="visible">True</property>
954 <property name="homogeneous">False</property>
955 <property name="spacing">2</property>
957 <child>
958 <widget class="GtkImage" id="image8">
959 <property name="visible">True</property>
960 <property name="stock">gtk-add</property>
961 <property name="icon_size">4</property>
962 <property name="xalign">0.5</property>
963 <property name="yalign">0.5</property>
964 <property name="xpad">0</property>
965 <property name="ypad">0</property>
966 </widget>
967 <packing>
968 <property name="padding">0</property>
969 <property name="expand">False</property>
970 <property name="fill">False</property>
971 </packing>
972 </child>
974 <child>
975 <widget class="GtkLabel" id="label17">
976 <property name="visible">True</property>
977 <property name="label" translatable="yes">Add local feed</property>
978 <property name="use_underline">True</property>
979 <property name="use_markup">False</property>
980 <property name="justify">GTK_JUSTIFY_LEFT</property>
981 <property name="wrap">False</property>
982 <property name="selectable">False</property>
983 <property name="xalign">0.5</property>
984 <property name="yalign">0.5</property>
985 <property name="xpad">0</property>
986 <property name="ypad">0</property>
987 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
988 <property name="width_chars">-1</property>
989 <property name="single_line_mode">False</property>
990 <property name="angle">0</property>
991 </widget>
992 <packing>
993 <property name="padding">0</property>
994 <property name="expand">False</property>
995 <property name="fill">False</property>
996 </packing>
997 </child>
998 </widget>
999 </child>
1000 </widget>
1001 </child>
1002 </widget>
1003 <packing>
1004 <property name="padding">0</property>
1005 <property name="expand">False</property>
1006 <property name="fill">False</property>
1007 </packing>
1008 </child>
1010 <child>
1011 <widget class="GtkButton" id="remove_feed">
1012 <property name="visible">True</property>
1013 <property name="can_focus">True</property>
1014 <property name="relief">GTK_RELIEF_NORMAL</property>
1015 <property name="focus_on_click">True</property>
1017 <child>
1018 <widget class="GtkAlignment" id="alignment11">
1019 <property name="visible">True</property>
1020 <property name="xalign">0.5</property>
1021 <property name="yalign">0.5</property>
1022 <property name="xscale">0</property>
1023 <property name="yscale">0</property>
1024 <property name="top_padding">0</property>
1025 <property name="bottom_padding">0</property>
1026 <property name="left_padding">0</property>
1027 <property name="right_padding">0</property>
1029 <child>
1030 <widget class="GtkHBox" id="hbox13">
1031 <property name="visible">True</property>
1032 <property name="homogeneous">False</property>
1033 <property name="spacing">2</property>
1035 <child>
1036 <widget class="GtkImage" id="image9">
1037 <property name="visible">True</property>
1038 <property name="stock">gtk-remove</property>
1039 <property name="icon_size">4</property>
1040 <property name="xalign">0.5</property>
1041 <property name="yalign">0.5</property>
1042 <property name="xpad">0</property>
1043 <property name="ypad">0</property>
1044 </widget>
1045 <packing>
1046 <property name="padding">0</property>
1047 <property name="expand">False</property>
1048 <property name="fill">False</property>
1049 </packing>
1050 </child>
1052 <child>
1053 <widget class="GtkLabel" id="label18">
1054 <property name="visible">True</property>
1055 <property name="label" translatable="yes">Remove feed</property>
1056 <property name="use_underline">True</property>
1057 <property name="use_markup">False</property>
1058 <property name="justify">GTK_JUSTIFY_LEFT</property>
1059 <property name="wrap">False</property>
1060 <property name="selectable">False</property>
1061 <property name="xalign">0.5</property>
1062 <property name="yalign">0.5</property>
1063 <property name="xpad">0</property>
1064 <property name="ypad">0</property>
1065 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1066 <property name="width_chars">-1</property>
1067 <property name="single_line_mode">False</property>
1068 <property name="angle">0</property>
1069 </widget>
1070 <packing>
1071 <property name="padding">0</property>
1072 <property name="expand">False</property>
1073 <property name="fill">False</property>
1074 </packing>
1075 </child>
1076 </widget>
1077 </child>
1078 </widget>
1079 </child>
1080 </widget>
1081 <packing>
1082 <property name="padding">0</property>
1083 <property name="expand">False</property>
1084 <property name="fill">False</property>
1085 </packing>
1086 </child>
1087 </widget>
1088 <packing>
1089 <property name="padding">0</property>
1090 <property name="expand">False</property>
1091 <property name="fill">True</property>
1092 </packing>
1093 </child>
1094 </widget>
1095 <packing>
1096 <property name="shrink">False</property>
1097 <property name="resize">False</property>
1098 </packing>
1099 </child>
1101 <child>
1102 <widget class="GtkScrolledWindow" id="scrolledwindow3">
1103 <property name="border_width">4</property>
1104 <property name="visible">True</property>
1105 <property name="can_focus">True</property>
1106 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1107 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1108 <property name="shadow_type">GTK_SHADOW_IN</property>
1109 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1111 <child>
1112 <widget class="GtkTextView" id="description">
1113 <property name="visible">True</property>
1114 <property name="can_focus">True</property>
1115 <property name="editable">False</property>
1116 <property name="overwrite">False</property>
1117 <property name="accepts_tab">True</property>
1118 <property name="justification">GTK_JUSTIFY_LEFT</property>
1119 <property name="wrap_mode">GTK_WRAP_WORD</property>
1120 <property name="cursor_visible">False</property>
1121 <property name="pixels_above_lines">0</property>
1122 <property name="pixels_below_lines">0</property>
1123 <property name="pixels_inside_wrap">0</property>
1124 <property name="left_margin">4</property>
1125 <property name="right_margin">4</property>
1126 <property name="indent">0</property>
1127 <property name="text" translatable="yes"></property>
1128 </widget>
1129 </child>
1130 </widget>
1131 <packing>
1132 <property name="shrink">True</property>
1133 <property name="resize">True</property>
1134 </packing>
1135 </child>
1136 </widget>
1137 <packing>
1138 <property name="tab_expand">False</property>
1139 <property name="tab_fill">True</property>
1140 </packing>
1141 </child>
1143 <child>
1144 <widget class="GtkLabel" id="label14">
1145 <property name="visible">True</property>
1146 <property name="label" translatable="yes">Feeds</property>
1147 <property name="use_underline">False</property>
1148 <property name="use_markup">False</property>
1149 <property name="justify">GTK_JUSTIFY_LEFT</property>
1150 <property name="wrap">False</property>
1151 <property name="selectable">False</property>
1152 <property name="xalign">0.5</property>
1153 <property name="yalign">0.5</property>
1154 <property name="xpad">0</property>
1155 <property name="ypad">0</property>
1156 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1157 <property name="width_chars">-1</property>
1158 <property name="single_line_mode">False</property>
1159 <property name="angle">0</property>
1160 </widget>
1161 <packing>
1162 <property name="type">tab</property>
1163 </packing>
1164 </child>
1166 <child>
1167 <widget class="GtkVBox" id="vbox6">
1168 <property name="border_width">4</property>
1169 <property name="visible">True</property>
1170 <property name="homogeneous">False</property>
1171 <property name="spacing">4</property>
1173 <child>
1174 <widget class="GtkHBox" id="hbox14">
1175 <property name="visible">True</property>
1176 <property name="homogeneous">False</property>
1177 <property name="spacing">0</property>
1179 <child>
1180 <widget class="GtkLabel" id="label19">
1181 <property name="visible">True</property>
1182 <property name="label" translatable="yes">Preferred stability: </property>
1183 <property name="use_underline">False</property>
1184 <property name="use_markup">False</property>
1185 <property name="justify">GTK_JUSTIFY_LEFT</property>
1186 <property name="wrap">False</property>
1187 <property name="selectable">False</property>
1188 <property name="xalign">0.5</property>
1189 <property name="yalign">0.5</property>
1190 <property name="xpad">0</property>
1191 <property name="ypad">0</property>
1192 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1193 <property name="width_chars">-1</property>
1194 <property name="single_line_mode">False</property>
1195 <property name="angle">0</property>
1196 </widget>
1197 <packing>
1198 <property name="padding">0</property>
1199 <property name="expand">False</property>
1200 <property name="fill">False</property>
1201 </packing>
1202 </child>
1204 <child>
1205 <widget class="GtkEventBox" id="eventbox3">
1206 <property name="visible">True</property>
1207 <property name="tooltip" translatable="yes">Implementations at this stability level or higher will be used in preference to others. You can use this to override the global &quot;Help test new versions&quot; setting just for this interface.</property>
1208 <property name="visible_window">True</property>
1209 <property name="above_child">False</property>
1211 <child>
1212 <widget class="GtkComboBox" id="preferred_stability">
1213 <property name="visible">True</property>
1214 <property name="items" translatable="yes">Use default setting
1215 Stable
1216 Testing
1217 Developer</property>
1218 <property name="add_tearoffs">False</property>
1219 <property name="focus_on_click">True</property>
1220 </widget>
1221 </child>
1222 </widget>
1223 <packing>
1224 <property name="padding">0</property>
1225 <property name="expand">False</property>
1226 <property name="fill">True</property>
1227 </packing>
1228 </child>
1229 </widget>
1230 <packing>
1231 <property name="padding">0</property>
1232 <property name="expand">False</property>
1233 <property name="fill">True</property>
1234 </packing>
1235 </child>
1237 <child>
1238 <widget class="GtkScrolledWindow" id="scrolledwindow5">
1239 <property name="visible">True</property>
1240 <property name="can_focus">True</property>
1241 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1242 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1243 <property name="shadow_type">GTK_SHADOW_IN</property>
1244 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1246 <child>
1247 <widget class="GtkTreeView" id="versions_list">
1248 <property name="visible">True</property>
1249 <property name="can_focus">True</property>
1250 <property name="headers_visible">True</property>
1251 <property name="rules_hint">False</property>
1252 <property name="reorderable">False</property>
1253 <property name="enable_search">True</property>
1254 <property name="fixed_height_mode">False</property>
1255 <property name="hover_selection">False</property>
1256 <property name="hover_expand">False</property>
1257 </widget>
1258 </child>
1259 </widget>
1260 <packing>
1261 <property name="padding">0</property>
1262 <property name="expand">True</property>
1263 <property name="fill">True</property>
1264 </packing>
1265 </child>
1266 </widget>
1267 <packing>
1268 <property name="tab_expand">False</property>
1269 <property name="tab_fill">True</property>
1270 </packing>
1271 </child>
1273 <child>
1274 <widget class="GtkLabel" id="label15">
1275 <property name="visible">True</property>
1276 <property name="label" translatable="yes">Versions</property>
1277 <property name="use_underline">False</property>
1278 <property name="use_markup">False</property>
1279 <property name="justify">GTK_JUSTIFY_LEFT</property>
1280 <property name="wrap">False</property>
1281 <property name="selectable">False</property>
1282 <property name="xalign">0.5</property>
1283 <property name="yalign">0.5</property>
1284 <property name="xpad">0</property>
1285 <property name="ypad">0</property>
1286 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1287 <property name="width_chars">-1</property>
1288 <property name="single_line_mode">False</property>
1289 <property name="angle">0</property>
1290 </widget>
1291 <packing>
1292 <property name="type">tab</property>
1293 </packing>
1294 </child>
1295 </widget>
1296 <packing>
1297 <property name="padding">0</property>
1298 <property name="expand">True</property>
1299 <property name="fill">True</property>
1300 </packing>
1301 </child>
1302 </widget>
1303 </child>
1304 </widget>
1306 </glade-interface>