source: projects/synaptic/trunk/gtk/window_preferences.glade @ 280

Revision 280, 137.8 KB checked in by yasumichi, 15 years ago (diff)

first import

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