« back to all changes in this revision
Viewing changes to gtk/glade/window_preferences.glade
- browse files at revision 5
- compare with another revision
- download diff
- download tarball
- view history from revision 5
- Committer: Bazaar Package Importer
- Author(s): Michael Vogt
- Date: 2008-06-18 10:17:31 UTC
- Revision ID: james.westby@ubuntu.com-20080618101731-fb77n5hy28hcq3g3
Tags: 0.62.1
* po/es.po:
- updated Spanish translation (thanks to
Francisco Javier Cuadrado)
* debian/control:
- added "menu" to the recommends (closes: #478250)
* gtk/glade/window_main.glade:
- make the main vpane shinkable
* gtk/rgmainwindow.cc:
- do not loose the keyboard focus after a package
action in the listview
* debian/control:
- switch bzr branch to bzr.debian.org
- updated Spanish translation (thanks to
Francisco Javier Cuadrado)
* debian/control:
- added "menu" to the recommends (closes: #478250)
* gtk/glade/window_main.glade:
- make the main vpane shinkable
* gtk/rgmainwindow.cc:
- do not loose the keyboard focus after a package
action in the listview
* debian/control:
- switch bzr branch to bzr.debian.org
- files added:
- DEBUG
- doc/html/sv
- gtk/glade
- help/sv
- help/sv/figures
- pixmaps/hicolor
- pixmaps/hicolor/16x16
- pixmaps/hicolor/24x24
- files removed:
- common/Makefile
- files modified:
- INSTALL
added
removed
gtk/glade/window_preferences.glade
1
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4
<glade-interface>
5
6
<widget class="GtkWindow" id="window_preferences">
7
<property name="title" translatable="yes">Preferences</property>
8
<property name="type">GTK_WINDOW_TOPLEVEL</property>
9
<property name="window_position">GTK_WIN_POS_CENTER</property>
10
<property name="modal">True</property>
11
<property name="resizable">False</property>
12
<property name="destroy_with_parent">False</property>
13
<property name="icon">synaptic_mini.xpm</property>
14
<property name="decorated">True</property>
15
<property name="skip_taskbar_hint">False</property>
16
<property name="skip_pager_hint">False</property>
17
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
18
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
19
<property name="focus_on_map">True</property>
20
<property name="urgency_hint">False</property>
21
22
<child>
23
<widget class="GtkVBox" id="vbox8">
24
<property name="border_width">6</property>
25
<property name="visible">True</property>
26
<property name="homogeneous">False</property>
27
<property name="spacing">0</property>
28
29
<child>
30
<widget class="GtkNotebook" id="notebook_prefs">
31
<property name="border_width">6</property>
32
<property name="visible">True</property>
33
<property name="can_focus">True</property>
34
<property name="show_tabs">True</property>
35
<property name="show_border">True</property>
36
<property name="tab_pos">GTK_POS_TOP</property>
37
<property name="scrollable">False</property>
38
<property name="enable_popup">False</property>
39
40
<child>
41
<widget class="GtkVBox" id="vbox11">
42
<property name="border_width">12</property>
43
<property name="visible">True</property>
44
<property name="homogeneous">False</property>
45
<property name="spacing">18</property>
46
47
<child>
48
<widget class="GtkVBox" id="vbox17">
49
<property name="visible">True</property>
50
<property name="homogeneous">False</property>
51
<property name="spacing">6</property>
52
53
<child>
54
<widget class="GtkLabel" id="label71">
55
<property name="visible">True</property>
56
<property name="label" translatable="yes"><b>Appearance</b></property>
57
<property name="use_underline">False</property>
58
<property name="use_markup">True</property>
59
<property name="justify">GTK_JUSTIFY_LEFT</property>
60
<property name="wrap">False</property>
61
<property name="selectable">False</property>
62
<property name="xalign">0</property>
63
<property name="yalign">0.5</property>
64
<property name="xpad">0</property>
65
<property name="ypad">0</property>
66
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
67
<property name="width_chars">-1</property>
68
<property name="single_line_mode">False</property>
69
<property name="angle">0</property>
70
</widget>
71
<packing>
72
<property name="padding">0</property>
73
<property name="expand">False</property>
74
<property name="fill">False</property>
75
</packing>
76
</child>
77
78
<child>
79
<widget class="GtkHBox" id="hbox3">
80
<property name="visible">True</property>
81
<property name="homogeneous">False</property>
82
<property name="spacing">0</property>
83
84
<child>
85
<widget class="GtkLabel" id="label72">
86
<property name="visible">True</property>
87
<property name="label" translatable="yes"> </property>
88
<property name="use_underline">False</property>
89
<property name="use_markup">False</property>
90
<property name="justify">GTK_JUSTIFY_LEFT</property>
91
<property name="wrap">False</property>
92
<property name="selectable">False</property>
93
<property name="xalign">0.5</property>
94
<property name="yalign">0.5</property>
95
<property name="xpad">0</property>
96
<property name="ypad">0</property>
97
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
98
<property name="width_chars">-1</property>
99
<property name="single_line_mode">False</property>
100
<property name="angle">0</property>
101
</widget>
102
<packing>
103
<property name="padding">0</property>
104
<property name="expand">False</property>
105
<property name="fill">False</property>
106
</packing>
107
</child>
108
109
<child>
110
<widget class="GtkVBox" id="vbox12">
111
<property name="visible">True</property>
112
<property name="homogeneous">False</property>
113
<property name="spacing">6</property>
114
115
<child>
116
<widget class="GtkCheckButton" id="check_show_all_pkg_info">
117
<property name="border_width">2</property>
118
<property name="visible">True</property>
119
<property name="can_focus">True</property>
120
<property name="label" translatable="yes">Show package properties in the main window</property>
121
<property name="use_underline">True</property>
122
<property name="relief">GTK_RELIEF_NORMAL</property>
123
<property name="focus_on_click">True</property>
124
<property name="active">False</property>
125
<property name="inconsistent">False</property>
126
<property name="draw_indicator">True</property>
127
</widget>
128
<packing>
129
<property name="padding">0</property>
130
<property name="expand">False</property>
131
<property name="fill">False</property>
132
</packing>
133
</child>
134
</widget>
135
<packing>
136
<property name="padding">0</property>
137
<property name="expand">False</property>
138
<property name="fill">False</property>
139
</packing>
140
</child>
141
</widget>
142
<packing>
143
<property name="padding">0</property>
144
<property name="expand">False</property>
145
<property name="fill">False</property>
146
</packing>
147
</child>
148
</widget>
149
<packing>
150
<property name="padding">0</property>
151
<property name="expand">False</property>
152
<property name="fill">False</property>
153
</packing>
154
</child>
155
156
<child>
157
<widget class="GtkVBox" id="vbox18">
158
<property name="visible">True</property>
159
<property name="homogeneous">False</property>
160
<property name="spacing">6</property>
161
162
<child>
163
<widget class="GtkLabel" id="label73">
164
<property name="visible">True</property>
165
<property name="label" translatable="yes"><b>Marking Changes</b></property>
166
<property name="use_underline">False</property>
167
<property name="use_markup">True</property>
168
<property name="justify">GTK_JUSTIFY_LEFT</property>
169
<property name="wrap">False</property>
170
<property name="selectable">False</property>
171
<property name="xalign">0</property>
172
<property name="yalign">0.5</property>
173
<property name="xpad">0</property>
174
<property name="ypad">0</property>
175
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
176
<property name="width_chars">-1</property>
177
<property name="single_line_mode">False</property>
178
<property name="angle">0</property>
179
</widget>
180
<packing>
181
<property name="padding">0</property>
182
<property name="expand">False</property>
183
<property name="fill">False</property>
184
</packing>
185
</child>
186
187
<child>
188
<widget class="GtkHBox" id="hbox4">
189
<property name="visible">True</property>
190
<property name="homogeneous">False</property>
191
<property name="spacing">0</property>
192
193
<child>
194
<widget class="GtkLabel" id="label74">
195
<property name="visible">True</property>
196
<property name="label" translatable="yes"> </property>
197
<property name="use_underline">False</property>
198
<property name="use_markup">False</property>
199
<property name="justify">GTK_JUSTIFY_LEFT</property>
200
<property name="wrap">False</property>
201
<property name="selectable">False</property>
202
<property name="xalign">0.5</property>
203
<property name="yalign">0.5</property>
204
<property name="xpad">0</property>
205
<property name="ypad">0</property>
206
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
207
<property name="width_chars">-1</property>
208
<property name="single_line_mode">False</property>
209
<property name="angle">0</property>
210
</widget>
211
<packing>
212
<property name="padding">0</property>
213
<property name="expand">False</property>
214
<property name="fill">False</property>
215
</packing>
216
</child>
217
218
<child>
219
<widget class="GtkVBox" id="vbox13">
220
<property name="border_width">2</property>
221
<property name="visible">True</property>
222
<property name="homogeneous">False</property>
223
<property name="spacing">6</property>
224
225
<child>
226
<widget class="GtkCheckButton" id="check_ask_related">
227
<property name="border_width">2</property>
228
<property name="visible">True</property>
229
<property name="can_focus">True</property>
230
<property name="label" translatable="yes">Ask to confirm changes that also affect other packages</property>
231
<property name="use_underline">True</property>
232
<property name="relief">GTK_RELIEF_NORMAL</property>
233
<property name="focus_on_click">True</property>
234
<property name="active">False</property>
235
<property name="inconsistent">False</property>
236
<property name="draw_indicator">True</property>
237
</widget>
238
<packing>
239
<property name="padding">0</property>
240
<property name="expand">False</property>
241
<property name="fill">False</property>
242
</packing>
243
</child>
244
245
<child>
246
<widget class="GtkCheckButton" id="check_recommends">
247
<property name="border_width">2</property>
248
<property name="visible">True</property>
249
<property name="can_focus">True</property>
250
<property name="label" translatable="yes">Consider recommended packages as dependencies</property>
251
<property name="use_underline">True</property>
252
<property name="relief">GTK_RELIEF_NORMAL</property>
253
<property name="focus_on_click">True</property>
254
<property name="active">False</property>
255
<property name="inconsistent">False</property>
256
<property name="draw_indicator">True</property>
257
</widget>
258
<packing>
259
<property name="padding">0</property>
260
<property name="expand">False</property>
261
<property name="fill">False</property>
262
</packing>
263
</child>
264
265
<child>
266
<widget class="GtkCheckButton" id="check_oneclick">
267
<property name="border_width">2</property>
268
<property name="visible">True</property>
269
<property name="can_focus">True</property>
270
<property name="label" translatable="yes">Clicking on the status icon marks the most likely action</property>
271
<property name="use_underline">True</property>
272
<property name="relief">GTK_RELIEF_NORMAL</property>
273
<property name="focus_on_click">True</property>
274
<property name="active">False</property>
275
<property name="inconsistent">False</property>
276
<property name="draw_indicator">True</property>
277
</widget>
278
<packing>
279
<property name="padding">0</property>
280
<property name="expand">False</property>
281
<property name="fill">False</property>
282
</packing>
283
</child>
284
285
<child>
286
<widget class="GtkTable" id="table7">
287
<property name="visible">True</property>
288
<property name="n_rows">4</property>
289
<property name="n_columns">2</property>
290
<property name="homogeneous">False</property>
291
<property name="row_spacing">6</property>
292
<property name="column_spacing">12</property>
293
294
<child>
295
<widget class="GtkHBox" id="hbox62">
296
<property name="visible">True</property>
297
<property name="homogeneous">False</property>
298
<property name="spacing">0</property>
299
300
<child>
301
<widget class="GtkOptionMenu" id="optionmenu_delbutton_action">
302
<property name="can_focus">True</property>
303
<property name="history">0</property>
304
305
<child>
306
<widget class="GtkMenu" id="menu2">
307
308
<child>
309
<widget class="GtkMenuItem" id="menuitem1">
310
<property name="visible">True</property>
311
<property name="label" translatable="yes">Keep Configuration</property>
312
<property name="use_underline">True</property>
313
<signal name="activate" handler="on_delete1_activate" last_modification_time="Wed, 16 Jul 2003 10:04:23 GMT"/>
314
</widget>
315
</child>
316
317
<child>
318
<widget class="GtkMenuItem" id="menuitem_purge">
319
<property name="visible">True</property>
320
<property name="label" translatable="yes">Completely</property>
321
<property name="use_underline">True</property>
322
<signal name="activate" handler="on_purge1_activate" last_modification_time="Wed, 16 Jul 2003 10:04:23 GMT"/>
323
</widget>
324
</child>
325
</widget>
326
</child>
327
</widget>
328
<packing>
329
<property name="padding">0</property>
330
<property name="expand">True</property>
331
<property name="fill">True</property>
332
</packing>
333
</child>
334
</widget>
335
<packing>
336
<property name="left_attach">1</property>
337
<property name="right_attach">2</property>
338
<property name="top_attach">0</property>
339
<property name="bottom_attach">1</property>
340
<property name="x_options">fill</property>
341
<property name="y_options">fill</property>
342
</packing>
343
</child>
344
345
<child>
346
<widget class="GtkLabel" id="label_removal">
347
<property name="label" translatable="yes">Removal of packages: </property>
348
<property name="use_underline">True</property>
349
<property name="use_markup">False</property>
350
<property name="justify">GTK_JUSTIFY_LEFT</property>
351
<property name="wrap">False</property>
352
<property name="selectable">False</property>
353
<property name="xalign">0</property>
354
<property name="yalign">0.5</property>
355
<property name="xpad">0</property>
356
<property name="ypad">0</property>
357
<property name="mnemonic_widget">optionmenu_delbutton_action</property>
358
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
359
<property name="width_chars">-1</property>
360
<property name="single_line_mode">False</property>
361
<property name="angle">0</property>
362
</widget>
363
<packing>
364
<property name="left_attach">0</property>
365
<property name="right_attach">1</property>
366
<property name="top_attach">0</property>
367
<property name="bottom_attach">1</property>
368
<property name="x_options">fill</property>
369
<property name="y_options"></property>
370
</packing>
371
</child>
372
373
<child>
374
<widget class="GtkLabel" id="label146">
375
<property name="visible">True</property>
376
<property name="label" translatable="yes">System upgrade:</property>
377
<property name="use_underline">False</property>
378
<property name="use_markup">False</property>
379
<property name="justify">GTK_JUSTIFY_LEFT</property>
380
<property name="wrap">False</property>
381
<property name="selectable">False</property>
382
<property name="xalign">0</property>
383
<property name="yalign">0.5</property>
384
<property name="xpad">0</property>
385
<property name="ypad">0</property>
386
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
387
<property name="width_chars">-1</property>
388
<property name="single_line_mode">False</property>
389
<property name="angle">0</property>
390
</widget>
391
<packing>
392
<property name="left_attach">0</property>
393
<property name="right_attach">1</property>
394
<property name="top_attach">1</property>
395
<property name="bottom_attach">2</property>
396
<property name="x_options">fill</property>
397
<property name="y_options"></property>
398
</packing>
399
</child>
400
401
<child>
402
<widget class="GtkOptionMenu" id="optionmenu_upgrade_method">
403
<property name="visible">True</property>
404
<property name="can_focus">True</property>
405
<property name="history">0</property>
406
407
<child>
408
<widget class="GtkMenu" id="menu4">
409
410
<child>
411
<widget class="GtkMenuItem" id="menu_always_ask">
412
<property name="visible">True</property>
413
<property name="label" translatable="yes">Always Ask</property>
414
<property name="use_underline">True</property>
415
<signal name="activate" handler="on_always_ask_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
416
</widget>
417
</child>
418
419
<child>
420
<widget class="GtkMenuItem" id="menu_normal_upgrade">
421
<property name="visible">True</property>
422
<property name="label" translatable="yes">Default Upgrade</property>
423
<property name="use_underline">True</property>
424
<signal name="activate" handler="on_normal_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
425
</widget>
426
</child>
427
428
<child>
429
<widget class="GtkMenuItem" id="distribution_upgrade">
430
<property name="visible">True</property>
431
<property name="label" translatable="yes">Smart Upgrade</property>
432
<property name="use_underline">True</property>
433
<signal name="activate" handler="on_distribution_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
434
</widget>
435
</child>
436
</widget>
437
</child>
438
</widget>
439
<packing>
440
<property name="left_attach">1</property>
441
<property name="right_attach">2</property>
442
<property name="top_attach">1</property>
443
<property name="bottom_attach">2</property>
444
<property name="y_options"></property>
445
</packing>
446
</child>
447
448
<child>
449
<widget class="GtkLabel" id="label123">
450
<property name="visible">True</property>
451
<property name="label" translatable="yes">Number of undo operations:</property>
452
<property name="use_underline">False</property>
453
<property name="use_markup">False</property>
454
<property name="justify">GTK_JUSTIFY_LEFT</property>
455
<property name="wrap">False</property>
456
<property name="selectable">False</property>
457
<property name="xalign">0</property>
458
<property name="yalign">0.5</property>
459
<property name="xpad">0</property>
460
<property name="ypad">0</property>
461
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
462
<property name="width_chars">-1</property>
463
<property name="single_line_mode">False</property>
464
<property name="angle">0</property>
465
</widget>
466
<packing>
467
<property name="left_attach">0</property>
468
<property name="right_attach">1</property>
469
<property name="top_attach">3</property>
470
<property name="bottom_attach">4</property>
471
<property name="x_options">fill</property>
472
<property name="y_options"></property>
473
</packing>
474
</child>
475
476
<child>
477
<widget class="GtkHBox" id="hbox63">
478
<property name="visible">True</property>
479
<property name="homogeneous">False</property>
480
<property name="spacing">0</property>
481
482
<child>
483
<widget class="GtkSpinButton" id="spinbutton_max_undos">
484
<property name="visible">True</property>
485
<property name="can_focus">True</property>
486
<property name="climb_rate">1</property>
487
<property name="digits">0</property>
488
<property name="numeric">False</property>
489
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
490
<property name="snap_to_ticks">False</property>
491
<property name="wrap">False</property>
492
<property name="adjustment">20 0 1000 1 10 10</property>
493
</widget>
494
<packing>
495
<property name="padding">0</property>
496
<property name="expand">False</property>
497
<property name="fill">True</property>
498
</packing>
499
</child>
500
501
<child>
502
<widget class="GtkLabel" id="label137">
503
<property name="visible">True</property>
504
<property name="label" translatable="yes"> </property>
505
<property name="use_underline">False</property>
506
<property name="use_markup">False</property>
507
<property name="justify">GTK_JUSTIFY_LEFT</property>
508
<property name="wrap">False</property>
509
<property name="selectable">False</property>
510
<property name="xalign">0.5</property>
511
<property name="yalign">0.5</property>
512
<property name="xpad">0</property>
513
<property name="ypad">0</property>
514
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
515
<property name="width_chars">-1</property>
516
<property name="single_line_mode">False</property>
517
<property name="angle">0</property>
518
</widget>
519
<packing>
520
<property name="padding">0</property>
521
<property name="expand">True</property>
522
<property name="fill">True</property>
523
</packing>
524
</child>
525
</widget>
526
<packing>
527
<property name="left_attach">1</property>
528
<property name="right_attach">2</property>
529
<property name="top_attach">3</property>
530
<property name="bottom_attach">4</property>
531
<property name="x_options">fill</property>
532
<property name="y_options">fill</property>
533
</packing>
534
</child>
535
536
<child>
537
<widget class="GtkLabel" id="label165">
538
<property name="visible">True</property>
539
<property name="label" translatable="yes">Reloading outdated package information:</property>
540
<property name="use_underline">False</property>
541
<property name="use_markup">False</property>
542
<property name="justify">GTK_JUSTIFY_LEFT</property>
543
<property name="wrap">False</property>
544
<property name="selectable">False</property>
545
<property name="xalign">0</property>
546
<property name="yalign">0.5</property>
547
<property name="xpad">0</property>
548
<property name="ypad">0</property>
549
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
550
<property name="width_chars">-1</property>
551
<property name="single_line_mode">False</property>
552
<property name="angle">0</property>
553
</widget>
554
<packing>
555
<property name="left_attach">0</property>
556
<property name="right_attach">1</property>
557
<property name="top_attach">2</property>
558
<property name="bottom_attach">3</property>
559
<property name="x_options">fill</property>
560
<property name="y_options"></property>
561
</packing>
562
</child>
563
564
<child>
565
<widget class="GtkOptionMenu" id="optionmenu_update_ask">
566
<property name="visible">True</property>
567
<property name="can_focus">True</property>
568
<property name="history">0</property>
569
570
<child>
571
<widget class="GtkMenu" id="menu5">
572
573
<child>
574
<widget class="GtkMenuItem" id="menuitem2">
575
<property name="visible">True</property>
576
<property name="label" translatable="yes">Always Ask</property>
577
<property name="use_underline">True</property>
578
<signal name="activate" handler="on_always_ask_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
579
</widget>
580
</child>
581
582
<child>
583
<widget class="GtkMenuItem" id="menuitem3">
584
<property name="visible">True</property>
585
<property name="label" translatable="yes">Ignore</property>
586
<property name="use_underline">True</property>
587
<signal name="activate" handler="on_normal_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
588
</widget>
589
</child>
590
591
<child>
592
<widget class="GtkMenuItem" id="menuitem4">
593
<property name="visible">True</property>
594
<property name="label" translatable="yes">Automatically</property>
595
<property name="use_underline">True</property>
596
<signal name="activate" handler="on_distribution_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
597
</widget>
598
</child>
599
</widget>
600
</child>
601
</widget>
602
<packing>
603
<property name="left_attach">1</property>
604
<property name="right_attach">2</property>
605
<property name="top_attach">2</property>
606
<property name="bottom_attach">3</property>
607
<property name="x_options">fill</property>
608
<property name="y_options"></property>
609
</packing>
610
</child>
611
</widget>
612
<packing>
613
<property name="padding">0</property>
614
<property name="expand">True</property>
615
<property name="fill">True</property>
616
</packing>
617
</child>
618
</widget>
619
<packing>
620
<property name="padding">0</property>
621
<property name="expand">True</property>
622
<property name="fill">True</property>
623
</packing>
624
</child>
625
</widget>
626
<packing>
627
<property name="padding">0</property>
628
<property name="expand">True</property>
629
<property name="fill">True</property>
630
</packing>
631
</child>
632
</widget>
633
<packing>
634
<property name="padding">0</property>
635
<property name="expand">False</property>
636
<property name="fill">False</property>
637
</packing>
638
</child>
639
640
<child>
641
<widget class="GtkVBox" id="vbox40">
642
<property name="visible">True</property>
643
<property name="homogeneous">False</property>
644
<property name="spacing">6</property>
645
646
<child>
647
<widget class="GtkLabel" id="label162">
648
<property name="visible">True</property>
649
<property name="label" translatable="yes"><b>Applying Changes</b></property>
650
<property name="use_underline">False</property>
651
<property name="use_markup">True</property>
652
<property name="justify">GTK_JUSTIFY_LEFT</property>
653
<property name="wrap">False</property>
654
<property name="selectable">False</property>
655
<property name="xalign">0</property>
656
<property name="yalign">0.5</property>
657
<property name="xpad">0</property>
658
<property name="ypad">0</property>
659
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
660
<property name="width_chars">-1</property>
661
<property name="single_line_mode">False</property>
662
<property name="angle">0</property>
663
</widget>
664
<packing>
665
<property name="padding">0</property>
666
<property name="expand">False</property>
667
<property name="fill">False</property>
668
</packing>
669
</child>
670
671
<child>
672
<widget class="GtkHBox" id="hbox79">
673
<property name="visible">True</property>
674
<property name="homogeneous">False</property>
675
<property name="spacing">0</property>
676
677
<child>
678
<widget class="GtkLabel" id="label161">
679
<property name="visible">True</property>
680
<property name="label" translatable="yes"> </property>
681
<property name="use_underline">False</property>
682
<property name="use_markup">False</property>
683
<property name="justify">GTK_JUSTIFY_LEFT</property>
684
<property name="wrap">False</property>
685
<property name="selectable">False</property>
686
<property name="xalign">0.5</property>
687
<property name="yalign">0.5</property>
688
<property name="xpad">0</property>
689
<property name="ypad">0</property>
690
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
691
<property name="width_chars">-1</property>
692
<property name="single_line_mode">False</property>
693
<property name="angle">0</property>
694
</widget>
695
<packing>
696
<property name="padding">0</property>
697
<property name="expand">False</property>
698
<property name="fill">False</property>
699
</packing>
700
</child>
701
702
<child>
703
<widget class="GtkVBox" id="vbox41">
704
<property name="visible">True</property>
705
<property name="homogeneous">False</property>
706
<property name="spacing">0</property>
707
708
<child>
709
<widget class="GtkCheckButton" id="check_terminal">
710
<property name="border_width">2</property>
711
<property name="visible">True</property>
712
<property name="can_focus">True</property>
713
<property name="label" translatable="yes">Apply changes in a terminal window</property>
714
<property name="use_underline">True</property>
715
<property name="relief">GTK_RELIEF_NORMAL</property>
716
<property name="focus_on_click">True</property>
717
<property name="active">False</property>
718
<property name="inconsistent">False</property>
719
<property name="draw_indicator">True</property>
720
</widget>
721
<packing>
722
<property name="padding">0</property>
723
<property name="expand">False</property>
724
<property name="fill">False</property>
725
</packing>
726
</child>
727
728
<child>
729
<widget class="GtkCheckButton" id="check_ask_quit">
730
<property name="border_width">2</property>
731
<property name="visible">True</property>
732
<property name="can_focus">True</property>
733
<property name="label" translatable="yes">Ask to quit after the changes have been applied successfully</property>
734
<property name="use_underline">True</property>
735
<property name="relief">GTK_RELIEF_NORMAL</property>
736
<property name="focus_on_click">True</property>
737
<property name="active">False</property>
738
<property name="inconsistent">False</property>
739
<property name="draw_indicator">True</property>
740
</widget>
741
<packing>
742
<property name="padding">0</property>
743
<property name="expand">False</property>
744
<property name="fill">False</property>
745
</packing>
746
</child>
747
</widget>
748
<packing>
749
<property name="padding">0</property>
750
<property name="expand">True</property>
751
<property name="fill">True</property>
752
</packing>
753
</child>
754
</widget>
755
<packing>
756
<property name="padding">0</property>
757
<property name="expand">True</property>
758
<property name="fill">True</property>
759
</packing>
760
</child>
761
</widget>
762
<packing>
763
<property name="padding">0</property>
764
<property name="expand">False</property>
765
<property name="fill">True</property>
766
</packing>
767
</child>
768
</widget>
769
<packing>
770
<property name="tab_expand">False</property>
771
<property name="tab_fill">False</property>
772
</packing>
773
</child>
774
775
<child>
776
<widget class="GtkLabel" id="label50">
777
<property name="visible">True</property>
778
<property name="label" translatable="yes">General</property>
779
<property name="use_underline">False</property>
780
<property name="use_markup">False</property>
781
<property name="justify">GTK_JUSTIFY_CENTER</property>
782
<property name="wrap">False</property>
783
<property name="selectable">False</property>
784
<property name="xalign">0.5</property>
785
<property name="yalign">0.5</property>
786
<property name="xpad">0</property>
787
<property name="ypad">0</property>
788
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
789
<property name="width_chars">-1</property>
790
<property name="single_line_mode">False</property>
791
<property name="angle">0</property>
792
</widget>
793
<packing>
794
<property name="type">tab</property>
795
</packing>
796
</child>
797
798
<child>
799
<widget class="GtkVBox" id="vbox27">
800
<property name="border_width">12</property>
801
<property name="visible">True</property>
802
<property name="homogeneous">False</property>
803
<property name="spacing">18</property>
804
805
<child>
806
<widget class="GtkVBox" id="vbox38">
807
<property name="visible">True</property>
808
<property name="homogeneous">False</property>
809
<property name="spacing">6</property>
810
811
<child>
812
<widget class="GtkLabel" id="label157">
813
<property name="visible">True</property>
814
<property name="label" translatable="yes"><b>Columns</b></property>
815
<property name="use_underline">False</property>
816
<property name="use_markup">True</property>
817
<property name="justify">GTK_JUSTIFY_LEFT</property>
818
<property name="wrap">False</property>
819
<property name="selectable">False</property>
820
<property name="xalign">0</property>
821
<property name="yalign">0.5</property>
822
<property name="xpad">0</property>
823
<property name="ypad">0</property>
824
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
825
<property name="width_chars">-1</property>
826
<property name="single_line_mode">False</property>
827
<property name="angle">0</property>
828
</widget>
829
<packing>
830
<property name="padding">0</property>
831
<property name="expand">False</property>
832
<property name="fill">False</property>
833
</packing>
834
</child>
835
836
<child>
837
<widget class="GtkHBox" id="hbox75">
838
<property name="height_request">174</property>
839
<property name="visible">True</property>
840
<property name="homogeneous">False</property>
841
<property name="spacing">0</property>
842
843
<child>
844
<widget class="GtkLabel" id="label158">
845
<property name="visible">True</property>
846
<property name="label" translatable="yes"> </property>
847
<property name="use_underline">False</property>
848
<property name="use_markup">False</property>
849
<property name="justify">GTK_JUSTIFY_LEFT</property>
850
<property name="wrap">False</property>
851
<property name="selectable">False</property>
852
<property name="xalign">0.5</property>
853
<property name="yalign">0.5</property>
854
<property name="xpad">0</property>
855
<property name="ypad">0</property>
856
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
857
<property name="width_chars">-1</property>
858
<property name="single_line_mode">False</property>
859
<property name="angle">0</property>
860
</widget>
861
<packing>
862
<property name="padding">0</property>
863
<property name="expand">False</property>
864
<property name="fill">False</property>
865
</packing>
866
</child>
867
868
<child>
869
<widget class="GtkHBox" id="hbox76">
870
<property name="visible">True</property>
871
<property name="homogeneous">False</property>
872
<property name="spacing">12</property>
873
874
<child>
875
<widget class="GtkScrolledWindow" id="scrolledwindow1">
876
<property name="visible">True</property>
877
<property name="can_focus">True</property>
878
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
879
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
880
<property name="shadow_type">GTK_SHADOW_IN</property>
881
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
882
883
<child>
884
<widget class="GtkTreeView" id="treeview_columns">
885
<property name="visible">True</property>
886
<property name="can_focus">True</property>
887
<property name="headers_visible">True</property>
888
<property name="rules_hint">False</property>
889
<property name="reorderable">False</property>
890
<property name="enable_search">True</property>
891
<property name="fixed_height_mode">False</property>
892
<property name="hover_selection">False</property>
893
<property name="hover_expand">False</property>
894
</widget>
895
</child>
896
</widget>
897
<packing>
898
<property name="padding">0</property>
899
<property name="expand">True</property>
900
<property name="fill">True</property>
901
</packing>
902
</child>
903
904
<child>
905
<widget class="GtkVBox" id="vbox39">
906
<property name="visible">True</property>
907
<property name="homogeneous">False</property>
908
<property name="spacing">6</property>
909
910
<child>
911
<widget class="GtkButton" id="button_column_up">
912
<property name="visible">True</property>
913
<property name="can_focus">True</property>
914
<property name="relief">GTK_RELIEF_NORMAL</property>
915
<property name="focus_on_click">True</property>
916
<signal name="clicked" handler="on_button_column_up_clicked" last_modification_time="Fri, 16 Jul 2004 03:53:42 GMT"/>
917
918
<child>
919
<widget class="GtkAlignment" id="alignment4">
920
<property name="visible">True</property>
921
<property name="xalign">0.5</property>
922
<property name="yalign">0.5</property>
923
<property name="xscale">0</property>
924
<property name="yscale">0</property>
925
<property name="top_padding">0</property>
926
<property name="bottom_padding">0</property>
927
<property name="left_padding">0</property>
928
<property name="right_padding">0</property>
929
930
<child>
931
<widget class="GtkHBox" id="hbox80">
932
<property name="visible">True</property>
933
<property name="homogeneous">False</property>
934
<property name="spacing">2</property>
935
936
<child>
937
<widget class="GtkImage" id="image11">
938
<property name="visible">True</property>
939
<property name="stock">gtk-go-up</property>
940
<property name="icon_size">4</property>
941
<property name="xalign">0.5</property>
942
<property name="yalign">0.5</property>
943
<property name="xpad">0</property>
944
<property name="ypad">0</property>
945
</widget>
946
<packing>
947
<property name="padding">0</property>
948
<property name="expand">False</property>
949
<property name="fill">False</property>
950
</packing>
951
</child>
952
953
<child>
954
<widget class="GtkLabel" id="label163">
955
<property name="visible">True</property>
956
<property name="label" translatable="yes">Move _Up</property>
957
<property name="use_underline">True</property>
958
<property name="use_markup">False</property>
959
<property name="justify">GTK_JUSTIFY_LEFT</property>
960
<property name="wrap">False</property>
961
<property name="selectable">False</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
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
967
<property name="width_chars">-1</property>
968
<property name="single_line_mode">False</property>
969
<property name="angle">0</property>
970
</widget>
971
<packing>
972
<property name="padding">0</property>
973
<property name="expand">False</property>
974
<property name="fill">False</property>
975
</packing>
976
</child>
977
</widget>
978
</child>
979
</widget>
980
</child>
981
</widget>
982
<packing>
983
<property name="padding">0</property>
984
<property name="expand">False</property>
985
<property name="fill">False</property>
986
</packing>
987
</child>
988
989
<child>
990
<widget class="GtkButton" id="button_column_down">
991
<property name="visible">True</property>
992
<property name="can_focus">True</property>
993
<property name="relief">GTK_RELIEF_NORMAL</property>
994
<property name="focus_on_click">True</property>
995
<signal name="clicked" handler="on_button_column_down_clicked" last_modification_time="Fri, 16 Jul 2004 03:57:22 GMT"/>
996
997
<child>
998
<widget class="GtkAlignment" id="alignment5">
999
<property name="visible">True</property>
1000
<property name="xalign">0.5</property>
1001
<property name="yalign">0.5</property>
1002
<property name="xscale">0</property>
1003
<property name="yscale">0</property>
1004
<property name="top_padding">0</property>
1005
<property name="bottom_padding">0</property>
1006
<property name="left_padding">0</property>
1007
<property name="right_padding">0</property>
1008
1009
<child>
1010
<widget class="GtkHBox" id="hbox81">
1011
<property name="visible">True</property>
1012
<property name="homogeneous">False</property>
1013
<property name="spacing">2</property>
1014
1015
<child>
1016
<widget class="GtkImage" id="image12">
1017
<property name="visible">True</property>
1018
<property name="stock">gtk-go-down</property>
1019
<property name="icon_size">4</property>
1020
<property name="xalign">0.5</property>
1021
<property name="yalign">0.5</property>
1022
<property name="xpad">0</property>
1023
<property name="ypad">0</property>
1024
</widget>
1025
<packing>
1026
<property name="padding">0</property>
1027
<property name="expand">False</property>
1028
<property name="fill">False</property>
1029
</packing>
1030
</child>
1031
1032
<child>
1033
<widget class="GtkLabel" id="label164">
1034
<property name="visible">True</property>
1035
<property name="label" translatable="yes">Move D_own</property>
1036
<property name="use_underline">True</property>
1037
<property name="use_markup">False</property>
1038
<property name="justify">GTK_JUSTIFY_LEFT</property>
1039
<property name="wrap">False</property>
1040
<property name="selectable">False</property>
1041
<property name="xalign">0.5</property>
1042
<property name="yalign">0.5</property>
1043
<property name="xpad">0</property>
1044
<property name="ypad">0</property>
1045
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1046
<property name="width_chars">-1</property>
1047
<property name="single_line_mode">False</property>
1048
<property name="angle">0</property>
1049
</widget>
1050
<packing>
1051
<property name="padding">0</property>
1052
<property name="expand">False</property>
1053
<property name="fill">False</property>
1054
</packing>
1055
</child>
1056
</widget>
1057
</child>
1058
</widget>
1059
</child>
1060
</widget>
1061
<packing>
1062
<property name="padding">0</property>
1063
<property name="expand">False</property>
1064
<property name="fill">False</property>
1065
</packing>
1066
</child>
1067
</widget>
1068
<packing>
1069
<property name="padding">0</property>
1070
<property name="expand">False</property>
1071
<property name="fill">False</property>
1072
</packing>
1073
</child>
1074
</widget>
1075
<packing>
1076
<property name="padding">0</property>
1077
<property name="expand">True</property>
1078
<property name="fill">True</property>
1079
</packing>
1080
</child>
1081
</widget>
1082
<packing>
1083
<property name="padding">0</property>
1084
<property name="expand">True</property>
1085
<property name="fill">True</property>
1086
</packing>
1087
</child>
1088
</widget>
1089
<packing>
1090
<property name="padding">0</property>
1091
<property name="expand">False</property>
1092
<property name="fill">False</property>
1093
</packing>
1094
</child>
1095
1096
<child>
1097
<widget class="GtkVBox" id="vbox37">
1098
<property name="visible">True</property>
1099
<property name="homogeneous">False</property>
1100
<property name="spacing">6</property>
1101
1102
<child>
1103
<widget class="GtkLabel" id="label147">
1104
<property name="visible">True</property>
1105
<property name="label" translatable="yes"><b>Fonts</b></property>
1106
<property name="use_underline">False</property>
1107
<property name="use_markup">True</property>
1108
<property name="justify">GTK_JUSTIFY_LEFT</property>
1109
<property name="wrap">False</property>
1110
<property name="selectable">False</property>
1111
<property name="xalign">0</property>
1112
<property name="yalign">0.5</property>
1113
<property name="xpad">0</property>
1114
<property name="ypad">0</property>
1115
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1116
<property name="width_chars">-1</property>
1117
<property name="single_line_mode">False</property>
1118
<property name="angle">0</property>
1119
</widget>
1120
<packing>
1121
<property name="padding">0</property>
1122
<property name="expand">False</property>
1123
<property name="fill">False</property>
1124
</packing>
1125
</child>
1126
1127
<child>
1128
<widget class="GtkHBox" id="hbox68">
1129
<property name="visible">True</property>
1130
<property name="homogeneous">False</property>
1131
<property name="spacing">0</property>
1132
1133
<child>
1134
<widget class="GtkLabel" id="label148">
1135
<property name="visible">True</property>
1136
<property name="label" translatable="yes"> </property>
1137
<property name="use_underline">False</property>
1138
<property name="use_markup">False</property>
1139
<property name="justify">GTK_JUSTIFY_LEFT</property>
1140
<property name="wrap">False</property>
1141
<property name="selectable">False</property>
1142
<property name="xalign">0.5</property>
1143
<property name="yalign">0.5</property>
1144
<property name="xpad">0</property>
1145
<property name="ypad">0</property>
1146
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1147
<property name="width_chars">-1</property>
1148
<property name="single_line_mode">False</property>
1149
<property name="angle">0</property>
1150
</widget>
1151
<packing>
1152
<property name="padding">0</property>
1153
<property name="expand">False</property>
1154
<property name="fill">False</property>
1155
</packing>
1156
</child>
1157
1158
<child>
1159
<widget class="GtkTable" id="table8">
1160
<property name="visible">True</property>
1161
<property name="n_rows">2</property>
1162
<property name="n_columns">2</property>
1163
<property name="homogeneous">False</property>
1164
<property name="row_spacing">6</property>
1165
<property name="column_spacing">12</property>
1166
1167
<child>
1168
<widget class="GtkCheckButton" id="checkbutton_user_font">
1169
<property name="visible">True</property>
1170
<property name="can_focus">True</property>
1171
<property name="label" translatable="yes">Use custom application font</property>
1172
<property name="use_underline">True</property>
1173
<property name="relief">GTK_RELIEF_NORMAL</property>
1174
<property name="focus_on_click">True</property>
1175
<property name="active">False</property>
1176
<property name="inconsistent">False</property>
1177
<property name="draw_indicator">True</property>
1178
<signal name="toggled" handler="on_checkbutton_user_font_toggled" last_modification_time="Thu, 06 Nov 2003 23:10:08 GMT"/>
1179
</widget>
1180
<packing>
1181
<property name="left_attach">0</property>
1182
<property name="right_attach">1</property>
1183
<property name="top_attach">0</property>
1184
<property name="bottom_attach">1</property>
1185
<property name="x_options">fill</property>
1186
<property name="y_options"></property>
1187
</packing>
1188
</child>
1189
1190
<child>
1191
<widget class="GtkCheckButton" id="checkbutton_user_terminal_font">
1192
<property name="visible">True</property>
1193
<property name="can_focus">True</property>
1194
<property name="label" translatable="yes">Use custom terminal font</property>
1195
<property name="use_underline">True</property>
1196
<property name="relief">GTK_RELIEF_NORMAL</property>
1197
<property name="focus_on_click">True</property>
1198
<property name="active">False</property>
1199
<property name="inconsistent">False</property>
1200
<property name="draw_indicator">True</property>
1201
<signal name="toggled" handler="on_checkbutton_user_terminal_font_toggled" last_modification_time="Thu, 06 Nov 2003 23:10:15 GMT"/>
1202
</widget>
1203
<packing>
1204
<property name="left_attach">0</property>
1205
<property name="right_attach">1</property>
1206
<property name="top_attach">1</property>
1207
<property name="bottom_attach">2</property>
1208
<property name="x_options">fill</property>
1209
<property name="y_options"></property>
1210
</packing>
1211
</child>
1212
1213
<child>
1214
<widget class="GtkButton" id="button_default_font">
1215
<property name="visible">True</property>
1216
<property name="can_focus">True</property>
1217
<property name="relief">GTK_RELIEF_NORMAL</property>
1218
<property name="focus_on_click">True</property>
1219
<signal name="clicked" handler="on_button_default_font_clicked" last_modification_time="Sun, 02 Nov 2003 14:15:14 GMT"/>
1220
1221
<child>
1222
<widget class="GtkAlignment" id="alignment1">
1223
<property name="visible">True</property>
1224
<property name="xalign">0.5</property>
1225
<property name="yalign">0.5</property>
1226
<property name="xscale">0</property>
1227
<property name="yscale">0</property>
1228
<property name="top_padding">0</property>
1229
<property name="bottom_padding">0</property>
1230
<property name="left_padding">0</property>
1231
<property name="right_padding">0</property>
1232
1233
<child>
1234
<widget class="GtkHBox" id="hbox69">
1235
<property name="visible">True</property>
1236
<property name="homogeneous">False</property>
1237
<property name="spacing">2</property>
1238
1239
<child>
1240
<widget class="GtkImage" id="image8">
1241
<property name="visible">True</property>
1242
<property name="stock">gtk-select-font</property>
1243
<property name="icon_size">4</property>
1244
<property name="xalign">0.5</property>
1245
<property name="yalign">0.5</property>
1246
<property name="xpad">0</property>
1247
<property name="ypad">0</property>
1248
</widget>
1249
<packing>
1250
<property name="padding">0</property>
1251
<property name="expand">False</property>
1252
<property name="fill">False</property>
1253
</packing>
1254
</child>
1255
1256
<child>
1257
<widget class="GtkLabel" id="label150">
1258
<property name="visible">True</property>
1259
<property name="label" translatable="yes">A_pplication Font</property>
1260
<property name="use_underline">True</property>
1261
<property name="use_markup">False</property>
1262
<property name="justify">GTK_JUSTIFY_LEFT</property>
1263
<property name="wrap">False</property>
1264
<property name="selectable">False</property>
1265
<property name="xalign">0.5</property>
1266
<property name="yalign">0.5</property>
1267
<property name="xpad">0</property>
1268
<property name="ypad">0</property>
1269
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1270
<property name="width_chars">-1</property>
1271
<property name="single_line_mode">False</property>
1272
<property name="angle">0</property>
1273
</widget>
1274
<packing>
1275
<property name="padding">0</property>
1276
<property name="expand">False</property>
1277
<property name="fill">False</property>
1278
</packing>
1279
</child>
1280
</widget>
1281
</child>
1282
</widget>
1283
</child>
1284
</widget>
1285
<packing>
1286
<property name="left_attach">1</property>
1287
<property name="right_attach">2</property>
1288
<property name="top_attach">0</property>
1289
<property name="bottom_attach">1</property>
1290
<property name="y_options"></property>
1291
</packing>
1292
</child>
1293
1294
<child>
1295
<widget class="GtkButton" id="button_terminal_font">
1296
<property name="visible">True</property>
1297
<property name="can_focus">True</property>
1298
<property name="relief">GTK_RELIEF_NORMAL</property>
1299
<property name="focus_on_click">True</property>
1300
<signal name="clicked" handler="on_button_terminal_font_clicked" last_modification_time="Sun, 02 Nov 2003 14:16:36 GMT"/>
1301
1302
<child>
1303
<widget class="GtkAlignment" id="alignment2">
1304
<property name="visible">True</property>
1305
<property name="xalign">0.5</property>
1306
<property name="yalign">0.5</property>
1307
<property name="xscale">0</property>
1308
<property name="yscale">0</property>
1309
<property name="top_padding">0</property>
1310
<property name="bottom_padding">0</property>
1311
<property name="left_padding">0</property>
1312
<property name="right_padding">0</property>
1313
1314
<child>
1315
<widget class="GtkHBox" id="hbox70">
1316
<property name="visible">True</property>
1317
<property name="homogeneous">False</property>
1318
<property name="spacing">2</property>
1319
1320
<child>
1321
<widget class="GtkImage" id="image9">
1322
<property name="visible">True</property>
1323
<property name="stock">gtk-select-font</property>
1324
<property name="icon_size">4</property>
1325
<property name="xalign">0.5</property>
1326
<property name="yalign">0.5</property>
1327
<property name="xpad">0</property>
1328
<property name="ypad">0</property>
1329
</widget>
1330
<packing>
1331
<property name="padding">0</property>
1332
<property name="expand">False</property>
1333
<property name="fill">False</property>
1334
</packing>
1335
</child>
1336
1337
<child>
1338
<widget class="GtkLabel" id="label151">
1339
<property name="visible">True</property>
1340
<property name="label" translatable="yes">_Terminal Font</property>
1341
<property name="use_underline">True</property>
1342
<property name="use_markup">False</property>
1343
<property name="justify">GTK_JUSTIFY_LEFT</property>
1344
<property name="wrap">False</property>
1345
<property name="selectable">False</property>
1346
<property name="xalign">0.5</property>
1347
<property name="yalign">0.5</property>
1348
<property name="xpad">0</property>
1349
<property name="ypad">0</property>
1350
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1351
<property name="width_chars">-1</property>
1352
<property name="single_line_mode">False</property>
1353
<property name="angle">0</property>
1354
</widget>
1355
<packing>
1356
<property name="padding">0</property>
1357
<property name="expand">False</property>
1358
<property name="fill">False</property>
1359
</packing>
1360
</child>
1361
</widget>
1362
</child>
1363
</widget>
1364
</child>
1365
</widget>
1366
<packing>
1367
<property name="left_attach">1</property>
1368
<property name="right_attach">2</property>
1369
<property name="top_attach">1</property>
1370
<property name="bottom_attach">2</property>
1371
<property name="y_options"></property>
1372
</packing>
1373
</child>
1374
</widget>
1375
<packing>
1376
<property name="padding">0</property>
1377
<property name="expand">True</property>
1378
<property name="fill">True</property>
1379
</packing>
1380
</child>
1381
</widget>
1382
<packing>
1383
<property name="padding">0</property>
1384
<property name="expand">True</property>
1385
<property name="fill">True</property>
1386
</packing>
1387
</child>
1388
</widget>
1389
<packing>
1390
<property name="padding">0</property>
1391
<property name="expand">False</property>
1392
<property name="fill">False</property>
1393
</packing>
1394
</child>
1395
</widget>
1396
<packing>
1397
<property name="tab_expand">False</property>
1398
<property name="tab_fill">False</property>
1399
</packing>
1400
</child>
1401
1402
<child>
1403
<widget class="GtkLabel" id="label118">
1404
<property name="visible">True</property>
1405
<property name="label" translatable="yes">Columns and Fonts</property>
1406
<property name="use_underline">False</property>
1407
<property name="use_markup">False</property>
1408
<property name="justify">GTK_JUSTIFY_LEFT</property>
1409
<property name="wrap">False</property>
1410
<property name="selectable">False</property>
1411
<property name="xalign">0.5</property>
1412
<property name="yalign">0.5</property>
1413
<property name="xpad">0</property>
1414
<property name="ypad">0</property>
1415
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1416
<property name="width_chars">-1</property>
1417
<property name="single_line_mode">False</property>
1418
<property name="angle">0</property>
1419
</widget>
1420
<packing>
1421
<property name="type">tab</property>
1422
</packing>
1423
</child>
1424
1425
<child>
1426
<widget class="GtkVBox" id="vbox14">
1427
<property name="border_width">12</property>
1428
<property name="visible">True</property>
1429
<property name="homogeneous">False</property>
1430
<property name="spacing">18</property>
1431
1432
<child>
1433
<widget class="GtkVBox" id="vbox15">
1434
<property name="visible">True</property>
1435
<property name="homogeneous">False</property>
1436
<property name="spacing">6</property>
1437
1438
<child>
1439
<widget class="GtkLabel" id="label77">
1440
<property name="visible">True</property>
1441
<property name="label" translatable="yes"><b>Colors</b></property>
1442
<property name="use_underline">False</property>
1443
<property name="use_markup">True</property>
1444
<property name="justify">GTK_JUSTIFY_LEFT</property>
1445
<property name="wrap">False</property>
1446
<property name="selectable">False</property>
1447
<property name="xalign">0</property>
1448
<property name="yalign">0.5</property>
1449
<property name="xpad">0</property>
1450
<property name="ypad">0</property>
1451
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1452
<property name="width_chars">-1</property>
1453
<property name="single_line_mode">False</property>
1454
<property name="angle">0</property>
1455
</widget>
1456
<packing>
1457
<property name="padding">0</property>
1458
<property name="expand">False</property>
1459
<property name="fill">False</property>
1460
</packing>
1461
</child>
1462
1463
<child>
1464
<widget class="GtkHBox" id="hbox16">
1465
<property name="visible">True</property>
1466
<property name="homogeneous">False</property>
1467
<property name="spacing">0</property>
1468
1469
<child>
1470
<widget class="GtkLabel" id="label87">
1471
<property name="visible">True</property>
1472
<property name="label" translatable="yes"> </property>
1473
<property name="use_underline">False</property>
1474
<property name="use_markup">False</property>
1475
<property name="justify">GTK_JUSTIFY_LEFT</property>
1476
<property name="wrap">False</property>
1477
<property name="selectable">False</property>
1478
<property name="xalign">0.5</property>
1479
<property name="yalign">0.5</property>
1480
<property name="xpad">0</property>
1481
<property name="ypad">0</property>
1482
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1483
<property name="width_chars">-1</property>
1484
<property name="single_line_mode">False</property>
1485
<property name="angle">0</property>
1486
</widget>
1487
<packing>
1488
<property name="padding">0</property>
1489
<property name="expand">False</property>
1490
<property name="fill">False</property>
1491
</packing>
1492
</child>
1493
1494
<child>
1495
<widget class="GtkVBox" id="vbox26">
1496
<property name="visible">True</property>
1497
<property name="homogeneous">False</property>
1498
<property name="spacing">6</property>
1499
1500
<child>
1501
<widget class="GtkCheckButton" id="check_use_colors">
1502
<property name="border_width">2</property>
1503
<property name="visible">True</property>
1504
<property name="can_focus">True</property>
1505
<property name="label" translatable="yes">Color packages by their status</property>
1506
<property name="use_underline">True</property>
1507
<property name="relief">GTK_RELIEF_NORMAL</property>
1508
<property name="focus_on_click">True</property>
1509
<property name="active">False</property>
1510
<property name="inconsistent">False</property>
1511
<property name="draw_indicator">True</property>
1512
</widget>
1513
<packing>
1514
<property name="padding">0</property>
1515
<property name="expand">False</property>
1516
<property name="fill">False</property>
1517
</packing>
1518
</child>
1519
1520
<child>
1521
<widget class="GtkHBox" id="hbox60">
1522
<property name="visible">True</property>
1523
<property name="homogeneous">False</property>
1524
<property name="spacing">0</property>
1525
1526
<child>
1527
<widget class="GtkTable" id="table_colors">
1528
<property name="visible">True</property>
1529
<property name="n_rows">7</property>
1530
<property name="n_columns">2</property>
1531
<property name="homogeneous">False</property>
1532
<property name="row_spacing">6</property>
1533
<property name="column_spacing">24</property>
1534
1535
<child>
1536
<widget class="GtkHBox" id="hbox55">
1537
<property name="visible">True</property>
1538
<property name="homogeneous">False</property>
1539
<property name="spacing">12</property>
1540
1541
<child>
1542
<widget class="GtkLabel" id="label103">
1543
<property name="visible">True</property>
1544
<property name="label" translatable="yes">Marked for installation:</property>
1545
<property name="use_underline">False</property>
1546
<property name="use_markup">False</property>
1547
<property name="justify">GTK_JUSTIFY_LEFT</property>
1548
<property name="wrap">False</property>
1549
<property name="selectable">False</property>
1550
<property name="xalign">0</property>
1551
<property name="yalign">0.5</property>
1552
<property name="xpad">0</property>
1553
<property name="ypad">0</property>
1554
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1555
<property name="width_chars">-1</property>
1556
<property name="single_line_mode">False</property>
1557
<property name="angle">0</property>
1558
</widget>
1559
<packing>
1560
<property name="padding">0</property>
1561
<property name="expand">False</property>
1562
<property name="fill">False</property>
1563
</packing>
1564
</child>
1565
1566
<child>
1567
<widget class="GtkButton" id="button_install_color">
1568
<property name="visible">True</property>
1569
<property name="can_focus">True</property>
1570
<property name="label" translatable="yes">Color</property>
1571
<property name="use_underline">True</property>
1572
<property name="relief">GTK_RELIEF_NORMAL</property>
1573
<property name="focus_on_click">True</property>
1574
</widget>
1575
<packing>
1576
<property name="padding">0</property>
1577
<property name="expand">False</property>
1578
<property name="fill">False</property>
1579
<property name="pack_type">GTK_PACK_END</property>
1580
</packing>
1581
</child>
1582
</widget>
1583
<packing>
1584
<property name="left_attach">0</property>
1585
<property name="right_attach">1</property>
1586
<property name="top_attach">0</property>
1587
<property name="bottom_attach">1</property>
1588
<property name="x_options">fill</property>
1589
<property name="y_options">fill</property>
1590
</packing>
1591
</child>
1592
1593
<child>
1594
<widget class="GtkHBox" id="hbox54">
1595
<property name="visible">True</property>
1596
<property name="homogeneous">False</property>
1597
<property name="spacing">12</property>
1598
1599
<child>
1600
<widget class="GtkLabel" id="label152">
1601
<property name="visible">True</property>
1602
<property name="label" translatable="yes">Marked for removal:</property>
1603
<property name="use_underline">False</property>
1604
<property name="use_markup">False</property>
1605
<property name="justify">GTK_JUSTIFY_LEFT</property>
1606
<property name="wrap">False</property>
1607
<property name="selectable">False</property>
1608
<property name="xalign">0</property>
1609
<property name="yalign">0.5</property>
1610
<property name="xpad">0</property>
1611
<property name="ypad">0</property>
1612
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1613
<property name="width_chars">-1</property>
1614
<property name="single_line_mode">False</property>
1615
<property name="angle">0</property>
1616
</widget>
1617
<packing>
1618
<property name="padding">0</property>
1619
<property name="expand">False</property>
1620
<property name="fill">False</property>
1621
</packing>
1622
</child>
1623
1624
<child>
1625
<widget class="GtkButton" id="button_remove_color">
1626
<property name="visible">True</property>
1627
<property name="can_focus">True</property>
1628
<property name="label" translatable="yes">Color</property>
1629
<property name="use_underline">True</property>
1630
<property name="relief">GTK_RELIEF_NORMAL</property>
1631
<property name="focus_on_click">True</property>
1632
</widget>
1633
<packing>
1634
<property name="padding">0</property>
1635
<property name="expand">False</property>
1636
<property name="fill">False</property>
1637
<property name="pack_type">GTK_PACK_END</property>
1638
</packing>
1639
</child>
1640
</widget>
1641
<packing>
1642
<property name="left_attach">0</property>
1643
<property name="right_attach">1</property>
1644
<property name="top_attach">1</property>
1645
<property name="bottom_attach">2</property>
1646
<property name="x_options">fill</property>
1647
<property name="y_options">fill</property>
1648
</packing>
1649
</child>
1650
1651
<child>
1652
<widget class="GtkHBox" id="hbox57">
1653
<property name="visible">True</property>
1654
<property name="homogeneous">False</property>
1655
<property name="spacing">12</property>
1656
1657
<child>
1658
<widget class="GtkLabel" id="label80">
1659
<property name="visible">True</property>
1660
<property name="label" translatable="yes">Marked for complete removal:</property>
1661
<property name="use_underline">False</property>
1662
<property name="use_markup">False</property>
1663
<property name="justify">GTK_JUSTIFY_CENTER</property>
1664
<property name="wrap">False</property>
1665
<property name="selectable">False</property>
1666
<property name="xalign">0</property>
1667
<property name="yalign">0.5</property>
1668
<property name="xpad">0</property>
1669
<property name="ypad">0</property>
1670
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1671
<property name="width_chars">-1</property>
1672
<property name="single_line_mode">False</property>
1673
<property name="angle">0</property>
1674
</widget>
1675
<packing>
1676
<property name="padding">0</property>
1677
<property name="expand">False</property>
1678
<property name="fill">False</property>
1679
</packing>
1680
</child>
1681
1682
<child>
1683
<widget class="GtkButton" id="button_purge_color">
1684
<property name="visible">True</property>
1685
<property name="can_focus">True</property>
1686
<property name="label" translatable="yes">Color</property>
1687
<property name="use_underline">True</property>
1688
<property name="relief">GTK_RELIEF_NORMAL</property>
1689
<property name="focus_on_click">True</property>
1690
</widget>
1691
<packing>
1692
<property name="padding">0</property>
1693
<property name="expand">False</property>
1694
<property name="fill">False</property>
1695
<property name="pack_type">GTK_PACK_END</property>
1696
</packing>
1697
</child>
1698
</widget>
1699
<packing>
1700
<property name="left_attach">1</property>
1701
<property name="right_attach">2</property>
1702
<property name="top_attach">1</property>
1703
<property name="bottom_attach">2</property>
1704
<property name="x_options">fill</property>
1705
<property name="y_options">fill</property>
1706
</packing>
1707
</child>
1708
1709
<child>
1710
<widget class="GtkHBox" id="hbox61">
1711
<property name="visible">True</property>
1712
<property name="homogeneous">False</property>
1713
<property name="spacing">12</property>
1714
1715
<child>
1716
<widget class="GtkLabel" id="label84">
1717
<property name="visible">True</property>
1718
<property name="label" translatable="yes">Upgradable:</property>
1719
<property name="use_underline">False</property>
1720
<property name="use_markup">False</property>
1721
<property name="justify">GTK_JUSTIFY_CENTER</property>
1722
<property name="wrap">False</property>
1723
<property name="selectable">False</property>
1724
<property name="xalign">0</property>
1725
<property name="yalign">0.5</property>
1726
<property name="xpad">0</property>
1727
<property name="ypad">0</property>
1728
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1729
<property name="width_chars">-1</property>
1730
<property name="single_line_mode">False</property>
1731
<property name="angle">0</property>
1732
</widget>
1733
<packing>
1734
<property name="padding">0</property>
1735
<property name="expand">False</property>
1736
<property name="fill">False</property>
1737
</packing>
1738
</child>
1739
1740
<child>
1741
<widget class="GtkButton" id="button_installed-outdated_color">
1742
<property name="visible">True</property>
1743
<property name="can_focus">True</property>
1744
<property name="label" translatable="yes">Color</property>
1745
<property name="use_underline">True</property>
1746
<property name="relief">GTK_RELIEF_NORMAL</property>
1747
<property name="focus_on_click">True</property>
1748
</widget>
1749
<packing>
1750
<property name="padding">0</property>
1751
<property name="expand">False</property>
1752
<property name="fill">False</property>
1753
<property name="pack_type">GTK_PACK_END</property>
1754
</packing>
1755
</child>
1756
</widget>
1757
<packing>
1758
<property name="left_attach">0</property>
1759
<property name="right_attach">1</property>
1760
<property name="top_attach">2</property>
1761
<property name="bottom_attach">3</property>
1762
<property name="x_options">fill</property>
1763
<property name="y_options">fill</property>
1764
</packing>
1765
</child>
1766
1767
<child>
1768
<widget class="GtkHBox" id="hbox74">
1769
<property name="visible">True</property>
1770
<property name="homogeneous">False</property>
1771
<property name="spacing">12</property>
1772
1773
<child>
1774
<widget class="GtkLabel" id="label156">
1775
<property name="visible">True</property>
1776
<property name="label" translatable="yes">Marked for reinstallation:</property>
1777
<property name="use_underline">False</property>
1778
<property name="use_markup">False</property>
1779
<property name="justify">GTK_JUSTIFY_LEFT</property>
1780
<property name="wrap">False</property>
1781
<property name="selectable">False</property>
1782
<property name="xalign">0</property>
1783
<property name="yalign">0.5</property>
1784
<property name="xpad">0</property>
1785
<property name="ypad">0</property>
1786
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1787
<property name="width_chars">-1</property>
1788
<property name="single_line_mode">False</property>
1789
<property name="angle">0</property>
1790
</widget>
1791
<packing>
1792
<property name="padding">0</property>
1793
<property name="expand">False</property>
1794
<property name="fill">False</property>
1795
</packing>
1796
</child>
1797
1798
<child>
1799
<widget class="GtkButton" id="button_reinstall_color">
1800
<property name="visible">True</property>
1801
<property name="can_focus">True</property>
1802
<property name="label" translatable="yes">Color</property>
1803
<property name="use_underline">True</property>
1804
<property name="relief">GTK_RELIEF_NORMAL</property>
1805
<property name="focus_on_click">True</property>
1806
</widget>
1807
<packing>
1808
<property name="padding">0</property>
1809
<property name="expand">False</property>
1810
<property name="fill">False</property>
1811
<property name="pack_type">GTK_PACK_END</property>
1812
</packing>
1813
</child>
1814
</widget>
1815
<packing>
1816
<property name="left_attach">1</property>
1817
<property name="right_attach">2</property>
1818
<property name="top_attach">0</property>
1819
<property name="bottom_attach">1</property>
1820
<property name="x_options">fill</property>
1821
<property name="y_options">fill</property>
1822
</packing>
1823
</child>
1824
1825
<child>
1826
<widget class="GtkHBox" id="hbox56">
1827
<property name="visible">True</property>
1828
<property name="homogeneous">False</property>
1829
<property name="spacing">12</property>
1830
1831
<child>
1832
<widget class="GtkLabel" id="label83">
1833
<property name="visible">True</property>
1834
<property name="label" translatable="yes">Marked for upgrade:</property>
1835
<property name="use_underline">False</property>
1836
<property name="use_markup">False</property>
1837
<property name="justify">GTK_JUSTIFY_CENTER</property>
1838
<property name="wrap">False</property>
1839
<property name="selectable">False</property>
1840
<property name="xalign">0</property>
1841
<property name="yalign">0.5</property>
1842
<property name="xpad">0</property>
1843
<property name="ypad">0</property>
1844
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1845
<property name="width_chars">-1</property>
1846
<property name="single_line_mode">False</property>
1847
<property name="angle">0</property>
1848
</widget>
1849
<packing>
1850
<property name="padding">0</property>
1851
<property name="expand">False</property>
1852
<property name="fill">False</property>
1853
</packing>
1854
</child>
1855
1856
<child>
1857
<widget class="GtkButton" id="button_upgrade_color">
1858
<property name="visible">True</property>
1859
<property name="can_focus">True</property>
1860
<property name="label" translatable="yes">Color</property>
1861
<property name="use_underline">True</property>
1862
<property name="relief">GTK_RELIEF_NORMAL</property>
1863
<property name="focus_on_click">True</property>
1864
</widget>
1865
<packing>
1866
<property name="padding">0</property>
1867
<property name="expand">False</property>
1868
<property name="fill">False</property>
1869
<property name="pack_type">GTK_PACK_END</property>
1870
</packing>
1871
</child>
1872
</widget>
1873
<packing>
1874
<property name="left_attach">1</property>
1875
<property name="right_attach">2</property>
1876
<property name="top_attach">2</property>
1877
<property name="bottom_attach">3</property>
1878
<property name="x_options">fill</property>
1879
<property name="y_options">fill</property>
1880
</packing>
1881
</child>
1882
1883
<child>
1884
<widget class="GtkHBox" id="hbox60">
1885
<property name="visible">True</property>
1886
<property name="homogeneous">False</property>
1887
<property name="spacing">12</property>
1888
1889
<child>
1890
<widget class="GtkLabel" id="label86">
1891
<property name="visible">True</property>
1892
<property name="label" translatable="yes">Not installed:</property>
1893
<property name="use_underline">False</property>
1894
<property name="use_markup">False</property>
1895
<property name="justify">GTK_JUSTIFY_CENTER</property>
1896
<property name="wrap">False</property>
1897
<property name="selectable">False</property>
1898
<property name="xalign">0</property>
1899
<property name="yalign">0.5</property>
1900
<property name="xpad">0</property>
1901
<property name="ypad">0</property>
1902
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1903
<property name="width_chars">-1</property>
1904
<property name="single_line_mode">False</property>
1905
<property name="angle">0</property>
1906
</widget>
1907
<packing>
1908
<property name="padding">0</property>
1909
<property name="expand">False</property>
1910
<property name="fill">False</property>
1911
</packing>
1912
</child>
1913
1914
<child>
1915
<widget class="GtkButton" id="button_available_color">
1916
<property name="visible">True</property>
1917
<property name="can_focus">True</property>
1918
<property name="label" translatable="yes">Color</property>
1919
<property name="use_underline">True</property>
1920
<property name="relief">GTK_RELIEF_NORMAL</property>
1921
<property name="focus_on_click">True</property>
1922
</widget>
1923
<packing>
1924
<property name="padding">0</property>
1925
<property name="expand">False</property>
1926
<property name="fill">False</property>
1927
<property name="pack_type">GTK_PACK_END</property>
1928
</packing>
1929
</child>
1930
</widget>
1931
<packing>
1932
<property name="left_attach">0</property>
1933
<property name="right_attach">1</property>
1934
<property name="top_attach">5</property>
1935
<property name="bottom_attach">6</property>
1936
<property name="x_options">fill</property>
1937
<property name="y_options">fill</property>
1938
</packing>
1939
</child>
1940
1941
<child>
1942
<widget class="GtkHBox" id="hbox53">
1943
<property name="visible">True</property>
1944
<property name="homogeneous">False</property>
1945
<property name="spacing">12</property>
1946
1947
<child>
1948
<widget class="GtkLabel" id="label105">
1949
<property name="visible">True</property>
1950
<property name="label" translatable="yes">Not installed (locked):</property>
1951
<property name="use_underline">False</property>
1952
<property name="use_markup">False</property>
1953
<property name="justify">GTK_JUSTIFY_LEFT</property>
1954
<property name="wrap">False</property>
1955
<property name="selectable">False</property>
1956
<property name="xalign">0</property>
1957
<property name="yalign">0.5</property>
1958
<property name="xpad">0</property>
1959
<property name="ypad">0</property>
1960
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1961
<property name="width_chars">-1</property>
1962
<property name="single_line_mode">False</property>
1963
<property name="angle">0</property>
1964
</widget>
1965
<packing>
1966
<property name="padding">0</property>
1967
<property name="expand">False</property>
1968
<property name="fill">False</property>
1969
</packing>
1970
</child>
1971
1972
<child>
1973
<widget class="GtkButton" id="button_available-locked_color">
1974
<property name="visible">True</property>
1975
<property name="can_focus">True</property>
1976
<property name="label" translatable="yes">Color</property>
1977
<property name="use_underline">True</property>
1978
<property name="relief">GTK_RELIEF_NORMAL</property>
1979
<property name="focus_on_click">True</property>
1980
</widget>
1981
<packing>
1982
<property name="padding">0</property>
1983
<property name="expand">False</property>
1984
<property name="fill">False</property>
1985
<property name="pack_type">GTK_PACK_END</property>
1986
</packing>
1987
</child>
1988
</widget>
1989
<packing>
1990
<property name="left_attach">1</property>
1991
<property name="right_attach">2</property>
1992
<property name="top_attach">5</property>
1993
<property name="bottom_attach">6</property>
1994
<property name="x_options">fill</property>
1995
<property name="y_options">fill</property>
1996
</packing>
1997
</child>
1998
1999
<child>
2000
<widget class="GtkHBox" id="hbox71">
2001
<property name="visible">True</property>
2002
<property name="homogeneous">False</property>
2003
<property name="spacing">12</property>
2004
2005
<child>
2006
<widget class="GtkLabel" id="label153">
2007
<property name="visible">True</property>
2008
<property name="label" translatable="yes">Installed (locked):</property>
2009
<property name="use_underline">False</property>
2010
<property name="use_markup">False</property>
2011
<property name="justify">GTK_JUSTIFY_CENTER</property>
2012
<property name="wrap">False</property>
2013
<property name="selectable">False</property>
2014
<property name="xalign">0</property>
2015
<property name="yalign">0.5</property>
2016
<property name="xpad">0</property>
2017
<property name="ypad">0</property>
2018
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2019
<property name="width_chars">-1</property>
2020
<property name="single_line_mode">False</property>
2021
<property name="angle">0</property>
2022
</widget>
2023
<packing>
2024
<property name="padding">0</property>
2025
<property name="expand">False</property>
2026
<property name="fill">False</property>
2027
</packing>
2028
</child>
2029
2030
<child>
2031
<widget class="GtkButton" id="button_installed-locked_color">
2032
<property name="visible">True</property>
2033
<property name="can_focus">True</property>
2034
<property name="label" translatable="yes">Color</property>
2035
<property name="use_underline">True</property>
2036
<property name="relief">GTK_RELIEF_NORMAL</property>
2037
<property name="focus_on_click">True</property>
2038
</widget>
2039
<packing>
2040
<property name="padding">0</property>
2041
<property name="expand">False</property>
2042
<property name="fill">False</property>
2043
<property name="pack_type">GTK_PACK_END</property>
2044
</packing>
2045
</child>
2046
</widget>
2047
<packing>
2048
<property name="left_attach">1</property>
2049
<property name="right_attach">2</property>
2050
<property name="top_attach">4</property>
2051
<property name="bottom_attach">5</property>
2052
<property name="x_options">fill</property>
2053
<property name="y_options">fill</property>
2054
</packing>
2055
</child>
2056
2057
<child>
2058
<widget class="GtkHBox" id="hbox58">
2059
<property name="visible">True</property>
2060
<property name="homogeneous">False</property>
2061
<property name="spacing">12</property>
2062
2063
<child>
2064
<widget class="GtkLabel" id="label81">
2065
<property name="visible">True</property>
2066
<property name="label" translatable="yes">Installed:</property>
2067
<property name="use_underline">False</property>
2068
<property name="use_markup">False</property>
2069
<property name="justify">GTK_JUSTIFY_CENTER</property>
2070
<property name="wrap">False</property>
2071
<property name="selectable">False</property>
2072
<property name="xalign">0</property>
2073
<property name="yalign">0.5</property>
2074
<property name="xpad">0</property>
2075
<property name="ypad">0</property>
2076
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2077
<property name="width_chars">-1</property>
2078
<property name="single_line_mode">False</property>
2079
<property name="angle">0</property>
2080
</widget>
2081
<packing>
2082
<property name="padding">0</property>
2083
<property name="expand">False</property>
2084
<property name="fill">False</property>
2085
</packing>
2086
</child>
2087
2088
<child>
2089
<widget class="GtkButton" id="button_installed-updated_color">
2090
<property name="visible">True</property>
2091
<property name="can_focus">True</property>
2092
<property name="label" translatable="yes">Color</property>
2093
<property name="use_underline">True</property>
2094
<property name="relief">GTK_RELIEF_NORMAL</property>
2095
<property name="focus_on_click">True</property>
2096
</widget>
2097
<packing>
2098
<property name="padding">0</property>
2099
<property name="expand">False</property>
2100
<property name="fill">False</property>
2101
<property name="pack_type">GTK_PACK_END</property>
2102
</packing>
2103
</child>
2104
</widget>
2105
<packing>
2106
<property name="left_attach">0</property>
2107
<property name="right_attach">1</property>
2108
<property name="top_attach">4</property>
2109
<property name="bottom_attach">5</property>
2110
<property name="x_options">fill</property>
2111
<property name="y_options">fill</property>
2112
</packing>
2113
</child>
2114
2115
<child>
2116
<widget class="GtkHBox" id="hbox73">
2117
<property name="visible">True</property>
2118
<property name="homogeneous">False</property>
2119
<property name="spacing">12</property>
2120
2121
<child>
2122
<widget class="GtkLabel" id="label155">
2123
<property name="visible">True</property>
2124
<property name="label" translatable="yes">New in repository:</property>
2125
<property name="use_underline">False</property>
2126
<property name="use_markup">False</property>
2127
<property name="justify">GTK_JUSTIFY_CENTER</property>
2128
<property name="wrap">False</property>
2129
<property name="selectable">False</property>
2130
<property name="xalign">0</property>
2131
<property name="yalign">0.5</property>
2132
<property name="xpad">0</property>
2133
<property name="ypad">0</property>
2134
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2135
<property name="width_chars">-1</property>
2136
<property name="single_line_mode">False</property>
2137
<property name="angle">0</property>
2138
</widget>
2139
<packing>
2140
<property name="padding">0</property>
2141
<property name="expand">False</property>
2142
<property name="fill">False</property>
2143
</packing>
2144
</child>
2145
2146
<child>
2147
<widget class="GtkButton" id="button_new_color">
2148
<property name="visible">True</property>
2149
<property name="can_focus">True</property>
2150
<property name="label" translatable="yes">Color</property>
2151
<property name="use_underline">True</property>
2152
<property name="relief">GTK_RELIEF_NORMAL</property>
2153
<property name="focus_on_click">True</property>
2154
</widget>
2155
<packing>
2156
<property name="padding">0</property>
2157
<property name="expand">False</property>
2158
<property name="fill">False</property>
2159
<property name="pack_type">GTK_PACK_END</property>
2160
</packing>
2161
</child>
2162
</widget>
2163
<packing>
2164
<property name="left_attach">0</property>
2165
<property name="right_attach">1</property>
2166
<property name="top_attach">6</property>
2167
<property name="bottom_attach">7</property>
2168
<property name="x_options">fill</property>
2169
</packing>
2170
</child>
2171
2172
<child>
2173
<widget class="GtkHBox" id="hbox59">
2174
<property name="visible">True</property>
2175
<property name="homogeneous">False</property>
2176
<property name="spacing">12</property>
2177
2178
<child>
2179
<widget class="GtkLabel" id="label85">
2180
<property name="visible">True</property>
2181
<property name="label" translatable="yes">Marked for downgrade:</property>
2182
<property name="use_underline">False</property>
2183
<property name="use_markup">False</property>
2184
<property name="justify">GTK_JUSTIFY_CENTER</property>
2185
<property name="wrap">False</property>
2186
<property name="selectable">False</property>
2187
<property name="xalign">0</property>
2188
<property name="yalign">0.5</property>
2189
<property name="xpad">0</property>
2190
<property name="ypad">0</property>
2191
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2192
<property name="width_chars">-1</property>
2193
<property name="single_line_mode">False</property>
2194
<property name="angle">0</property>
2195
</widget>
2196
<packing>
2197
<property name="padding">0</property>
2198
<property name="expand">False</property>
2199
<property name="fill">False</property>
2200
</packing>
2201
</child>
2202
2203
<child>
2204
<widget class="GtkButton" id="button_downgrade_color">
2205
<property name="visible">True</property>
2206
<property name="can_focus">True</property>
2207
<property name="label" translatable="yes">Color</property>
2208
<property name="use_underline">True</property>
2209
<property name="relief">GTK_RELIEF_NORMAL</property>
2210
<property name="focus_on_click">True</property>
2211
</widget>
2212
<packing>
2213
<property name="padding">0</property>
2214
<property name="expand">False</property>
2215
<property name="fill">False</property>
2216
<property name="pack_type">GTK_PACK_END</property>
2217
</packing>
2218
</child>
2219
</widget>
2220
<packing>
2221
<property name="left_attach">1</property>
2222
<property name="right_attach">2</property>
2223
<property name="top_attach">3</property>
2224
<property name="bottom_attach">4</property>
2225
<property name="x_options">fill</property>
2226
<property name="y_options">fill</property>
2227
</packing>
2228
</child>
2229
2230
<child>
2231
<widget class="GtkHBox" id="hbox72">
2232
<property name="visible">True</property>
2233
<property name="homogeneous">False</property>
2234
<property name="spacing">12</property>
2235
2236
<child>
2237
<widget class="GtkLabel" id="label154">
2238
<property name="visible">True</property>
2239
<property name="label" translatable="yes">Broken:</property>
2240
<property name="use_underline">False</property>
2241
<property name="use_markup">False</property>
2242
<property name="justify">GTK_JUSTIFY_CENTER</property>
2243
<property name="wrap">False</property>
2244
<property name="selectable">False</property>
2245
<property name="xalign">0</property>
2246
<property name="yalign">0.5</property>
2247
<property name="xpad">0</property>
2248
<property name="ypad">0</property>
2249
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2250
<property name="width_chars">-1</property>
2251
<property name="single_line_mode">False</property>
2252
<property name="angle">0</property>
2253
</widget>
2254
<packing>
2255
<property name="padding">0</property>
2256
<property name="expand">False</property>
2257
<property name="fill">False</property>
2258
</packing>
2259
</child>
2260
2261
<child>
2262
<widget class="GtkButton" id="button_broken_color">
2263
<property name="visible">True</property>
2264
<property name="can_focus">True</property>
2265
<property name="label" translatable="yes">Color</property>
2266
<property name="use_underline">True</property>
2267
<property name="relief">GTK_RELIEF_NORMAL</property>
2268
<property name="focus_on_click">True</property>
2269
</widget>
2270
<packing>
2271
<property name="padding">0</property>
2272
<property name="expand">False</property>
2273
<property name="fill">False</property>
2274
<property name="pack_type">GTK_PACK_END</property>
2275
</packing>
2276
</child>
2277
</widget>
2278
<packing>
2279
<property name="left_attach">0</property>
2280
<property name="right_attach">1</property>
2281
<property name="top_attach">3</property>
2282
<property name="bottom_attach">4</property>
2283
<property name="x_options">fill</property>
2284
<property name="y_options">fill</property>
2285
</packing>
2286
</child>
2287
</widget>
2288
<packing>
2289
<property name="padding">0</property>
2290
<property name="expand">True</property>
2291
<property name="fill">True</property>
2292
</packing>
2293
</child>
2294
</widget>
2295
<packing>
2296
<property name="padding">0</property>
2297
<property name="expand">False</property>
2298
<property name="fill">False</property>
2299
</packing>
2300
</child>
2301
</widget>
2302
<packing>
2303
<property name="padding">0</property>
2304
<property name="expand">True</property>
2305
<property name="fill">True</property>
2306
</packing>
2307
</child>
2308
</widget>
2309
<packing>
2310
<property name="padding">0</property>
2311
<property name="expand">False</property>
2312
<property name="fill">False</property>
2313
</packing>
2314
</child>
2315
</widget>
2316
<packing>
2317
<property name="padding">0</property>
2318
<property name="expand">False</property>
2319
<property name="fill">False</property>
2320
</packing>
2321
</child>
2322
</widget>
2323
<packing>
2324
<property name="tab_expand">False</property>
2325
<property name="tab_fill">False</property>
2326
</packing>
2327
</child>
2328
2329
<child>
2330
<widget class="GtkLabel" id="label61">
2331
<property name="visible">True</property>
2332
<property name="label" translatable="yes">Colors</property>
2333
<property name="use_underline">False</property>
2334
<property name="use_markup">False</property>
2335
<property name="justify">GTK_JUSTIFY_CENTER</property>
2336
<property name="wrap">False</property>
2337
<property name="selectable">False</property>
2338
<property name="xalign">0.5</property>
2339
<property name="yalign">0.5</property>
2340
<property name="xpad">0</property>
2341
<property name="ypad">0</property>
2342
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2343
<property name="width_chars">-1</property>
2344
<property name="single_line_mode">False</property>
2345
<property name="angle">0</property>
2346
</widget>
2347
<packing>
2348
<property name="type">tab</property>
2349
</packing>
2350
</child>
2351
2352
<child>
2353
<widget class="GtkVBox" id="vbox23">
2354
<property name="border_width">12</property>
2355
<property name="visible">True</property>
2356
<property name="homogeneous">False</property>
2357
<property name="spacing">18</property>
2358
2359
<child>
2360
<widget class="GtkVBox" id="vbox24">
2361
<property name="visible">True</property>
2362
<property name="homogeneous">False</property>
2363
<property name="spacing">6</property>
2364
2365
<child>
2366
<widget class="GtkLabel" id="label111">
2367
<property name="visible">True</property>
2368
<property name="label" translatable="yes"><b>Temporary Files</b></property>
2369
<property name="use_underline">False</property>
2370
<property name="use_markup">True</property>
2371
<property name="justify">GTK_JUSTIFY_LEFT</property>
2372
<property name="wrap">False</property>
2373
<property name="selectable">False</property>
2374
<property name="xalign">0</property>
2375
<property name="yalign">0.5</property>
2376
<property name="xpad">0</property>
2377
<property name="ypad">0</property>
2378
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2379
<property name="width_chars">-1</property>
2380
<property name="single_line_mode">False</property>
2381
<property name="angle">0</property>
2382
</widget>
2383
<packing>
2384
<property name="padding">0</property>
2385
<property name="expand">False</property>
2386
<property name="fill">False</property>
2387
</packing>
2388
</child>
2389
2390
<child>
2391
<widget class="GtkHBox" id="hbox31">
2392
<property name="visible">True</property>
2393
<property name="homogeneous">False</property>
2394
<property name="spacing">0</property>
2395
2396
<child>
2397
<widget class="GtkLabel" id="label110">
2398
<property name="visible">True</property>
2399
<property name="label" translatable="yes"> </property>
2400
<property name="use_underline">False</property>
2401
<property name="use_markup">False</property>
2402
<property name="justify">GTK_JUSTIFY_LEFT</property>
2403
<property name="wrap">False</property>
2404
<property name="selectable">False</property>
2405
<property name="xalign">0.5</property>
2406
<property name="yalign">0.5</property>
2407
<property name="xpad">0</property>
2408
<property name="ypad">0</property>
2409
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2410
<property name="width_chars">-1</property>
2411
<property name="single_line_mode">False</property>
2412
<property name="angle">0</property>
2413
</widget>
2414
<packing>
2415
<property name="padding">0</property>
2416
<property name="expand">False</property>
2417
<property name="fill">False</property>
2418
</packing>
2419
</child>
2420
2421
<child>
2422
<widget class="GtkVBox" id="vbox25">
2423
<property name="visible">True</property>
2424
<property name="homogeneous">False</property>
2425
<property name="spacing">6</property>
2426
2427
<child>
2428
<widget class="GtkRadioButton" id="radio_cache_leave">
2429
<property name="visible">True</property>
2430
<property name="can_focus">True</property>
2431
<property name="label" translatable="yes">_Leave all downloaded packages in the cache</property>
2432
<property name="use_underline">True</property>
2433
<property name="relief">GTK_RELIEF_NORMAL</property>
2434
<property name="focus_on_click">True</property>
2435
<property name="active">True</property>
2436
<property name="inconsistent">False</property>
2437
<property name="draw_indicator">True</property>
2438
</widget>
2439
<packing>
2440
<property name="padding">0</property>
2441
<property name="expand">False</property>
2442
<property name="fill">False</property>
2443
</packing>
2444
</child>
2445
2446
<child>
2447
<widget class="GtkRadioButton" id="radio_cache_del_after">
2448
<property name="visible">True</property>
2449
<property name="can_focus">True</property>
2450
<property name="label" translatable="yes">_Delete downloaded packages after installation</property>
2451
<property name="use_underline">True</property>
2452
<property name="relief">GTK_RELIEF_NORMAL</property>
2453
<property name="focus_on_click">True</property>
2454
<property name="active">False</property>
2455
<property name="inconsistent">False</property>
2456
<property name="draw_indicator">True</property>
2457
<property name="group">radio_cache_leave</property>
2458
</widget>
2459
<packing>
2460
<property name="padding">0</property>
2461
<property name="expand">False</property>
2462
<property name="fill">False</property>
2463
</packing>
2464
</child>
2465
2466
<child>
2467
<widget class="GtkRadioButton" id="radio_cache_del_obsolete">
2468
<property name="visible">True</property>
2469
<property name="can_focus">True</property>
2470
<property name="label" translatable="yes">_Only delete packages which are no longer available</property>
2471
<property name="use_underline">True</property>
2472
<property name="relief">GTK_RELIEF_NORMAL</property>
2473
<property name="focus_on_click">True</property>
2474
<property name="active">False</property>
2475
<property name="inconsistent">False</property>
2476
<property name="draw_indicator">True</property>
2477
<property name="group">radio_cache_leave</property>
2478
</widget>
2479
<packing>
2480
<property name="padding">0</property>
2481
<property name="expand">False</property>
2482
<property name="fill">False</property>
2483
</packing>
2484
</child>
2485
2486
<child>
2487
<widget class="GtkHBox" id="hbox32">
2488
<property name="visible">True</property>
2489
<property name="homogeneous">False</property>
2490
<property name="spacing">0</property>
2491
2492
<child>
2493
<widget class="GtkButton" id="button_clean_cache">
2494
<property name="visible">True</property>
2495
<property name="tooltip" translatable="yes">Delete all cache package files now.</property>
2496
<property name="can_focus">True</property>
2497
<property name="label" translatable="yes">_Delete Cached Package Files</property>
2498
<property name="use_underline">True</property>
2499
<property name="relief">GTK_RELIEF_NORMAL</property>
2500
<property name="focus_on_click">True</property>
2501
<signal name="clicked" handler="on_button_clean_cache_clicked" last_modification_time="Wed, 10 Sep 2003 11:05:20 GMT"/>
2502
</widget>
2503
<packing>
2504
<property name="padding">0</property>
2505
<property name="expand">False</property>
2506
<property name="fill">False</property>
2507
</packing>
2508
</child>
2509
2510
<child>
2511
<placeholder/>
2512
</child>
2513
</widget>
2514
<packing>
2515
<property name="padding">0</property>
2516
<property name="expand">False</property>
2517
<property name="fill">False</property>
2518
</packing>
2519
</child>
2520
</widget>
2521
<packing>
2522
<property name="padding">0</property>
2523
<property name="expand">False</property>
2524
<property name="fill">False</property>
2525
</packing>
2526
</child>
2527
</widget>
2528
<packing>
2529
<property name="padding">0</property>
2530
<property name="expand">False</property>
2531
<property name="fill">False</property>
2532
</packing>
2533
</child>
2534
</widget>
2535
<packing>
2536
<property name="padding">0</property>
2537
<property name="expand">False</property>
2538
<property name="fill">False</property>
2539
</packing>
2540
</child>
2541
2542
<child>
2543
<widget class="GtkVBox" id="vbox42">
2544
<property name="visible">True</property>
2545
<property name="homogeneous">False</property>
2546
<property name="spacing">6</property>
2547
2548
<child>
2549
<widget class="GtkLabel" id="label166">
2550
<property name="visible">True</property>
2551
<property name="label" translatable="yes"><b>History files</b></property>
2552
<property name="use_underline">False</property>
2553
<property name="use_markup">True</property>
2554
<property name="justify">GTK_JUSTIFY_LEFT</property>
2555
<property name="wrap">False</property>
2556
<property name="selectable">False</property>
2557
<property name="xalign">0</property>
2558
<property name="yalign">0.5</property>
2559
<property name="xpad">0</property>
2560
<property name="ypad">0</property>
2561
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2562
<property name="width_chars">-1</property>
2563
<property name="single_line_mode">False</property>
2564
<property name="angle">0</property>
2565
</widget>
2566
<packing>
2567
<property name="padding">0</property>
2568
<property name="expand">False</property>
2569
<property name="fill">False</property>
2570
</packing>
2571
</child>
2572
2573
<child>
2574
<widget class="GtkHBox" id="hbox83">
2575
<property name="visible">True</property>
2576
<property name="homogeneous">False</property>
2577
<property name="spacing">0</property>
2578
2579
<child>
2580
<widget class="GtkLabel" id="label167">
2581
<property name="visible">True</property>
2582
<property name="label" translatable="yes"> </property>
2583
<property name="use_underline">False</property>
2584
<property name="use_markup">False</property>
2585
<property name="justify">GTK_JUSTIFY_LEFT</property>
2586
<property name="wrap">False</property>
2587
<property name="selectable">False</property>
2588
<property name="xalign">0.5</property>
2589
<property name="yalign">0.5</property>
2590
<property name="xpad">0</property>
2591
<property name="ypad">0</property>
2592
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2593
<property name="width_chars">-1</property>
2594
<property name="single_line_mode">False</property>
2595
<property name="angle">0</property>
2596
</widget>
2597
<packing>
2598
<property name="padding">0</property>
2599
<property name="expand">False</property>
2600
<property name="fill">False</property>
2601
</packing>
2602
</child>
2603
2604
<child>
2605
<widget class="GtkVBox" id="vbox43">
2606
<property name="visible">True</property>
2607
<property name="homogeneous">False</property>
2608
<property name="spacing">6</property>
2609
2610
<child>
2611
<widget class="GtkRadioButton" id="radio_keep_history">
2612
<property name="visible">True</property>
2613
<property name="can_focus">True</property>
2614
<property name="label" translatable="yes">_Keep history</property>
2615
<property name="use_underline">True</property>
2616
<property name="relief">GTK_RELIEF_NORMAL</property>
2617
<property name="focus_on_click">True</property>
2618
<property name="active">False</property>
2619
<property name="inconsistent">False</property>
2620
<property name="draw_indicator">True</property>
2621
</widget>
2622
<packing>
2623
<property name="padding">0</property>
2624
<property name="expand">False</property>
2625
<property name="fill">False</property>
2626
</packing>
2627
</child>
2628
2629
<child>
2630
<widget class="GtkHBox" id="hbox84">
2631
<property name="visible">True</property>
2632
<property name="homogeneous">False</property>
2633
<property name="spacing">6</property>
2634
2635
<child>
2636
<widget class="GtkRadioButton" id="radio_delete_history">
2637
<property name="visible">True</property>
2638
<property name="can_focus">True</property>
2639
<property name="label" translatable="yes">Delete _History files older than:</property>
2640
<property name="use_underline">True</property>
2641
<property name="relief">GTK_RELIEF_NORMAL</property>
2642
<property name="focus_on_click">True</property>
2643
<property name="active">False</property>
2644
<property name="inconsistent">False</property>
2645
<property name="draw_indicator">True</property>
2646
<property name="group">radio_keep_history</property>
2647
</widget>
2648
<packing>
2649
<property name="padding">0</property>
2650
<property name="expand">False</property>
2651
<property name="fill">False</property>
2652
</packing>
2653
</child>
2654
2655
<child>
2656
<widget class="GtkSpinButton" id="spin_del_history">
2657
<property name="visible">True</property>
2658
<property name="can_focus">True</property>
2659
<property name="climb_rate">1</property>
2660
<property name="digits">0</property>
2661
<property name="numeric">False</property>
2662
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
2663
<property name="snap_to_ticks">False</property>
2664
<property name="wrap">False</property>
2665
<property name="adjustment">30 0 100 1 10 10</property>
2666
</widget>
2667
<packing>
2668
<property name="padding">0</property>
2669
<property name="expand">True</property>
2670
<property name="fill">True</property>
2671
</packing>
2672
</child>
2673
2674
<child>
2675
<widget class="GtkLabel" id="label168">
2676
<property name="visible">True</property>
2677
<property name="label" translatable="yes">days</property>
2678
<property name="use_underline">False</property>
2679
<property name="use_markup">False</property>
2680
<property name="justify">GTK_JUSTIFY_LEFT</property>
2681
<property name="wrap">False</property>
2682
<property name="selectable">False</property>
2683
<property name="xalign">0.5</property>
2684
<property name="yalign">0.5</property>
2685
<property name="xpad">0</property>
2686
<property name="ypad">0</property>
2687
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2688
<property name="width_chars">-1</property>
2689
<property name="single_line_mode">False</property>
2690
<property name="angle">0</property>
2691
</widget>
2692
<packing>
2693
<property name="padding">0</property>
2694
<property name="expand">False</property>
2695
<property name="fill">False</property>
2696
</packing>
2697
</child>
2698
</widget>
2699
<packing>
2700
<property name="padding">0</property>
2701
<property name="expand">False</property>
2702
<property name="fill">False</property>
2703
</packing>
2704
</child>
2705
</widget>
2706
<packing>
2707
<property name="padding">0</property>
2708
<property name="expand">False</property>
2709
<property name="fill">False</property>
2710
</packing>
2711
</child>
2712
</widget>
2713
<packing>
2714
<property name="padding">0</property>
2715
<property name="expand">False</property>
2716
<property name="fill">False</property>
2717
</packing>
2718
</child>
2719
</widget>
2720
<packing>
2721
<property name="padding">0</property>
2722
<property name="expand">True</property>
2723
<property name="fill">True</property>
2724
</packing>
2725
</child>
2726
</widget>
2727
<packing>
2728
<property name="tab_expand">False</property>
2729
<property name="tab_fill">False</property>
2730
</packing>
2731
</child>
2732
2733
<child>
2734
<widget class="GtkLabel" id="label51">
2735
<property name="visible">True</property>
2736
<property name="label" translatable="yes">Files</property>
2737
<property name="use_underline">False</property>
2738
<property name="use_markup">False</property>
2739
<property name="justify">GTK_JUSTIFY_CENTER</property>
2740
<property name="wrap">False</property>
2741
<property name="selectable">False</property>
2742
<property name="xalign">0.5</property>
2743
<property name="yalign">0.5</property>
2744
<property name="xpad">0</property>
2745
<property name="ypad">0</property>
2746
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2747
<property name="width_chars">-1</property>
2748
<property name="single_line_mode">False</property>
2749
<property name="angle">0</property>
2750
</widget>
2751
<packing>
2752
<property name="type">tab</property>
2753
</packing>
2754
</child>
2755
2756
<child>
2757
<widget class="GtkVBox" id="vbox34">
2758
<property name="border_width">12</property>
2759
<property name="visible">True</property>
2760
<property name="homogeneous">False</property>
2761
<property name="spacing">6</property>
2762
2763
<child>
2764
<widget class="GtkLabel" id="label133">
2765
<property name="visible">True</property>
2766
<property name="label" translatable="yes"><b>Proxy Server</b></property>
2767
<property name="use_underline">False</property>
2768
<property name="use_markup">True</property>
2769
<property name="justify">GTK_JUSTIFY_LEFT</property>
2770
<property name="wrap">False</property>
2771
<property name="selectable">False</property>
2772
<property name="xalign">0</property>
2773
<property name="yalign">0.5</property>
2774
<property name="xpad">0</property>
2775
<property name="ypad">0</property>
2776
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2777
<property name="width_chars">-1</property>
2778
<property name="single_line_mode">False</property>
2779
<property name="angle">0</property>
2780
</widget>
2781
<packing>
2782
<property name="padding">0</property>
2783
<property name="expand">False</property>
2784
<property name="fill">False</property>
2785
</packing>
2786
</child>
2787
2788
<child>
2789
<widget class="GtkHBox" id="hbox45">
2790
<property name="visible">True</property>
2791
<property name="homogeneous">False</property>
2792
<property name="spacing">0</property>
2793
2794
<child>
2795
<widget class="GtkLabel" id="label134">
2796
<property name="visible">True</property>
2797
<property name="label" translatable="yes"> </property>
2798
<property name="use_underline">False</property>
2799
<property name="use_markup">False</property>
2800
<property name="justify">GTK_JUSTIFY_LEFT</property>
2801
<property name="wrap">False</property>
2802
<property name="selectable">False</property>
2803
<property name="xalign">0.5</property>
2804
<property name="yalign">0.5</property>
2805
<property name="xpad">0</property>
2806
<property name="ypad">0</property>
2807
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2808
<property name="width_chars">-1</property>
2809
<property name="single_line_mode">False</property>
2810
<property name="angle">0</property>
2811
</widget>
2812
<packing>
2813
<property name="padding">0</property>
2814
<property name="expand">False</property>
2815
<property name="fill">False</property>
2816
</packing>
2817
</child>
2818
2819
<child>
2820
<widget class="GtkVBox" id="vbox31">
2821
<property name="visible">True</property>
2822
<property name="homogeneous">False</property>
2823
<property name="spacing">6</property>
2824
2825
<child>
2826
<widget class="GtkRadioButton" id="radio_no_proxy">
2827
<property name="visible">True</property>
2828
<property name="can_focus">True</property>
2829
<property name="label" translatable="yes">Direct connection to the internet</property>
2830
<property name="use_underline">True</property>
2831
<property name="relief">GTK_RELIEF_NORMAL</property>
2832
<property name="focus_on_click">True</property>
2833
<property name="active">True</property>
2834
<property name="inconsistent">False</property>
2835
<property name="draw_indicator">True</property>
2836
</widget>
2837
<packing>
2838
<property name="padding">0</property>
2839
<property name="expand">False</property>
2840
<property name="fill">False</property>
2841
</packing>
2842
</child>
2843
2844
<child>
2845
<widget class="GtkRadioButton" id="radio_use_proxy">
2846
<property name="visible">True</property>
2847
<property name="can_focus">True</property>
2848
<property name="label" translatable="yes">Manual proxy configuration</property>
2849
<property name="use_underline">True</property>
2850
<property name="relief">GTK_RELIEF_NORMAL</property>
2851
<property name="focus_on_click">True</property>
2852
<property name="active">False</property>
2853
<property name="inconsistent">False</property>
2854
<property name="draw_indicator">True</property>
2855
<property name="group">radio_no_proxy</property>
2856
<signal name="toggled" handler="on_radio_use_proxy_toggled" last_modification_time="Thu, 25 Sep 2003 22:59:20 GMT"/>
2857
</widget>
2858
<packing>
2859
<property name="padding">0</property>
2860
<property name="expand">False</property>
2861
<property name="fill">False</property>
2862
</packing>
2863
</child>
2864
2865
<child>
2866
<widget class="GtkHBox" id="hbox43">
2867
<property name="visible">True</property>
2868
<property name="homogeneous">False</property>
2869
<property name="spacing">0</property>
2870
2871
<child>
2872
<widget class="GtkLabel" id="label126">
2873
<property name="visible">True</property>
2874
<property name="label" translatable="yes"> </property>
2875
<property name="use_underline">False</property>
2876
<property name="use_markup">False</property>
2877
<property name="justify">GTK_JUSTIFY_LEFT</property>
2878
<property name="wrap">False</property>
2879
<property name="selectable">False</property>
2880
<property name="xalign">0.5</property>
2881
<property name="yalign">0.5</property>
2882
<property name="xpad">0</property>
2883
<property name="ypad">0</property>
2884
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2885
<property name="width_chars">-1</property>
2886
<property name="single_line_mode">False</property>
2887
<property name="angle">0</property>
2888
</widget>
2889
<packing>
2890
<property name="padding">0</property>
2891
<property name="expand">False</property>
2892
<property name="fill">False</property>
2893
</packing>
2894
</child>
2895
2896
<child>
2897
<widget class="GtkTable" id="table_proxy">
2898
<property name="visible">True</property>
2899
<property name="n_rows">3</property>
2900
<property name="n_columns">3</property>
2901
<property name="homogeneous">False</property>
2902
<property name="row_spacing">6</property>
2903
<property name="column_spacing">12</property>
2904
2905
<child>
2906
<widget class="GtkHBox" id="hbox49">
2907
<property name="visible">True</property>
2908
<property name="homogeneous">False</property>
2909
<property name="spacing">18</property>
2910
2911
<child>
2912
<widget class="GtkEntry" id="entry_http_proxy">
2913
<property name="visible">True</property>
2914
<property name="tooltip" translatable="yes">IP address or host name of the http proxy server</property>
2915
<property name="can_focus">True</property>
2916
<property name="editable">True</property>
2917
<property name="visibility">True</property>
2918
<property name="max_length">0</property>
2919
<property name="text" translatable="yes"></property>
2920
<property name="has_frame">True</property>
2921
<property name="invisible_char">*</property>
2922
<property name="activates_default">False</property>
2923
<signal name="changed" handler="on_entry_http_proxy_changed" last_modification_time="Fri, 31 Mar 2006 11:57:42 GMT"/>
2924
</widget>
2925
<packing>
2926
<property name="padding">0</property>
2927
<property name="expand">True</property>
2928
<property name="fill">True</property>
2929
</packing>
2930
</child>
2931
2932
<child>
2933
<widget class="GtkHBox" id="hbox51">
2934
<property name="visible">True</property>
2935
<property name="homogeneous">False</property>
2936
<property name="spacing">12</property>
2937
2938
<child>
2939
<widget class="GtkLabel" id="label128">
2940
<property name="visible">True</property>
2941
<property name="label" translatable="yes">Port: </property>
2942
<property name="use_underline">False</property>
2943
<property name="use_markup">False</property>
2944
<property name="justify">GTK_JUSTIFY_LEFT</property>
2945
<property name="wrap">False</property>
2946
<property name="selectable">False</property>
2947
<property name="xalign">0</property>
2948
<property name="yalign">0.5</property>
2949
<property name="xpad">0</property>
2950
<property name="ypad">0</property>
2951
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2952
<property name="width_chars">-1</property>
2953
<property name="single_line_mode">False</property>
2954
<property name="angle">0</property>
2955
</widget>
2956
<packing>
2957
<property name="padding">0</property>
2958
<property name="expand">False</property>
2959
<property name="fill">False</property>
2960
</packing>
2961
</child>
2962
2963
<child>
2964
<widget class="GtkSpinButton" id="spinbutton_http_port">
2965
<property name="visible">True</property>
2966
<property name="tooltip" translatable="yes">Port number of the http proxy server</property>
2967
<property name="can_focus">True</property>
2968
<property name="climb_rate">1</property>
2969
<property name="digits">0</property>
2970
<property name="numeric">False</property>
2971
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
2972
<property name="snap_to_ticks">False</property>
2973
<property name="wrap">False</property>
2974
<property name="adjustment">3128 1 65356 1 10 10</property>
2975
</widget>
2976
<packing>
2977
<property name="padding">0</property>
2978
<property name="expand">True</property>
2979
<property name="fill">False</property>
2980
</packing>
2981
</child>
2982
</widget>
2983
<packing>
2984
<property name="padding">0</property>
2985
<property name="expand">False</property>
2986
<property name="fill">False</property>
2987
</packing>
2988
</child>
2989
</widget>
2990
<packing>
2991
<property name="left_attach">1</property>
2992
<property name="right_attach">2</property>
2993
<property name="top_attach">0</property>
2994
<property name="bottom_attach">1</property>
2995
</packing>
2996
</child>
2997
2998
<child>
2999
<widget class="GtkHBox" id="hbox50">
3000
<property name="visible">True</property>
3001
<property name="homogeneous">False</property>
3002
<property name="spacing">18</property>
3003
3004
<child>
3005
<widget class="GtkEntry" id="entry_ftp_proxy">
3006
<property name="visible">True</property>
3007
<property name="tooltip" translatable="yes">IP address or host name of the ftp proxy server</property>
3008
<property name="can_focus">True</property>
3009
<property name="editable">True</property>
3010
<property name="visibility">True</property>
3011
<property name="max_length">0</property>
3012
<property name="text" translatable="yes"></property>
3013
<property name="has_frame">True</property>
3014
<property name="invisible_char">*</property>
3015
<property name="activates_default">False</property>
3016
</widget>
3017
<packing>
3018
<property name="padding">0</property>
3019
<property name="expand">True</property>
3020
<property name="fill">True</property>
3021
</packing>
3022
</child>
3023
3024
<child>
3025
<widget class="GtkHBox" id="hbox52">
3026
<property name="visible">True</property>
3027
<property name="homogeneous">False</property>
3028
<property name="spacing">12</property>
3029
3030
<child>
3031
<widget class="GtkLabel" id="label130">
3032
<property name="visible">True</property>
3033
<property name="label" translatable="yes">Port: </property>
3034
<property name="use_underline">False</property>
3035
<property name="use_markup">False</property>
3036
<property name="justify">GTK_JUSTIFY_LEFT</property>
3037
<property name="wrap">False</property>
3038
<property name="selectable">False</property>
3039
<property name="xalign">0</property>
3040
<property name="yalign">0.5</property>
3041
<property name="xpad">0</property>
3042
<property name="ypad">0</property>
3043
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3044
<property name="width_chars">-1</property>
3045
<property name="single_line_mode">False</property>
3046
<property name="angle">0</property>
3047
</widget>
3048
<packing>
3049
<property name="padding">0</property>
3050
<property name="expand">False</property>
3051
<property name="fill">False</property>
3052
</packing>
3053
</child>
3054
3055
<child>
3056
<widget class="GtkSpinButton" id="spinbutton_ftp_port">
3057
<property name="visible">True</property>
3058
<property name="tooltip" translatable="yes">Port number of the ftp proxy server</property>
3059
<property name="can_focus">True</property>
3060
<property name="climb_rate">1</property>
3061
<property name="digits">0</property>
3062
<property name="numeric">False</property>
3063
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
3064
<property name="snap_to_ticks">False</property>
3065
<property name="wrap">False</property>
3066
<property name="adjustment">3128 1 65536 1 10 10</property>
3067
</widget>
3068
<packing>
3069
<property name="padding">0</property>
3070
<property name="expand">True</property>
3071
<property name="fill">False</property>
3072
</packing>
3073
</child>
3074
</widget>
3075
<packing>
3076
<property name="padding">0</property>
3077
<property name="expand">False</property>
3078
<property name="fill">False</property>
3079
</packing>
3080
</child>
3081
</widget>
3082
<packing>
3083
<property name="left_attach">1</property>
3084
<property name="right_attach">2</property>
3085
<property name="top_attach">1</property>
3086
<property name="bottom_attach">2</property>
3087
<property name="x_options">fill</property>
3088
</packing>
3089
</child>
3090
3091
<child>
3092
<widget class="GtkLabel" id="label131">
3093
<property name="visible">True</property>
3094
<property name="label" translatable="yes">No proxy for: </property>
3095
<property name="use_underline">False</property>
3096
<property name="use_markup">False</property>
3097
<property name="justify">GTK_JUSTIFY_LEFT</property>
3098
<property name="wrap">False</property>
3099
<property name="selectable">False</property>
3100
<property name="xalign">0</property>
3101
<property name="yalign">0.5</property>
3102
<property name="xpad">0</property>
3103
<property name="ypad">0</property>
3104
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3105
<property name="width_chars">-1</property>
3106
<property name="single_line_mode">False</property>
3107
<property name="angle">0</property>
3108
</widget>
3109
<packing>
3110
<property name="left_attach">0</property>
3111
<property name="right_attach">1</property>
3112
<property name="top_attach">2</property>
3113
<property name="bottom_attach">3</property>
3114
<property name="x_options">fill</property>
3115
<property name="y_options"></property>
3116
</packing>
3117
</child>
3118
3119
<child>
3120
<widget class="GtkLabel" id="label129">
3121
<property name="visible">True</property>
3122
<property name="label" translatable="yes">FTP proxy: </property>
3123
<property name="use_underline">False</property>
3124
<property name="use_markup">False</property>
3125
<property name="justify">GTK_JUSTIFY_LEFT</property>
3126
<property name="wrap">False</property>
3127
<property name="selectable">False</property>
3128
<property name="xalign">0</property>
3129
<property name="yalign">0.5</property>
3130
<property name="xpad">0</property>
3131
<property name="ypad">0</property>
3132
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3133
<property name="width_chars">-1</property>
3134
<property name="single_line_mode">False</property>
3135
<property name="angle">0</property>
3136
</widget>
3137
<packing>
3138
<property name="left_attach">0</property>
3139
<property name="right_attach">1</property>
3140
<property name="top_attach">1</property>
3141
<property name="bottom_attach">2</property>
3142
<property name="x_options">fill</property>
3143
<property name="y_options"></property>
3144
</packing>
3145
</child>
3146
3147
<child>
3148
<widget class="GtkLabel" id="label127">
3149
<property name="visible">True</property>
3150
<property name="label" translatable="yes">HTTP proxy: </property>
3151
<property name="use_underline">False</property>
3152
<property name="use_markup">False</property>
3153
<property name="justify">GTK_JUSTIFY_LEFT</property>
3154
<property name="wrap">False</property>
3155
<property name="selectable">False</property>
3156
<property name="xalign">0</property>
3157
<property name="yalign">0.5</property>
3158
<property name="xpad">0</property>
3159
<property name="ypad">0</property>
3160
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3161
<property name="width_chars">-1</property>
3162
<property name="single_line_mode">False</property>
3163
<property name="angle">0</property>
3164
</widget>
3165
<packing>
3166
<property name="left_attach">0</property>
3167
<property name="right_attach">1</property>
3168
<property name="top_attach">0</property>
3169
<property name="bottom_attach">1</property>
3170
<property name="x_options">fill</property>
3171
<property name="y_options"></property>
3172
</packing>
3173
</child>
3174
3175
<child>
3176
<widget class="GtkEntry" id="entry_no_proxy">
3177
<property name="visible">True</property>
3178
<property name="tooltip" translatable="yes">Comma separated list of hosts and domains that will not be contacted through the proxy (e.g. localhost, 192.168.1.231, .net)</property>
3179
<property name="can_focus">True</property>
3180
<property name="editable">True</property>
3181
<property name="visibility">True</property>
3182
<property name="max_length">0</property>
3183
<property name="text" translatable="yes"></property>
3184
<property name="has_frame">True</property>
3185
<property name="invisible_char">*</property>
3186
<property name="activates_default">False</property>
3187
</widget>
3188
<packing>
3189
<property name="left_attach">1</property>
3190
<property name="right_attach">2</property>
3191
<property name="top_attach">2</property>
3192
<property name="bottom_attach">3</property>
3193
<property name="y_options"></property>
3194
</packing>
3195
</child>
3196
3197
<child>
3198
<widget class="GtkButton" id="button_authentication">
3199
<property name="visible">True</property>
3200
<property name="can_focus">True</property>
3201
<property name="label" translatable="yes">Authentication</property>
3202
<property name="use_underline">True</property>
3203
<property name="relief">GTK_RELIEF_NORMAL</property>
3204
<property name="focus_on_click">True</property>
3205
<signal name="clicked" handler="on_button_authentication_clicked" last_modification_time="Tue, 03 Apr 2007 21:11:44 GMT"/>
3206
</widget>
3207
<packing>
3208
<property name="left_attach">2</property>
3209
<property name="right_attach">3</property>
3210
<property name="top_attach">0</property>
3211
<property name="bottom_attach">1</property>
3212
<property name="x_options">fill</property>
3213
<property name="y_options"></property>
3214
</packing>
3215
</child>
3216
</widget>
3217
<packing>
3218
<property name="padding">0</property>
3219
<property name="expand">True</property>
3220
<property name="fill">True</property>
3221
</packing>
3222
</child>
3223
</widget>
3224
<packing>
3225
<property name="padding">0</property>
3226
<property name="expand">True</property>
3227
<property name="fill">True</property>
3228
</packing>
3229
</child>
3230
</widget>
3231
<packing>
3232
<property name="padding">0</property>
3233
<property name="expand">True</property>
3234
<property name="fill">True</property>
3235
</packing>
3236
</child>
3237
</widget>
3238
<packing>
3239
<property name="padding">0</property>
3240
<property name="expand">False</property>
3241
<property name="fill">False</property>
3242
</packing>
3243
</child>
3244
</widget>
3245
<packing>
3246
<property name="tab_expand">False</property>
3247
<property name="tab_fill">False</property>
3248
</packing>
3249
</child>
3250
3251
<child>
3252
<widget class="GtkLabel" id="label145">
3253
<property name="visible">True</property>
3254
<property name="label" translatable="yes">Network</property>
3255
<property name="use_underline">False</property>
3256
<property name="use_markup">False</property>
3257
<property name="justify">GTK_JUSTIFY_LEFT</property>
3258
<property name="wrap">False</property>
3259
<property name="selectable">False</property>
3260
<property name="xalign">0.5</property>
3261
<property name="yalign">0.5</property>
3262
<property name="xpad">0</property>
3263
<property name="ypad">0</property>
3264
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3265
<property name="width_chars">-1</property>
3266
<property name="single_line_mode">False</property>
3267
<property name="angle">0</property>
3268
</widget>
3269
<packing>
3270
<property name="type">tab</property>
3271
</packing>
3272
</child>
3273
3274
<child>
3275
<widget class="GtkVBox" id="vbox36">
3276
<property name="border_width">12</property>
3277
<property name="visible">True</property>
3278
<property name="homogeneous">False</property>
3279
<property name="spacing">18</property>
3280
3281
<child>
3282
<widget class="GtkHBox" id="hbox67">
3283
<property name="visible">True</property>
3284
<property name="homogeneous">False</property>
3285
<property name="spacing">12</property>
3286
3287
<child>
3288
<widget class="GtkImage" id="image7">
3289
<property name="visible">True</property>
3290
<property name="stock">gtk-dialog-warning</property>
3291
<property name="icon_size">5</property>
3292
<property name="xalign">0</property>
3293
<property name="yalign">0</property>
3294
<property name="xpad">0</property>
3295
<property name="ypad">0</property>
3296
</widget>
3297
<packing>
3298
<property name="padding">0</property>
3299
<property name="expand">False</property>
3300
<property name="fill">False</property>
3301
</packing>
3302
</child>
3303
3304
<child>
3305
<widget class="GtkLabel" id="label144">
3306
<property name="visible">True</property>
3307
<property name="label" translatable="yes"><span size="large" weight="bold">These settings affect the core of your system. Consider any changes carefully.</span></property>
3308
<property name="use_underline">False</property>
3309
<property name="use_markup">True</property>
3310
<property name="justify">GTK_JUSTIFY_LEFT</property>
3311
<property name="wrap">True</property>
3312
<property name="selectable">False</property>
3313
<property name="xalign">0</property>
3314
<property name="yalign">0.5</property>
3315
<property name="xpad">0</property>
3316
<property name="ypad">0</property>
3317
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3318
<property name="width_chars">-1</property>
3319
<property name="single_line_mode">False</property>
3320
<property name="angle">0</property>
3321
</widget>
3322
<packing>
3323
<property name="padding">0</property>
3324
<property name="expand">False</property>
3325
<property name="fill">False</property>
3326
</packing>
3327
</child>
3328
</widget>
3329
<packing>
3330
<property name="padding">0</property>
3331
<property name="expand">False</property>
3332
<property name="fill">False</property>
3333
</packing>
3334
</child>
3335
3336
<child>
3337
<widget class="GtkVBox" id="vbox35">
3338
<property name="visible">True</property>
3339
<property name="homogeneous">False</property>
3340
<property name="spacing">6</property>
3341
3342
<child>
3343
<widget class="GtkLabel" id="label141">
3344
<property name="visible">True</property>
3345
<property name="label" translatable="yes"><b>Package upgrade behaviour (default distribution)</b></property>
3346
<property name="use_underline">False</property>
3347
<property name="use_markup">True</property>
3348
<property name="justify">GTK_JUSTIFY_LEFT</property>
3349
<property name="wrap">False</property>
3350
<property name="selectable">False</property>
3351
<property name="xalign">0</property>
3352
<property name="yalign">0.5</property>
3353
<property name="xpad">0</property>
3354
<property name="ypad">0</property>
3355
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3356
<property name="width_chars">-1</property>
3357
<property name="single_line_mode">False</property>
3358
<property name="angle">0</property>
3359
</widget>
3360
<packing>
3361
<property name="padding">0</property>
3362
<property name="expand">False</property>
3363
<property name="fill">False</property>
3364
</packing>
3365
</child>
3366
3367
<child>
3368
<widget class="GtkHBox" id="hbox66">
3369
<property name="visible">True</property>
3370
<property name="homogeneous">False</property>
3371
<property name="spacing">0</property>
3372
3373
<child>
3374
<widget class="GtkLabel" id="label143">
3375
<property name="visible">True</property>
3376
<property name="label" translatable="yes"> </property>
3377
<property name="use_underline">False</property>
3378
<property name="use_markup">False</property>
3379
<property name="justify">GTK_JUSTIFY_LEFT</property>
3380
<property name="wrap">False</property>
3381
<property name="selectable">False</property>
3382
<property name="xalign">0.5</property>
3383
<property name="yalign">0.5</property>
3384
<property name="xpad">0</property>
3385
<property name="ypad">0</property>
3386
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3387
<property name="width_chars">-1</property>
3388
<property name="single_line_mode">False</property>
3389
<property name="angle">0</property>
3390
</widget>
3391
<packing>
3392
<property name="padding">0</property>
3393
<property name="expand">False</property>
3394
<property name="fill">False</property>
3395
</packing>
3396
</child>
3397
3398
<child>
3399
<widget class="GtkVBox" id="vbox36">
3400
<property name="visible">True</property>
3401
<property name="homogeneous">False</property>
3402
<property name="spacing">12</property>
3403
3404
<child>
3405
<widget class="GtkRadioButton" id="radiobutton_ignore">
3406
<property name="visible">True</property>
3407
<property name="can_focus">True</property>
3408
<property name="label" translatable="yes">Always prefer the highest version</property>
3409
<property name="use_underline">True</property>
3410
<property name="relief">GTK_RELIEF_NORMAL</property>
3411
<property name="focus_on_click">True</property>
3412
<property name="active">False</property>
3413
<property name="inconsistent">False</property>
3414
<property name="draw_indicator">True</property>
3415
<signal name="toggled" handler="on_radiobutton_distribution_group_changed" last_modification_time="Thu, 06 Jan 2005 11:03:37 GMT"/>
3416
</widget>
3417
<packing>
3418
<property name="padding">0</property>
3419
<property name="expand">False</property>
3420
<property name="fill">False</property>
3421
</packing>
3422
</child>
3423
3424
<child>
3425
<widget class="GtkRadioButton" id="radiobutton_now">
3426
<property name="visible">True</property>
3427
<property name="can_focus">True</property>
3428
<property name="label" translatable="yes">Always prefer the installed version</property>
3429
<property name="use_underline">True</property>
3430
<property name="relief">GTK_RELIEF_NORMAL</property>
3431
<property name="focus_on_click">True</property>
3432
<property name="active">False</property>
3433
<property name="inconsistent">False</property>
3434
<property name="draw_indicator">True</property>
3435
<property name="group">radiobutton_ignore</property>
3436
<signal name="toggled" handler="on_radiobutton_distribution_group_changed" last_modification_time="Thu, 06 Jan 2005 11:04:00 GMT"/>
3437
</widget>
3438
<packing>
3439
<property name="padding">0</property>
3440
<property name="expand">False</property>
3441
<property name="fill">False</property>
3442
</packing>
3443
</child>
3444
3445
<child>
3446
<widget class="GtkHBox" id="hbox82">
3447
<property name="visible">True</property>
3448
<property name="homogeneous">False</property>
3449
<property name="spacing">0</property>
3450
3451
<child>
3452
<widget class="GtkRadioButton" id="radiobutton_distro">
3453
<property name="visible">True</property>
3454
<property name="can_focus">True</property>
3455
<property name="label" translatable="yes">Prefer versions from: </property>
3456
<property name="use_underline">True</property>
3457
<property name="relief">GTK_RELIEF_NORMAL</property>
3458
<property name="focus_on_click">True</property>
3459
<property name="active">False</property>
3460
<property name="inconsistent">False</property>
3461
<property name="draw_indicator">True</property>
3462
<property name="group">radiobutton_ignore</property>
3463
<signal name="toggled" handler="on_radiobutton_distribution_group_changed" last_modification_time="Thu, 06 Jan 2005 11:04:19 GMT"/>
3464
</widget>
3465
<packing>
3466
<property name="padding">0</property>
3467
<property name="expand">False</property>
3468
<property name="fill">False</property>
3469
</packing>
3470
</child>
3471
3472
<child>
3473
<widget class="GtkComboBox" id="combobox_default_distro">
3474
<property name="visible">True</property>
3475
<property name="items" translatable="yes"></property>
3476
<property name="add_tearoffs">False</property>
3477
<property name="focus_on_click">True</property>
3478
</widget>
3479
<packing>
3480
<property name="padding">0</property>
3481
<property name="expand">True</property>
3482
<property name="fill">True</property>
3483
</packing>
3484
</child>
3485
</widget>
3486
<packing>
3487
<property name="padding">0</property>
3488
<property name="expand">False</property>
3489
<property name="fill">False</property>
3490
</packing>
3491
</child>
3492
</widget>
3493
<packing>
3494
<property name="padding">0</property>
3495
<property name="expand">True</property>
3496
<property name="fill">True</property>
3497
</packing>
3498
</child>
3499
</widget>
3500
<packing>
3501
<property name="padding">0</property>
3502
<property name="expand">True</property>
3503
<property name="fill">True</property>
3504
</packing>
3505
</child>
3506
</widget>
3507
<packing>
3508
<property name="padding">0</property>
3509
<property name="expand">True</property>
3510
<property name="fill">True</property>
3511
</packing>
3512
</child>
3513
</widget>
3514
<packing>
3515
<property name="tab_expand">False</property>
3516
<property name="tab_fill">True</property>
3517
</packing>
3518
</child>
3519
3520
<child>
3521
<widget class="GtkLabel" id="label138">
3522
<property name="visible">True</property>
3523
<property name="label" translatable="yes">Distribution</property>
3524
<property name="use_underline">False</property>
3525
<property name="use_markup">False</property>
3526
<property name="justify">GTK_JUSTIFY_LEFT</property>
3527
<property name="wrap">False</property>
3528
<property name="selectable">False</property>
3529
<property name="xalign">0.5</property>
3530
<property name="yalign">0.5</property>
3531
<property name="xpad">0</property>
3532
<property name="ypad">0</property>
3533
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3534
<property name="width_chars">-1</property>
3535
<property name="single_line_mode">False</property>
3536
<property name="angle">0</property>
3537
</widget>
3538
<packing>
3539
<property name="type">tab</property>
3540
</packing>
3541
</child>
3542
</widget>
3543
<packing>
3544
<property name="padding">0</property>
3545
<property name="expand">True</property>
3546
<property name="fill">True</property>
3547
</packing>
3548
</child>
3549
3550
<child>
3551
<widget class="GtkHButtonBox" id="hbuttonbox2">
3552
<property name="border_width">6</property>
3553
<property name="visible">True</property>
3554
<property name="layout_style">GTK_BUTTONBOX_END</property>
3555
<property name="spacing">6</property>
3556
3557
<child>
3558
<widget class="GtkButton" id="apply">
3559
<property name="visible">True</property>
3560
<property name="can_default">True</property>
3561
<property name="can_focus">True</property>
3562
<property name="label">gtk-apply</property>
3563
<property name="use_stock">True</property>
3564
<property name="relief">GTK_RELIEF_NORMAL</property>
3565
<property name="focus_on_click">True</property>
3566
<signal name="clicked" handler="on_apply_clicked" last_modification_time="Thu, 06 Feb 2003 15:53:47 GMT"/>
3567
</widget>
3568
</child>
3569
3570
<child>
3571
<widget class="GtkButton" id="close">
3572
<property name="visible">True</property>
3573
<property name="can_default">True</property>
3574
<property name="can_focus">True</property>
3575
<property name="label">gtk-cancel</property>
3576
<property name="use_stock">True</property>
3577
<property name="relief">GTK_RELIEF_NORMAL</property>
3578
<property name="focus_on_click">True</property>
3579
<signal name="clicked" handler="on_close_clicked" last_modification_time="Thu, 06 Feb 2003 15:54:11 GMT"/>
3580
</widget>
3581
</child>
3582
3583
<child>
3584
<widget class="GtkButton" id="ok">
3585
<property name="visible">True</property>
3586
<property name="can_default">True</property>
3587
<property name="can_focus">True</property>
3588
<property name="label">gtk-ok</property>
3589
<property name="use_stock">True</property>
3590
<property name="relief">GTK_RELIEF_NORMAL</property>
3591
<property name="focus_on_click">True</property>
3592
<signal name="clicked" handler="on_ok_clicked" last_modification_time="Thu, 06 Feb 2003 15:50:24 GMT"/>
3593
</widget>
3594
</child>
3595
</widget>
3596
<packing>
3597
<property name="padding">0</property>
3598
<property name="expand">False</property>
3599
<property name="fill">False</property>
3600
</packing>
3601
</child>
3602
</widget>
3603
</child>
3604
</widget>
3605
3606
</glade-interface>
Loggerhead is a web-based interface for Breezy
Version: 2.0.1