~ubuntu-branches/debian/squeeze/synaptic/squeeze

« back to all changes in this revision

Viewing changes to gtk/window_filters.glade

  • Committer: Bazaar Package Importer
  • Author(s): Michael Vogt
  • Date: 2005-04-06 00:39:52 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20050406003952-eld0cxghnpl1q6fj
Tags: 0.55+cvs20050406-1
translation updates for: fr, es, lt

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
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="GtkDialog" id="window_filters">
 
7
  <property name="border_width">6</property>
 
8
  <property name="visible">True</property>
 
9
  <property name="title" translatable="yes">Filters</property>
 
10
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
11
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
12
  <property name="modal">True</property>
 
13
  <property name="default_width">640</property>
 
14
  <property name="default_height">480</property>
 
15
  <property name="resizable">False</property>
 
16
  <property name="destroy_with_parent">False</property>
 
17
  <property name="icon">synaptic_mini.xpm</property>
 
18
  <property name="decorated">True</property>
 
19
  <property name="skip_taskbar_hint">False</property>
 
20
  <property name="skip_pager_hint">False</property>
 
21
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 
22
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 
23
  <property name="focus_on_map">True</property>
 
24
  <property name="has_separator">False</property>
 
25
 
 
26
  <child internal-child="vbox">
 
27
    <widget class="GtkVBox" id="dialog-vbox1">
 
28
      <property name="visible">True</property>
 
29
      <property name="homogeneous">False</property>
 
30
      <property name="spacing">0</property>
 
31
 
 
32
      <child internal-child="action_area">
 
33
        <widget class="GtkHButtonBox" id="dialog-action_area1">
 
34
          <property name="visible">True</property>
 
35
          <property name="layout_style">GTK_BUTTONBOX_END</property>
 
36
 
 
37
          <child>
 
38
            <widget class="GtkButton" id="button_cancel">
 
39
              <property name="visible">True</property>
 
40
              <property name="can_default">True</property>
 
41
              <property name="can_focus">True</property>
 
42
              <property name="label">gtk-cancel</property>
 
43
              <property name="use_stock">True</property>
 
44
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
45
              <property name="focus_on_click">True</property>
 
46
              <property name="response_id">-6</property>
 
47
              <signal name="clicked" handler="on_button_cancel_clicked" last_modification_time="Sat, 08 Mar 2003 11:25:12 GMT"/>
 
48
            </widget>
 
49
          </child>
 
50
 
 
51
          <child>
 
52
            <widget class="GtkButton" id="button_ok">
 
53
              <property name="visible">True</property>
 
54
              <property name="can_default">True</property>
 
55
              <property name="can_focus">True</property>
 
56
              <property name="label">gtk-ok</property>
 
57
              <property name="use_stock">True</property>
 
58
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
59
              <property name="focus_on_click">True</property>
 
60
              <property name="response_id">-5</property>
 
61
              <signal name="clicked" handler="on_button_ok_clicked" last_modification_time="Sat, 08 Mar 2003 11:23:39 GMT"/>
 
62
            </widget>
 
63
          </child>
 
64
        </widget>
 
65
        <packing>
 
66
          <property name="padding">0</property>
 
67
          <property name="expand">False</property>
 
68
          <property name="fill">False</property>
 
69
          <property name="pack_type">GTK_PACK_END</property>
 
70
        </packing>
 
71
      </child>
 
72
 
 
73
      <child>
 
74
        <widget class="GtkHBox" id="hbox16">
 
75
          <property name="border_width">6</property>
 
76
          <property name="visible">True</property>
 
77
          <property name="homogeneous">False</property>
 
78
          <property name="spacing">12</property>
 
79
 
 
80
          <child>
 
81
            <widget class="GtkVBox" id="vbox4">
 
82
              <property name="visible">True</property>
 
83
              <property name="homogeneous">False</property>
 
84
              <property name="spacing">6</property>
 
85
 
 
86
              <child>
 
87
                <widget class="GtkEntry" id="entry_filters">
 
88
                  <property name="visible">True</property>
 
89
                  <property name="can_focus">True</property>
 
90
                  <property name="editable">True</property>
 
91
                  <property name="visibility">True</property>
 
92
                  <property name="max_length">0</property>
 
93
                  <property name="text" translatable="yes"> </property>
 
94
                  <property name="has_frame">True</property>
 
95
                  <property name="invisible_char">*</property>
 
96
                  <property name="activates_default">False</property>
 
97
                  <signal name="changed" handler="on_entry_filters_changed" last_modification_time="Tue, 08 Apr 2003 11:06:51 GMT"/>
 
98
                </widget>
 
99
                <packing>
 
100
                  <property name="padding">2</property>
 
101
                  <property name="expand">False</property>
 
102
                  <property name="fill">False</property>
 
103
                </packing>
 
104
              </child>
 
105
 
 
106
              <child>
 
107
                <widget class="GtkScrolledWindow" id="scrolledwindow3">
 
108
                  <property name="visible">True</property>
 
109
                  <property name="can_focus">True</property>
 
110
                  <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 
111
                  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
112
                  <property name="shadow_type">GTK_SHADOW_IN</property>
 
113
                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
114
 
 
115
                  <child>
 
116
                    <widget class="GtkTreeView" id="treeview_filters">
 
117
                      <property name="visible">True</property>
 
118
                      <property name="can_focus">True</property>
 
119
                      <property name="headers_visible">False</property>
 
120
                      <property name="rules_hint">False</property>
 
121
                      <property name="reorderable">False</property>
 
122
                      <property name="enable_search">False</property>
 
123
                      <property name="fixed_height_mode">False</property>
 
124
                      <property name="hover_selection">False</property>
 
125
                      <property name="hover_expand">False</property>
 
126
                    </widget>
 
127
                  </child>
 
128
                </widget>
 
129
                <packing>
 
130
                  <property name="padding">0</property>
 
131
                  <property name="expand">True</property>
 
132
                  <property name="fill">True</property>
 
133
                </packing>
 
134
              </child>
 
135
 
 
136
              <child>
 
137
                <widget class="GtkVBox" id="vbox8">
 
138
                  <property name="visible">True</property>
 
139
                  <property name="homogeneous">False</property>
 
140
                  <property name="spacing">0</property>
 
141
 
 
142
                  <child>
 
143
                    <widget class="GtkHButtonBox" id="hbuttonbox3">
 
144
                      <property name="visible">True</property>
 
145
                      <property name="layout_style">GTK_BUTTONBOX_START</property>
 
146
                      <property name="spacing">6</property>
 
147
 
 
148
                      <child>
 
149
                        <widget class="GtkButton" id="button_filters_add">
 
150
                          <property name="visible">True</property>
 
151
                          <property name="can_default">True</property>
 
152
                          <property name="can_focus">True</property>
 
153
                          <property name="label">gtk-new</property>
 
154
                          <property name="use_stock">True</property>
 
155
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
156
                          <property name="focus_on_click">True</property>
 
157
                          <signal name="clicked" handler="on_button_filters_add_clicked" last_modification_time="Sat, 08 Mar 2003 11:14:43 GMT"/>
 
158
                        </widget>
 
159
                      </child>
 
160
 
 
161
                      <child>
 
162
                        <widget class="GtkButton" id="button_filters_remove">
 
163
                          <property name="visible">True</property>
 
164
                          <property name="can_default">True</property>
 
165
                          <property name="can_focus">True</property>
 
166
                          <property name="label">gtk-delete</property>
 
167
                          <property name="use_stock">True</property>
 
168
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
169
                          <property name="focus_on_click">True</property>
 
170
                          <signal name="clicked" handler="on_button_filters_remove_clicked" last_modification_time="Sat, 08 Mar 2003 11:14:47 GMT"/>
 
171
                        </widget>
 
172
                      </child>
 
173
                    </widget>
 
174
                    <packing>
 
175
                      <property name="padding">0</property>
 
176
                      <property name="expand">True</property>
 
177
                      <property name="fill">True</property>
 
178
                    </packing>
 
179
                  </child>
 
180
                </widget>
 
181
                <packing>
 
182
                  <property name="padding">0</property>
 
183
                  <property name="expand">False</property>
 
184
                  <property name="fill">False</property>
 
185
                </packing>
 
186
              </child>
 
187
            </widget>
 
188
            <packing>
 
189
              <property name="padding">0</property>
 
190
              <property name="expand">True</property>
 
191
              <property name="fill">True</property>
 
192
            </packing>
 
193
          </child>
 
194
 
 
195
          <child>
 
196
            <widget class="GtkHBox" id="vbox_filter_details">
 
197
              <property name="visible">True</property>
 
198
              <property name="homogeneous">False</property>
 
199
              <property name="spacing">0</property>
 
200
 
 
201
              <child>
 
202
                <widget class="GtkNotebook" id="notebook_details">
 
203
                  <property name="visible">True</property>
 
204
                  <property name="can_focus">True</property>
 
205
                  <property name="show_tabs">True</property>
 
206
                  <property name="show_border">True</property>
 
207
                  <property name="tab_pos">GTK_POS_TOP</property>
 
208
                  <property name="scrollable">False</property>
 
209
                  <property name="enable_popup">False</property>
 
210
 
 
211
                  <child>
 
212
                    <widget class="GtkVBox" id="vbox6">
 
213
                      <property name="border_width">12</property>
 
214
                      <property name="visible">True</property>
 
215
                      <property name="homogeneous">False</property>
 
216
                      <property name="spacing">18</property>
 
217
 
 
218
                      <child>
 
219
                        <widget class="GtkHBox" id="hbox12">
 
220
                          <property name="visible">True</property>
 
221
                          <property name="homogeneous">False</property>
 
222
                          <property name="spacing">0</property>
 
223
 
 
224
                          <child>
 
225
                            <widget class="GtkHBox" id="hbox13">
 
226
                              <property name="visible">True</property>
 
227
                              <property name="homogeneous">False</property>
 
228
                              <property name="spacing">24</property>
 
229
 
 
230
                              <child>
 
231
                                <widget class="GtkVBox" id="vbox15">
 
232
                                  <property name="visible">True</property>
 
233
                                  <property name="homogeneous">False</property>
 
234
                                  <property name="spacing">18</property>
 
235
 
 
236
                                  <child>
 
237
                                    <widget class="GtkVBox" id="vbox21">
 
238
                                      <property name="visible">True</property>
 
239
                                      <property name="homogeneous">False</property>
 
240
                                      <property name="spacing">6</property>
 
241
 
 
242
                                      <child>
 
243
                                        <widget class="GtkLabel" id="label25">
 
244
                                          <property name="visible">True</property>
 
245
                                          <property name="label" translatable="yes" comments="TRANSLATORS: this is a label embedded in the &quot;Status&quot; notebook tab, so it describes the &quot;Current [status]&quot;">&lt;b&gt;Current&lt;/b&gt;</property>
 
246
                                          <property name="use_underline">False</property>
 
247
                                          <property name="use_markup">True</property>
 
248
                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
249
                                          <property name="wrap">False</property>
 
250
                                          <property name="selectable">False</property>
 
251
                                          <property name="xalign">0</property>
 
252
                                          <property name="yalign">0.5</property>
 
253
                                          <property name="xpad">0</property>
 
254
                                          <property name="ypad">0</property>
 
255
                                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
256
                                          <property name="width_chars">-1</property>
 
257
                                          <property name="single_line_mode">False</property>
 
258
                                          <property name="angle">0</property>
 
259
                                        </widget>
 
260
                                        <packing>
 
261
                                          <property name="padding">0</property>
 
262
                                          <property name="expand">False</property>
 
263
                                          <property name="fill">False</property>
 
264
                                        </packing>
 
265
                                      </child>
 
266
 
 
267
                                      <child>
 
268
                                        <widget class="GtkHBox" id="hbox18">
 
269
                                          <property name="visible">True</property>
 
270
                                          <property name="homogeneous">False</property>
 
271
                                          <property name="spacing">0</property>
 
272
 
 
273
                                          <child>
 
274
                                            <widget class="GtkLabel" id="label24">
 
275
                                              <property name="visible">True</property>
 
276
                                              <property name="label" translatable="yes">    </property>
 
277
                                              <property name="use_underline">False</property>
 
278
                                              <property name="use_markup">False</property>
 
279
                                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
280
                                              <property name="wrap">False</property>
 
281
                                              <property name="selectable">False</property>
 
282
                                              <property name="xalign">0.5</property>
 
283
                                              <property name="yalign">0.5</property>
 
284
                                              <property name="xpad">0</property>
 
285
                                              <property name="ypad">0</property>
 
286
                                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
287
                                              <property name="width_chars">-1</property>
 
288
                                              <property name="single_line_mode">False</property>
 
289
                                              <property name="angle">0</property>
 
290
                                            </widget>
 
291
                                            <packing>
 
292
                                              <property name="padding">0</property>
 
293
                                              <property name="expand">False</property>
 
294
                                              <property name="fill">False</property>
 
295
                                            </packing>
 
296
                                          </child>
 
297
 
 
298
                                          <child>
 
299
                                            <widget class="GtkVBox" id="vbox16">
 
300
                                              <property name="visible">True</property>
 
301
                                              <property name="homogeneous">False</property>
 
302
                                              <property name="spacing">0</property>
 
303
 
 
304
                                              <child>
 
305
                                                <widget class="GtkCheckButton" id="checkbutton_status3">
 
306
                                                  <property name="visible">True</property>
 
307
                                                  <property name="tooltip" translatable="yes">Installed packages that are up-to-date</property>
 
308
                                                  <property name="can_focus">True</property>
 
309
                                                  <property name="label" translatable="yes">Installed</property>
 
310
                                                  <property name="use_underline">True</property>
 
311
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
312
                                                  <property name="focus_on_click">True</property>
 
313
                                                  <property name="active">False</property>
 
314
                                                  <property name="inconsistent">False</property>
 
315
                                                  <property name="draw_indicator">True</property>
 
316
                                                </widget>
 
317
                                                <packing>
 
318
                                                  <property name="padding">0</property>
 
319
                                                  <property name="expand">False</property>
 
320
                                                  <property name="fill">False</property>
 
321
                                                </packing>
 
322
                                              </child>
 
323
 
 
324
                                              <child>
 
325
                                                <widget class="GtkCheckButton" id="checkbutton_status2">
 
326
                                                  <property name="visible">True</property>
 
327
                                                  <property name="tooltip" translatable="yes">Installed packages that are upgradable</property>
 
328
                                                  <property name="can_focus">True</property>
 
329
                                                  <property name="label" translatable="yes">Upgradable</property>
 
330
                                                  <property name="use_underline">True</property>
 
331
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
332
                                                  <property name="focus_on_click">True</property>
 
333
                                                  <property name="active">False</property>
 
334
                                                  <property name="inconsistent">False</property>
 
335
                                                  <property name="draw_indicator">True</property>
 
336
                                                </widget>
 
337
                                                <packing>
 
338
                                                  <property name="padding">0</property>
 
339
                                                  <property name="expand">False</property>
 
340
                                                  <property name="fill">False</property>
 
341
                                                </packing>
 
342
                                              </child>
 
343
 
 
344
                                              <child>
 
345
                                                <widget class="GtkCheckButton" id="checkbutton_status13">
 
346
                                                  <property name="visible">True</property>
 
347
                                                  <property name="tooltip" translatable="yes">Installed packages that are upgradable to a later upstream version</property>
 
348
                                                  <property name="can_focus">True</property>
 
349
                                                  <property name="label" translatable="yes">Upgradable (upstream)</property>
 
350
                                                  <property name="use_underline">True</property>
 
351
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
352
                                                  <property name="focus_on_click">True</property>
 
353
                                                  <property name="active">False</property>
 
354
                                                  <property name="inconsistent">False</property>
 
355
                                                  <property name="draw_indicator">True</property>
 
356
                                                </widget>
 
357
                                                <packing>
 
358
                                                  <property name="padding">0</property>
 
359
                                                  <property name="expand">False</property>
 
360
                                                  <property name="fill">False</property>
 
361
                                                </packing>
 
362
                                              </child>
 
363
 
 
364
                                              <child>
 
365
                                                <widget class="GtkCheckButton" id="checkbutton_status11">
 
366
                                                  <property name="visible">True</property>
 
367
                                                  <property name="tooltip" translatable="yes">Removed packages that have left configuration files on the system</property>
 
368
                                                  <property name="can_focus">True</property>
 
369
                                                  <property name="label" translatable="yes">Residual config</property>
 
370
                                                  <property name="use_underline">True</property>
 
371
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
372
                                                  <property name="focus_on_click">True</property>
 
373
                                                  <property name="active">False</property>
 
374
                                                  <property name="inconsistent">False</property>
 
375
                                                  <property name="draw_indicator">True</property>
 
376
                                                </widget>
 
377
                                                <packing>
 
378
                                                  <property name="padding">0</property>
 
379
                                                  <property name="expand">False</property>
 
380
                                                  <property name="fill">False</property>
 
381
                                                </packing>
 
382
                                              </child>
 
383
 
 
384
                                              <child>
 
385
                                                <widget class="GtkCheckButton" id="checkbutton_status1">
 
386
                                                  <property name="visible">True</property>
 
387
                                                  <property name="tooltip" translatable="yes">Not installed packages</property>
 
388
                                                  <property name="can_focus">True</property>
 
389
                                                  <property name="label" translatable="yes">Not installed</property>
 
390
                                                  <property name="use_underline">True</property>
 
391
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
392
                                                  <property name="focus_on_click">True</property>
 
393
                                                  <property name="active">False</property>
 
394
                                                  <property name="inconsistent">False</property>
 
395
                                                  <property name="draw_indicator">True</property>
 
396
                                                </widget>
 
397
                                                <packing>
 
398
                                                  <property name="padding">0</property>
 
399
                                                  <property name="expand">False</property>
 
400
                                                  <property name="fill">False</property>
 
401
                                                </packing>
 
402
                                              </child>
 
403
                                            </widget>
 
404
                                            <packing>
 
405
                                              <property name="padding">0</property>
 
406
                                              <property name="expand">False</property>
 
407
                                              <property name="fill">False</property>
 
408
                                            </packing>
 
409
                                          </child>
 
410
                                        </widget>
 
411
                                        <packing>
 
412
                                          <property name="padding">0</property>
 
413
                                          <property name="expand">True</property>
 
414
                                          <property name="fill">True</property>
 
415
                                        </packing>
 
416
                                      </child>
 
417
                                    </widget>
 
418
                                    <packing>
 
419
                                      <property name="padding">0</property>
 
420
                                      <property name="expand">False</property>
 
421
                                      <property name="fill">False</property>
 
422
                                    </packing>
 
423
                                  </child>
 
424
 
 
425
                                  <child>
 
426
                                    <widget class="GtkVBox" id="vbox22">
 
427
                                      <property name="visible">True</property>
 
428
                                      <property name="homogeneous">False</property>
 
429
                                      <property name="spacing">6</property>
 
430
 
 
431
                                      <child>
 
432
                                        <widget class="GtkLabel" id="label22">
 
433
                                          <property name="visible">True</property>
 
434
                                          <property name="label" translatable="yes" comments="TRANSLATORS: this is a label embedded in the &quot;Status&quot; notebook tab, so it describes the &quot;Marked [status]&quot;">&lt;b&gt;Marked&lt;/b&gt;</property>
 
435
                                          <property name="use_underline">False</property>
 
436
                                          <property name="use_markup">True</property>
 
437
                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
438
                                          <property name="wrap">False</property>
 
439
                                          <property name="selectable">False</property>
 
440
                                          <property name="xalign">0</property>
 
441
                                          <property name="yalign">0.5</property>
 
442
                                          <property name="xpad">0</property>
 
443
                                          <property name="ypad">0</property>
 
444
                                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
445
                                          <property name="width_chars">-1</property>
 
446
                                          <property name="single_line_mode">False</property>
 
447
                                          <property name="angle">0</property>
 
448
                                        </widget>
 
449
                                        <packing>
 
450
                                          <property name="padding">0</property>
 
451
                                          <property name="expand">False</property>
 
452
                                          <property name="fill">False</property>
 
453
                                        </packing>
 
454
                                      </child>
 
455
 
 
456
                                      <child>
 
457
                                        <widget class="GtkHBox" id="hbox20">
 
458
                                          <property name="visible">True</property>
 
459
                                          <property name="homogeneous">False</property>
 
460
                                          <property name="spacing">0</property>
 
461
 
 
462
                                          <child>
 
463
                                            <widget class="GtkLabel" id="label23">
 
464
                                              <property name="visible">True</property>
 
465
                                              <property name="label" translatable="yes">    </property>
 
466
                                              <property name="use_underline">False</property>
 
467
                                              <property name="use_markup">False</property>
 
468
                                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
469
                                              <property name="wrap">False</property>
 
470
                                              <property name="selectable">False</property>
 
471
                                              <property name="xalign">0.5</property>
 
472
                                              <property name="yalign">0.5</property>
 
473
                                              <property name="xpad">0</property>
 
474
                                              <property name="ypad">0</property>
 
475
                                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
476
                                              <property name="width_chars">-1</property>
 
477
                                              <property name="single_line_mode">False</property>
 
478
                                              <property name="angle">0</property>
 
479
                                            </widget>
 
480
                                            <packing>
 
481
                                              <property name="padding">0</property>
 
482
                                              <property name="expand">False</property>
 
483
                                              <property name="fill">False</property>
 
484
                                            </packing>
 
485
                                          </child>
 
486
 
 
487
                                          <child>
 
488
                                            <widget class="GtkVBox" id="vbox17">
 
489
                                              <property name="visible">True</property>
 
490
                                              <property name="homogeneous">False</property>
 
491
                                              <property name="spacing">0</property>
 
492
 
 
493
                                              <child>
 
494
                                                <widget class="GtkCheckButton" id="checkbutton_status4">
 
495
                                                  <property name="visible">True</property>
 
496
                                                  <property name="tooltip" translatable="yes">Packages that won't be changed</property>
 
497
                                                  <property name="can_focus">True</property>
 
498
                                                  <property name="label" translatable="yes">Not marked</property>
 
499
                                                  <property name="use_underline">True</property>
 
500
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
501
                                                  <property name="focus_on_click">True</property>
 
502
                                                  <property name="active">False</property>
 
503
                                                  <property name="inconsistent">False</property>
 
504
                                                  <property name="draw_indicator">True</property>
 
505
                                                </widget>
 
506
                                                <packing>
 
507
                                                  <property name="padding">0</property>
 
508
                                                  <property name="expand">False</property>
 
509
                                                  <property name="fill">False</property>
 
510
                                                </packing>
 
511
                                              </child>
 
512
 
 
513
                                              <child>
 
514
                                                <widget class="GtkCheckButton" id="checkbutton_status5">
 
515
                                                  <property name="visible">True</property>
 
516
                                                  <property name="tooltip" translatable="yes">Packages that will be installed or upgraded</property>
 
517
                                                  <property name="can_focus">True</property>
 
518
                                                  <property name="label" translatable="yes">For installation or upgrade</property>
 
519
                                                  <property name="use_underline">True</property>
 
520
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
521
                                                  <property name="focus_on_click">True</property>
 
522
                                                  <property name="active">False</property>
 
523
                                                  <property name="inconsistent">False</property>
 
524
                                                  <property name="draw_indicator">True</property>
 
525
                                                </widget>
 
526
                                                <packing>
 
527
                                                  <property name="padding">0</property>
 
528
                                                  <property name="expand">False</property>
 
529
                                                  <property name="fill">False</property>
 
530
                                                </packing>
 
531
                                              </child>
 
532
 
 
533
                                              <child>
 
534
                                                <widget class="GtkCheckButton" id="checkbutton_status6">
 
535
                                                  <property name="visible">True</property>
 
536
                                                  <property name="tooltip" translatable="yes">Packages that will be removed</property>
 
537
                                                  <property name="can_focus">True</property>
 
538
                                                  <property name="label" translatable="yes">For removal</property>
 
539
                                                  <property name="use_underline">True</property>
 
540
                                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
541
                                                  <property name="focus_on_click">True</property>
 
542
                                                  <property name="active">False</property>
 
543
                                                  <property name="inconsistent">False</property>
 
544
                                                  <property name="draw_indicator">True</property>
 
545
                                                </widget>
 
546
                                                <packing>
 
547
                                                  <property name="padding">0</property>
 
548
                                                  <property name="expand">False</property>
 
549
                                                  <property name="fill">False</property>
 
550
                                                </packing>
 
551
                                              </child>
 
552
                                            </widget>
 
553
                                            <packing>
 
554
                                              <property name="padding">0</property>
 
555
                                              <property name="expand">True</property>
 
556
                                              <property name="fill">True</property>
 
557
                                            </packing>
 
558
                                          </child>
 
559
                                        </widget>
 
560
                                        <packing>
 
561
                                          <property name="padding">0</property>
 
562
                                          <property name="expand">True</property>
 
563
                                          <property name="fill">True</property>
 
564
                                        </packing>
 
565
                                      </child>
 
566
                                    </widget>
 
567
                                    <packing>
 
568
                                      <property name="padding">0</property>
 
569
                                      <property name="expand">False</property>
 
570
                                      <property name="fill">False</property>
 
571
                                    </packing>
 
572
                                  </child>
 
573
                                </widget>
 
574
                                <packing>
 
575
                                  <property name="padding">0</property>
 
576
                                  <property name="expand">True</property>
 
577
                                  <property name="fill">True</property>
 
578
                                </packing>
 
579
                              </child>
 
580
 
 
581
                              <child>
 
582
                                <widget class="GtkVBox" id="vbox23">
 
583
                                  <property name="visible">True</property>
 
584
                                  <property name="homogeneous">False</property>
 
585
                                  <property name="spacing">6</property>
 
586
 
 
587
                                  <child>
 
588
                                    <widget class="GtkLabel" id="label26">
 
589
                                      <property name="visible">True</property>
 
590
                                      <property name="label" translatable="yes" comments="TRANSLATORS: this is a label embedded in the &quot;Status&quot; notebook tab, so it describes the &quot;Other [status]&quot;">&lt;b&gt;Other&lt;/b&gt;</property>
 
591
                                      <property name="use_underline">False</property>
 
592
                                      <property name="use_markup">True</property>
 
593
                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
594
                                      <property name="wrap">False</property>
 
595
                                      <property name="selectable">False</property>
 
596
                                      <property name="xalign">0</property>
 
597
                                      <property name="yalign">0.5</property>
 
598
                                      <property name="xpad">0</property>
 
599
                                      <property name="ypad">0</property>
 
600
                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
601
                                      <property name="width_chars">-1</property>
 
602
                                      <property name="single_line_mode">False</property>
 
603
                                      <property name="angle">0</property>
 
604
                                    </widget>
 
605
                                    <packing>
 
606
                                      <property name="padding">0</property>
 
607
                                      <property name="expand">False</property>
 
608
                                      <property name="fill">False</property>
 
609
                                    </packing>
 
610
                                  </child>
 
611
 
 
612
                                  <child>
 
613
                                    <widget class="GtkHBox" id="hbox21">
 
614
                                      <property name="visible">True</property>
 
615
                                      <property name="homogeneous">False</property>
 
616
                                      <property name="spacing">0</property>
 
617
 
 
618
                                      <child>
 
619
                                        <widget class="GtkLabel" id="label27">
 
620
                                          <property name="visible">True</property>
 
621
                                          <property name="label" translatable="yes">    </property>
 
622
                                          <property name="use_underline">False</property>
 
623
                                          <property name="use_markup">False</property>
 
624
                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
625
                                          <property name="wrap">False</property>
 
626
                                          <property name="selectable">False</property>
 
627
                                          <property name="xalign">0.5</property>
 
628
                                          <property name="yalign">0.5</property>
 
629
                                          <property name="xpad">0</property>
 
630
                                          <property name="ypad">0</property>
 
631
                                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
632
                                          <property name="width_chars">-1</property>
 
633
                                          <property name="single_line_mode">False</property>
 
634
                                          <property name="angle">0</property>
 
635
                                        </widget>
 
636
                                        <packing>
 
637
                                          <property name="padding">0</property>
 
638
                                          <property name="expand">False</property>
 
639
                                          <property name="fill">False</property>
 
640
                                        </packing>
 
641
                                      </child>
 
642
 
 
643
                                      <child>
 
644
                                        <widget class="GtkVBox" id="vbox18">
 
645
                                          <property name="visible">True</property>
 
646
                                          <property name="homogeneous">False</property>
 
647
                                          <property name="spacing">0</property>
 
648
 
 
649
                                          <child>
 
650
                                            <widget class="GtkCheckButton" id="checkbutton_status8">
 
651
                                              <property name="visible">True</property>
 
652
                                              <property name="tooltip" translatable="yes">Packages that are new in the repository since that last &quot;Reload&quot;</property>
 
653
                                              <property name="can_focus">True</property>
 
654
                                              <property name="label" translatable="yes">New in repository</property>
 
655
                                              <property name="use_underline">True</property>
 
656
                                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
657
                                              <property name="focus_on_click">True</property>
 
658
                                              <property name="active">False</property>
 
659
                                              <property name="inconsistent">False</property>
 
660
                                              <property name="draw_indicator">True</property>
 
661
                                            </widget>
 
662
                                            <packing>
 
663
                                              <property name="padding">0</property>
 
664
                                              <property name="expand">False</property>
 
665
                                              <property name="fill">False</property>
 
666
                                            </packing>
 
667
                                          </child>
 
668
 
 
669
                                          <child>
 
670
                                            <widget class="GtkCheckButton" id="checkbutton_status9">
 
671
                                              <property name="visible">True</property>
 
672
                                              <property name="tooltip" translatable="yes">Packages that will never be upgraded</property>
 
673
                                              <property name="can_focus">True</property>
 
674
                                              <property name="label" translatable="yes">Pinned</property>
 
675
                                              <property name="use_underline">True</property>
 
676
                                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
677
                                              <property name="focus_on_click">True</property>
 
678
                                              <property name="active">False</property>
 
679
                                              <property name="inconsistent">False</property>
 
680
                                              <property name="draw_indicator">True</property>
 
681
                                            </widget>
 
682
                                            <packing>
 
683
                                              <property name="padding">0</property>
 
684
                                              <property name="expand">False</property>
 
685
                                              <property name="fill">False</property>
 
686
                                            </packing>
 
687
                                          </child>
 
688
 
 
689
                                          <child>
 
690
                                            <widget class="GtkCheckButton" id="checkbutton_status10">
 
691
                                              <property name="visible">True</property>
 
692
                                              <property name="tooltip" translatable="yes">Library packages that are no longer needed (deborphan is required)</property>
 
693
                                              <property name="can_focus">True</property>
 
694
                                              <property name="label" translatable="yes">Orphaned</property>
 
695
                                              <property name="use_underline">True</property>
 
696
                                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
697
                                              <property name="focus_on_click">True</property>
 
698
                                              <property name="active">False</property>
 
699
                                              <property name="inconsistent">False</property>
 
700
                                              <property name="draw_indicator">True</property>
 
701
                                            </widget>
 
702
                                            <packing>
 
703
                                              <property name="padding">0</property>
 
704
                                              <property name="expand">False</property>
 
705
                                              <property name="fill">False</property>
 
706
                                            </packing>
 
707
                                          </child>
 
708
 
 
709
                                          <child>
 
710
                                            <widget class="GtkCheckButton" id="checkbutton_status12">
 
711
                                              <property name="visible">True</property>
 
712
                                              <property name="tooltip" translatable="yes">Packages that are not available in any repository</property>
 
713
                                              <property name="can_focus">True</property>
 
714
                                              <property name="label" translatable="yes">Not installable</property>
 
715
                                              <property name="use_underline">True</property>
 
716
                                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
717
                                              <property name="focus_on_click">True</property>
 
718
                                              <property name="active">False</property>
 
719
                                              <property name="inconsistent">False</property>
 
720
                                              <property name="draw_indicator">True</property>
 
721
                                            </widget>
 
722
                                            <packing>
 
723
                                              <property name="padding">0</property>
 
724
                                              <property name="expand">False</property>
 
725
                                              <property name="fill">False</property>
 
726
                                            </packing>
 
727
                                          </child>
 
728
 
 
729
                                          <child>
 
730
                                            <widget class="GtkCheckButton" id="checkbutton_status7">
 
731
                                              <property name="visible">True</property>
 
732
                                              <property name="tooltip" translatable="yes">Packages with broken dependencies</property>
 
733
                                              <property name="can_focus">True</property>
 
734
                                              <property name="label" translatable="yes">Broken</property>
 
735
                                              <property name="use_underline">True</property>
 
736
                                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
737
                                              <property name="focus_on_click">True</property>
 
738
                                              <property name="active">False</property>
 
739
                                              <property name="inconsistent">False</property>
 
740
                                              <property name="draw_indicator">True</property>
 
741
                                            </widget>
 
742
                                            <packing>
 
743
                                              <property name="padding">0</property>
 
744
                                              <property name="expand">False</property>
 
745
                                              <property name="fill">False</property>
 
746
                                            </packing>
 
747
                                          </child>
 
748
                                        </widget>
 
749
                                        <packing>
 
750
                                          <property name="padding">0</property>
 
751
                                          <property name="expand">False</property>
 
752
                                          <property name="fill">False</property>
 
753
                                        </packing>
 
754
                                      </child>
 
755
                                    </widget>
 
756
                                    <packing>
 
757
                                      <property name="padding">0</property>
 
758
                                      <property name="expand">False</property>
 
759
                                      <property name="fill">False</property>
 
760
                                    </packing>
 
761
                                  </child>
 
762
                                </widget>
 
763
                                <packing>
 
764
                                  <property name="padding">0</property>
 
765
                                  <property name="expand">True</property>
 
766
                                  <property name="fill">True</property>
 
767
                                </packing>
 
768
                              </child>
 
769
                            </widget>
 
770
                            <packing>
 
771
                              <property name="padding">0</property>
 
772
                              <property name="expand">False</property>
 
773
                              <property name="fill">False</property>
 
774
                            </packing>
 
775
                          </child>
 
776
                        </widget>
 
777
                        <packing>
 
778
                          <property name="padding">0</property>
 
779
                          <property name="expand">True</property>
 
780
                          <property name="fill">True</property>
 
781
                        </packing>
 
782
                      </child>
 
783
 
 
784
                      <child>
 
785
                        <widget class="GtkHButtonBox" id="hbuttonbox4">
 
786
                          <property name="visible">True</property>
 
787
                          <property name="layout_style">GTK_BUTTONBOX_END</property>
 
788
                          <property name="spacing">6</property>
 
789
 
 
790
                          <child>
 
791
                            <widget class="GtkButton" id="button_status_select_all">
 
792
                              <property name="visible">True</property>
 
793
                              <property name="can_default">True</property>
 
794
                              <property name="can_focus">True</property>
 
795
                              <property name="label" translatable="yes">_Select All</property>
 
796
                              <property name="use_underline">True</property>
 
797
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
798
                              <property name="focus_on_click">True</property>
 
799
                              <signal name="clicked" handler="on_button_status_select_all_clicked" last_modification_time="Sat, 15 Mar 2003 14:54:55 GMT"/>
 
800
                            </widget>
 
801
                          </child>
 
802
 
 
803
                          <child>
 
804
                            <widget class="GtkButton" id="button_status_select_none">
 
805
                              <property name="visible">True</property>
 
806
                              <property name="can_default">True</property>
 
807
                              <property name="can_focus">True</property>
 
808
                              <property name="label" translatable="yes">_Deselect All</property>
 
809
                              <property name="use_underline">True</property>
 
810
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
811
                              <property name="focus_on_click">True</property>
 
812
                              <signal name="clicked" handler="on_button_status_select_none_clicked" last_modification_time="Sat, 15 Mar 2003 14:55:05 GMT"/>
 
813
                            </widget>
 
814
                          </child>
 
815
 
 
816
                          <child>
 
817
                            <widget class="GtkButton" id="button_status_invert">
 
818
                              <property name="visible">True</property>
 
819
                              <property name="can_default">True</property>
 
820
                              <property name="can_focus">True</property>
 
821
                              <property name="label" translatable="yes">_Invert All</property>
 
822
                              <property name="use_underline">True</property>
 
823
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
824
                              <property name="focus_on_click">True</property>
 
825
                              <signal name="clicked" handler="on_button_status_invert_clicked" last_modification_time="Wed, 01 Oct 2003 23:06:42 GMT"/>
 
826
                            </widget>
 
827
                          </child>
 
828
                        </widget>
 
829
                        <packing>
 
830
                          <property name="padding">0</property>
 
831
                          <property name="expand">False</property>
 
832
                          <property name="fill">False</property>
 
833
                        </packing>
 
834
                      </child>
 
835
                    </widget>
 
836
                    <packing>
 
837
                      <property name="tab_expand">False</property>
 
838
                      <property name="tab_fill">True</property>
 
839
                    </packing>
 
840
                  </child>
 
841
 
 
842
                  <child>
 
843
                    <widget class="GtkLabel" id="label5">
 
844
                      <property name="visible">True</property>
 
845
                      <property name="label" translatable="yes">Status</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="type">tab</property>
 
862
                    </packing>
 
863
                  </child>
 
864
 
 
865
                  <child>
 
866
                    <widget class="GtkVBox" id="vbox5">
 
867
                      <property name="border_width">12</property>
 
868
                      <property name="visible">True</property>
 
869
                      <property name="homogeneous">False</property>
 
870
                      <property name="spacing">6</property>
 
871
 
 
872
                      <child>
 
873
                        <widget class="GtkScrolledWindow" id="scrolledwindow6">
 
874
                          <property name="visible">True</property>
 
875
                          <property name="can_focus">True</property>
 
876
                          <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
877
                          <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
878
                          <property name="shadow_type">GTK_SHADOW_IN</property>
 
879
                          <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
880
 
 
881
                          <child>
 
882
                            <widget class="GtkTreeView" id="treeview_sections">
 
883
                              <property name="border_width">1</property>
 
884
                              <property name="visible">True</property>
 
885
                              <property name="can_focus">True</property>
 
886
                              <property name="headers_visible">False</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="vbox12">
 
905
                          <property name="visible">True</property>
 
906
                          <property name="homogeneous">False</property>
 
907
                          <property name="spacing">0</property>
 
908
 
 
909
                          <child>
 
910
                            <widget class="GtkRadioButton" id="radiobutton_incl">
 
911
                              <property name="visible">True</property>
 
912
                              <property name="can_focus">True</property>
 
913
                              <property name="label" translatable="yes">Include selected sections only</property>
 
914
                              <property name="use_underline">True</property>
 
915
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
916
                              <property name="focus_on_click">True</property>
 
917
                              <property name="active">False</property>
 
918
                              <property name="inconsistent">False</property>
 
919
                              <property name="draw_indicator">True</property>
 
920
                            </widget>
 
921
                            <packing>
 
922
                              <property name="padding">0</property>
 
923
                              <property name="expand">False</property>
 
924
                              <property name="fill">False</property>
 
925
                            </packing>
 
926
                          </child>
 
927
 
 
928
                          <child>
 
929
                            <widget class="GtkRadioButton" id="radiobutton_excl">
 
930
                              <property name="visible">True</property>
 
931
                              <property name="can_focus">True</property>
 
932
                              <property name="label" translatable="yes">Exclude selected sections</property>
 
933
                              <property name="use_underline">True</property>
 
934
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
935
                              <property name="focus_on_click">True</property>
 
936
                              <property name="active">False</property>
 
937
                              <property name="inconsistent">False</property>
 
938
                              <property name="draw_indicator">True</property>
 
939
                              <property name="group">radiobutton_incl</property>
 
940
                            </widget>
 
941
                            <packing>
 
942
                              <property name="padding">0</property>
 
943
                              <property name="expand">False</property>
 
944
                              <property name="fill">False</property>
 
945
                            </packing>
 
946
                          </child>
 
947
                        </widget>
 
948
                        <packing>
 
949
                          <property name="padding">0</property>
 
950
                          <property name="expand">False</property>
 
951
                          <property name="fill">False</property>
 
952
                        </packing>
 
953
                      </child>
 
954
                    </widget>
 
955
                    <packing>
 
956
                      <property name="tab_expand">False</property>
 
957
                      <property name="tab_fill">True</property>
 
958
                    </packing>
 
959
                  </child>
 
960
 
 
961
                  <child>
 
962
                    <widget class="GtkLabel" id="label3">
 
963
                      <property name="visible">True</property>
 
964
                      <property name="label" translatable="yes">Section</property>
 
965
                      <property name="use_underline">False</property>
 
966
                      <property name="use_markup">False</property>
 
967
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
968
                      <property name="wrap">False</property>
 
969
                      <property name="selectable">False</property>
 
970
                      <property name="xalign">0.5</property>
 
971
                      <property name="yalign">0.5</property>
 
972
                      <property name="xpad">0</property>
 
973
                      <property name="ypad">0</property>
 
974
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
975
                      <property name="width_chars">-1</property>
 
976
                      <property name="single_line_mode">False</property>
 
977
                      <property name="angle">0</property>
 
978
                    </widget>
 
979
                    <packing>
 
980
                      <property name="type">tab</property>
 
981
                    </packing>
 
982
                  </child>
 
983
 
 
984
                  <child>
 
985
                    <widget class="GtkVBox" id="vbox7">
 
986
                      <property name="border_width">12</property>
 
987
                      <property name="visible">True</property>
 
988
                      <property name="homogeneous">False</property>
 
989
                      <property name="spacing">6</property>
 
990
 
 
991
                      <child>
 
992
                        <widget class="GtkScrolledWindow" id="scrolledwindow5">
 
993
                          <property name="visible">True</property>
 
994
                          <property name="can_focus">True</property>
 
995
                          <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
996
                          <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
997
                          <property name="shadow_type">GTK_SHADOW_NONE</property>
 
998
                          <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
999
 
 
1000
                          <child>
 
1001
                            <widget class="GtkViewport" id="viewport3">
 
1002
                              <property name="visible">True</property>
 
1003
                              <property name="shadow_type">GTK_SHADOW_IN</property>
 
1004
 
 
1005
                              <child>
 
1006
                                <widget class="GtkTreeView" id="treeview_pattern">
 
1007
                                  <property name="visible">True</property>
 
1008
                                  <property name="can_focus">True</property>
 
1009
                                  <property name="headers_visible">True</property>
 
1010
                                  <property name="rules_hint">False</property>
 
1011
                                  <property name="reorderable">False</property>
 
1012
                                  <property name="enable_search">True</property>
 
1013
                                  <property name="fixed_height_mode">False</property>
 
1014
                                  <property name="hover_selection">False</property>
 
1015
                                  <property name="hover_expand">False</property>
 
1016
                                </widget>
 
1017
                              </child>
 
1018
                            </widget>
 
1019
                          </child>
 
1020
                        </widget>
 
1021
                        <packing>
 
1022
                          <property name="padding">0</property>
 
1023
                          <property name="expand">True</property>
 
1024
                          <property name="fill">True</property>
 
1025
                        </packing>
 
1026
                      </child>
 
1027
 
 
1028
                      <child>
 
1029
                        <widget class="GtkHBox" id="hbox_pattern">
 
1030
                          <property name="visible">True</property>
 
1031
                          <property name="homogeneous">False</property>
 
1032
                          <property name="spacing">12</property>
 
1033
 
 
1034
                          <child>
 
1035
                            <widget class="GtkOptionMenu" id="optionmenu_pattern_what">
 
1036
                              <property name="visible">True</property>
 
1037
                              <property name="can_focus">True</property>
 
1038
                              <property name="history">0</property>
 
1039
                              <signal name="changed" handler="on_optionmenu_pattern_what_changed" last_modification_time="Fri, 14 Mar 2003 01:58:31 GMT"/>
 
1040
 
 
1041
                              <child>
 
1042
                                <widget class="GtkMenu" id="menu3">
 
1043
 
 
1044
                                  <child>
 
1045
                                    <widget class="GtkMenuItem" id="menuitem_type0">
 
1046
                                      <property name="visible">True</property>
 
1047
                                      <property name="label" translatable="yes">Package Name</property>
 
1048
                                      <property name="use_underline">True</property>
 
1049
                                      <signal name="activate" handler="on_item2_activate" last_modification_time="Mon, 03 Mar 2003 12:58:54 GMT"/>
 
1050
                                    </widget>
 
1051
                                  </child>
 
1052
 
 
1053
                                  <child>
 
1054
                                    <widget class="GtkMenuItem" id="menuitem_type1">
 
1055
                                      <property name="visible">True</property>
 
1056
                                      <property name="label" translatable="yes">Description</property>
 
1057
                                      <property name="use_underline">True</property>
 
1058
                                      <signal name="activate" handler="on_item3_activate" last_modification_time="Mon, 03 Mar 2003 12:58:54 GMT"/>
 
1059
                                    </widget>
 
1060
                                  </child>
 
1061
 
 
1062
                                  <child>
 
1063
                                    <widget class="GtkMenuItem" id="menuitem_type2">
 
1064
                                      <property name="visible">True</property>
 
1065
                                      <property name="label" translatable="yes">Maintainer</property>
 
1066
                                      <property name="use_underline">True</property>
 
1067
                                      <signal name="activate" handler="on_menuitem_type3_activate" last_modification_time="Fri, 14 Mar 2003 02:53:23 GMT"/>
 
1068
                                    </widget>
 
1069
                                  </child>
 
1070
 
 
1071
                                  <child>
 
1072
                                    <widget class="GtkMenuItem" id="menuitem_type3">
 
1073
                                      <property name="visible">True</property>
 
1074
                                      <property name="label" translatable="yes">Version Number</property>
 
1075
                                      <property name="use_underline">True</property>
 
1076
                                      <signal name="activate" handler="on_menuitem_type1_activate" last_modification_time="Fri, 14 Mar 2003 02:49:34 GMT"/>
 
1077
                                    </widget>
 
1078
                                  </child>
 
1079
 
 
1080
                                  <child>
 
1081
                                    <widget class="GtkMenuItem" id="menuitem_type4">
 
1082
                                      <property name="visible">True</property>
 
1083
                                      <property name="label" translatable="yes">Dependencies</property>
 
1084
                                      <property name="use_underline">True</property>
 
1085
                                      <signal name="activate" handler="on_depends_on1_activate" last_modification_time="Mon, 03 Mar 2003 13:01:09 GMT"/>
 
1086
                                    </widget>
 
1087
                                  </child>
 
1088
 
 
1089
                                  <child>
 
1090
                                    <widget class="GtkMenuItem" id="menuitem_type5">
 
1091
                                      <property name="visible">True</property>
 
1092
                                      <property name="label" translatable="yes">Provided Packages</property>
 
1093
                                      <property name="use_underline">True</property>
 
1094
                                      <signal name="activate" handler="on_provides1_activate" last_modification_time="Mon, 03 Mar 2003 13:01:09 GMT"/>
 
1095
                                    </widget>
 
1096
                                  </child>
 
1097
 
 
1098
                                  <child>
 
1099
                                    <widget class="GtkMenuItem" id="menuitem_type6">
 
1100
                                      <property name="visible">True</property>
 
1101
                                      <property name="label" translatable="yes">Conflicting Packages</property>
 
1102
                                      <property name="use_underline">True</property>
 
1103
                                      <signal name="activate" handler="on_conflicts_with1_activate" last_modification_time="Mon, 03 Mar 2003 13:01:09 GMT"/>
 
1104
                                    </widget>
 
1105
                                  </child>
 
1106
 
 
1107
                                  <child>
 
1108
                                    <widget class="GtkMenuItem" id="menuitem_type7">
 
1109
                                      <property name="visible">True</property>
 
1110
                                      <property name="label" translatable="yes">Replaced Packages</property>
 
1111
                                      <property name="use_underline">True</property>
 
1112
                                      <signal name="activate" handler="on_relaces1_activate" last_modification_time="Mon, 03 Mar 2003 13:01:09 GMT"/>
 
1113
                                    </widget>
 
1114
                                  </child>
 
1115
 
 
1116
                                  <child>
 
1117
                                    <widget class="GtkMenuItem" id="menuitem_type8">
 
1118
                                      <property name="visible">True</property>
 
1119
                                      <property name="label" translatable="yes">Recommendations</property>
 
1120
                                      <property name="use_underline">True</property>
 
1121
                                      <signal name="activate" handler="on_recommends1_activate" last_modification_time="Sun, 02 May 2004 13:44:16 GMT"/>
 
1122
                                    </widget>
 
1123
                                  </child>
 
1124
 
 
1125
                                  <child>
 
1126
                                    <widget class="GtkMenuItem" id="menuitem_type9">
 
1127
                                      <property name="visible">True</property>
 
1128
                                      <property name="label" translatable="yes">Suggestions</property>
 
1129
                                      <property name="use_underline">True</property>
 
1130
                                      <signal name="activate" handler="on_suggest1_activate" last_modification_time="Sun, 02 May 2004 13:44:16 GMT"/>
 
1131
                                    </widget>
 
1132
                                  </child>
 
1133
 
 
1134
                                  <child>
 
1135
                                    <widget class="GtkMenuItem" id="menuitem_type10">
 
1136
                                      <property name="visible">True</property>
 
1137
                                      <property name="label" translatable="yes">Dependent Packages</property>
 
1138
                                      <property name="use_underline">True</property>
 
1139
                                      <signal name="activate" handler="on_reverse_depends1_activate" last_modification_time="Mon, 03 Mar 2003 13:01:09 GMT"/>
 
1140
                                    </widget>
 
1141
                                  </child>
 
1142
 
 
1143
                                  <child>
 
1144
                                    <widget class="GtkMenuItem" id="menuitem_type11">
 
1145
                                      <property name="visible">True</property>
 
1146
                                      <property name="label" translatable="yes">Origin</property>
 
1147
                                      <property name="use_underline">True</property>
 
1148
                                      <signal name="activate" handler="on_origin1_activate" last_modification_time="Sun, 18 Apr 2004 16:40:34 GMT"/>
 
1149
                                    </widget>
 
1150
                                  </child>
 
1151
                                </widget>
 
1152
                              </child>
 
1153
                            </widget>
 
1154
                            <packing>
 
1155
                              <property name="padding">0</property>
 
1156
                              <property name="expand">False</property>
 
1157
                              <property name="fill">False</property>
 
1158
                            </packing>
 
1159
                          </child>
 
1160
 
 
1161
                          <child>
 
1162
                            <widget class="GtkOptionMenu" id="optionmenu_pattern_do">
 
1163
                              <property name="visible">True</property>
 
1164
                              <property name="can_focus">True</property>
 
1165
                              <property name="history">0</property>
 
1166
                              <signal name="changed" handler="on_optionmenu_pattern_do_changed" last_modification_time="Fri, 14 Mar 2003 01:58:37 GMT"/>
 
1167
 
 
1168
                              <child>
 
1169
                                <widget class="GtkMenu" id="menu2">
 
1170
 
 
1171
                                  <child>
 
1172
                                    <widget class="GtkMenuItem" id="menuitem_incl">
 
1173
                                      <property name="visible">True</property>
 
1174
                                      <property name="label" translatable="yes">Includes</property>
 
1175
                                      <property name="use_underline">True</property>
 
1176
                                      <signal name="activate" handler="on_item1_activate" last_modification_time="Mon, 03 Mar 2003 12:58:15 GMT"/>
 
1177
                                    </widget>
 
1178
                                  </child>
 
1179
 
 
1180
                                  <child>
 
1181
                                    <widget class="GtkMenuItem" id="menuitem_excl">
 
1182
                                      <property name="visible">True</property>
 
1183
                                      <property name="label" translatable="yes">Excludes</property>
 
1184
                                      <property name="use_underline">True</property>
 
1185
                                      <signal name="activate" handler="on_item2_activate" last_modification_time="Mon, 03 Mar 2003 12:58:15 GMT"/>
 
1186
                                    </widget>
 
1187
                                  </child>
 
1188
                                </widget>
 
1189
                              </child>
 
1190
                            </widget>
 
1191
                            <packing>
 
1192
                              <property name="padding">0</property>
 
1193
                              <property name="expand">False</property>
 
1194
                              <property name="fill">False</property>
 
1195
                            </packing>
 
1196
                          </child>
 
1197
 
 
1198
                          <child>
 
1199
                            <widget class="GtkEntry" id="entry_pattern_text">
 
1200
                              <property name="visible">True</property>
 
1201
                              <property name="can_focus">True</property>
 
1202
                              <property name="editable">True</property>
 
1203
                              <property name="visibility">True</property>
 
1204
                              <property name="max_length">0</property>
 
1205
                              <property name="text" translatable="yes"></property>
 
1206
                              <property name="has_frame">True</property>
 
1207
                              <property name="invisible_char">*</property>
 
1208
                              <property name="activates_default">False</property>
 
1209
                              <signal name="changed" handler="on_entry_pattern_text_changed" last_modification_time="Fri, 14 Mar 2003 01:55:57 GMT"/>
 
1210
                            </widget>
 
1211
                            <packing>
 
1212
                              <property name="padding">0</property>
 
1213
                              <property name="expand">True</property>
 
1214
                              <property name="fill">True</property>
 
1215
                            </packing>
 
1216
                          </child>
 
1217
                        </widget>
 
1218
                        <packing>
 
1219
                          <property name="padding">0</property>
 
1220
                          <property name="expand">False</property>
 
1221
                          <property name="fill">True</property>
 
1222
                        </packing>
 
1223
                      </child>
 
1224
 
 
1225
                      <child>
 
1226
                        <widget class="GtkHBox" id="hbox22">
 
1227
                          <property name="visible">True</property>
 
1228
                          <property name="homogeneous">False</property>
 
1229
                          <property name="spacing">6</property>
 
1230
 
 
1231
                          <child>
 
1232
                            <widget class="GtkLabel" id="label28">
 
1233
                              <property name="visible">True</property>
 
1234
                              <property name="label" translatable="yes">Boolean operator between property criterias:</property>
 
1235
                              <property name="use_underline">False</property>
 
1236
                              <property name="use_markup">False</property>
 
1237
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1238
                              <property name="wrap">False</property>
 
1239
                              <property name="selectable">False</property>
 
1240
                              <property name="xalign">0.5</property>
 
1241
                              <property name="yalign">0.5</property>
 
1242
                              <property name="xpad">0</property>
 
1243
                              <property name="ypad">0</property>
 
1244
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1245
                              <property name="width_chars">-1</property>
 
1246
                              <property name="single_line_mode">False</property>
 
1247
                              <property name="angle">0</property>
 
1248
                            </widget>
 
1249
                            <packing>
 
1250
                              <property name="padding">0</property>
 
1251
                              <property name="expand">False</property>
 
1252
                              <property name="fill">False</property>
 
1253
                            </packing>
 
1254
                          </child>
 
1255
 
 
1256
                          <child>
 
1257
                            <widget class="GtkRadioButton" id="radiobutton_properties_and">
 
1258
                              <property name="visible">True</property>
 
1259
                              <property name="can_focus">True</property>
 
1260
                              <property name="label" translatable="yes">AND</property>
 
1261
                              <property name="use_underline">True</property>
 
1262
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1263
                              <property name="focus_on_click">True</property>
 
1264
                              <property name="active">False</property>
 
1265
                              <property name="inconsistent">False</property>
 
1266
                              <property name="draw_indicator">True</property>
 
1267
                            </widget>
 
1268
                            <packing>
 
1269
                              <property name="padding">0</property>
 
1270
                              <property name="expand">False</property>
 
1271
                              <property name="fill">False</property>
 
1272
                            </packing>
 
1273
                          </child>
 
1274
 
 
1275
                          <child>
 
1276
                            <widget class="GtkRadioButton" id="radiobutton_properties_or">
 
1277
                              <property name="visible">True</property>
 
1278
                              <property name="can_focus">True</property>
 
1279
                              <property name="label" translatable="yes">OR</property>
 
1280
                              <property name="use_underline">True</property>
 
1281
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1282
                              <property name="focus_on_click">True</property>
 
1283
                              <property name="active">False</property>
 
1284
                              <property name="inconsistent">False</property>
 
1285
                              <property name="draw_indicator">True</property>
 
1286
                              <property name="group">radiobutton_properties_and</property>
 
1287
                            </widget>
 
1288
                            <packing>
 
1289
                              <property name="padding">0</property>
 
1290
                              <property name="expand">False</property>
 
1291
                              <property name="fill">False</property>
 
1292
                            </packing>
 
1293
                          </child>
 
1294
                        </widget>
 
1295
                        <packing>
 
1296
                          <property name="padding">0</property>
 
1297
                          <property name="expand">False</property>
 
1298
                          <property name="fill">False</property>
 
1299
                        </packing>
 
1300
                      </child>
 
1301
 
 
1302
                      <child>
 
1303
                        <widget class="GtkHButtonBox" id="hbuttonbox5">
 
1304
                          <property name="visible">True</property>
 
1305
                          <property name="layout_style">GTK_BUTTONBOX_END</property>
 
1306
                          <property name="spacing">6</property>
 
1307
 
 
1308
                          <child>
 
1309
                            <widget class="GtkButton" id="button_pattern_new">
 
1310
                              <property name="visible">True</property>
 
1311
                              <property name="can_default">True</property>
 
1312
                              <property name="can_focus">True</property>
 
1313
                              <property name="label">gtk-new</property>
 
1314
                              <property name="use_stock">True</property>
 
1315
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1316
                              <property name="focus_on_click">True</property>
 
1317
                              <signal name="clicked" handler="on_button_pattern_new_clicked" last_modification_time="Fri, 14 Mar 2003 02:58:42 GMT"/>
 
1318
                            </widget>
 
1319
                          </child>
 
1320
 
 
1321
                          <child>
 
1322
                            <widget class="GtkButton" id="button_pattern_delete">
 
1323
                              <property name="visible">True</property>
 
1324
                              <property name="can_default">True</property>
 
1325
                              <property name="can_focus">True</property>
 
1326
                              <property name="label">gtk-delete</property>
 
1327
                              <property name="use_stock">True</property>
 
1328
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1329
                              <property name="focus_on_click">True</property>
 
1330
                              <signal name="clicked" handler="on_button_pattern_delete_clicked" last_modification_time="Sat, 15 Mar 2003 14:50:44 GMT"/>
 
1331
                            </widget>
 
1332
                          </child>
 
1333
                        </widget>
 
1334
                        <packing>
 
1335
                          <property name="padding">0</property>
 
1336
                          <property name="expand">False</property>
 
1337
                          <property name="fill">False</property>
 
1338
                        </packing>
 
1339
                      </child>
 
1340
                    </widget>
 
1341
                    <packing>
 
1342
                      <property name="tab_expand">False</property>
 
1343
                      <property name="tab_fill">True</property>
 
1344
                    </packing>
 
1345
                  </child>
 
1346
 
 
1347
                  <child>
 
1348
                    <widget class="GtkLabel" id="label6">
 
1349
                      <property name="visible">True</property>
 
1350
                      <property name="label" translatable="yes">Properties</property>
 
1351
                      <property name="use_underline">False</property>
 
1352
                      <property name="use_markup">False</property>
 
1353
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1354
                      <property name="wrap">False</property>
 
1355
                      <property name="selectable">False</property>
 
1356
                      <property name="xalign">0.5</property>
 
1357
                      <property name="yalign">0.5</property>
 
1358
                      <property name="xpad">0</property>
 
1359
                      <property name="ypad">0</property>
 
1360
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1361
                      <property name="width_chars">-1</property>
 
1362
                      <property name="single_line_mode">False</property>
 
1363
                      <property name="angle">0</property>
 
1364
                    </widget>
 
1365
                    <packing>
 
1366
                      <property name="type">tab</property>
 
1367
                    </packing>
 
1368
                  </child>
 
1369
 
 
1370
                  <child>
 
1371
                    <widget class="GtkHBox" id="hbox6">
 
1372
                      <property name="homogeneous">False</property>
 
1373
                      <property name="spacing">0</property>
 
1374
 
 
1375
                      <child>
 
1376
                        <widget class="GtkHPaned" id="hpaned2">
 
1377
                          <property name="border_width">12</property>
 
1378
                          <property name="visible">True</property>
 
1379
                          <property name="can_focus">True</property>
 
1380
 
 
1381
                          <child>
 
1382
                            <widget class="GtkVBox" id="vbox10">
 
1383
                              <property name="visible">True</property>
 
1384
                              <property name="homogeneous">False</property>
 
1385
                              <property name="spacing">6</property>
 
1386
 
 
1387
                              <child>
 
1388
                                <widget class="GtkEntry" id="entry_tagfilter">
 
1389
                                  <property name="can_focus">True</property>
 
1390
                                  <property name="editable">True</property>
 
1391
                                  <property name="visibility">True</property>
 
1392
                                  <property name="max_length">0</property>
 
1393
                                  <property name="text" translatable="yes"></property>
 
1394
                                  <property name="has_frame">True</property>
 
1395
                                  <property name="invisible_char">*</property>
 
1396
                                  <property name="activates_default">False</property>
 
1397
                                </widget>
 
1398
                                <packing>
 
1399
                                  <property name="padding">0</property>
 
1400
                                  <property name="expand">False</property>
 
1401
                                  <property name="fill">False</property>
 
1402
                                </packing>
 
1403
                              </child>
 
1404
 
 
1405
                              <child>
 
1406
                                <widget class="GtkScrolledWindow" id="scrolledwindow7">
 
1407
                                  <property name="visible">True</property>
 
1408
                                  <property name="can_focus">True</property>
 
1409
                                  <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
1410
                                  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
1411
                                  <property name="shadow_type">GTK_SHADOW_NONE</property>
 
1412
                                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
1413
 
 
1414
                                  <child>
 
1415
                                    <widget class="GtkViewport" id="viewport5">
 
1416
                                      <property name="visible">True</property>
 
1417
                                      <property name="shadow_type">GTK_SHADOW_IN</property>
 
1418
 
 
1419
                                      <child>
 
1420
                                        <widget class="GtkTreeView" id="treeview_available_tags">
 
1421
                                          <property name="visible">True</property>
 
1422
                                          <property name="can_focus">True</property>
 
1423
                                          <property name="headers_visible">True</property>
 
1424
                                          <property name="rules_hint">False</property>
 
1425
                                          <property name="reorderable">False</property>
 
1426
                                          <property name="enable_search">True</property>
 
1427
                                          <property name="fixed_height_mode">False</property>
 
1428
                                          <property name="hover_selection">False</property>
 
1429
                                          <property name="hover_expand">False</property>
 
1430
                                        </widget>
 
1431
                                      </child>
 
1432
                                    </widget>
 
1433
                                  </child>
 
1434
                                </widget>
 
1435
                                <packing>
 
1436
                                  <property name="padding">0</property>
 
1437
                                  <property name="expand">True</property>
 
1438
                                  <property name="fill">True</property>
 
1439
                                </packing>
 
1440
                              </child>
 
1441
 
 
1442
                              <child>
 
1443
                                <widget class="GtkHButtonBox" id="hbuttonbox6">
 
1444
                                  <property name="border_width">2</property>
 
1445
                                  <property name="visible">True</property>
 
1446
                                  <property name="layout_style">GTK_BUTTONBOX_START</property>
 
1447
                                  <property name="spacing">5</property>
 
1448
 
 
1449
                                  <child>
 
1450
                                    <widget class="GtkButton" id="button_include">
 
1451
                                      <property name="visible">True</property>
 
1452
                                      <property name="can_default">True</property>
 
1453
                                      <property name="can_focus">True</property>
 
1454
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
1455
                                      <property name="focus_on_click">True</property>
 
1456
                                      <signal name="clicked" handler="on_button_include_clicked" last_modification_time="Sat, 19 Jul 2003 14:51:19 GMT"/>
 
1457
 
 
1458
                                      <child>
 
1459
                                        <widget class="GtkAlignment" id="alignment7">
 
1460
                                          <property name="visible">True</property>
 
1461
                                          <property name="xalign">0.5</property>
 
1462
                                          <property name="yalign">0.5</property>
 
1463
                                          <property name="xscale">0</property>
 
1464
                                          <property name="yscale">0</property>
 
1465
                                          <property name="top_padding">0</property>
 
1466
                                          <property name="bottom_padding">0</property>
 
1467
                                          <property name="left_padding">0</property>
 
1468
                                          <property name="right_padding">0</property>
 
1469
 
 
1470
                                          <child>
 
1471
                                            <widget class="GtkHBox" id="hbox10">
 
1472
                                              <property name="visible">True</property>
 
1473
                                              <property name="homogeneous">False</property>
 
1474
                                              <property name="spacing">2</property>
 
1475
 
 
1476
                                              <child>
 
1477
                                                <widget class="GtkImage" id="image3">
 
1478
                                                  <property name="visible">True</property>
 
1479
                                                  <property name="stock">gtk-add</property>
 
1480
                                                  <property name="icon_size">4</property>
 
1481
                                                  <property name="xalign">0.5</property>
 
1482
                                                  <property name="yalign">0.5</property>
 
1483
                                                  <property name="xpad">0</property>
 
1484
                                                  <property name="ypad">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="GtkLabel" id="label15">
 
1495
                                                  <property name="visible">True</property>
 
1496
                                                  <property name="label" translatable="yes">Include</property>
 
1497
                                                  <property name="use_underline">True</property>
 
1498
                                                  <property name="use_markup">False</property>
 
1499
                                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1500
                                                  <property name="wrap">False</property>
 
1501
                                                  <property name="selectable">False</property>
 
1502
                                                  <property name="xalign">0.5</property>
 
1503
                                                  <property name="yalign">0.5</property>
 
1504
                                                  <property name="xpad">0</property>
 
1505
                                                  <property name="ypad">0</property>
 
1506
                                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1507
                                                  <property name="width_chars">-1</property>
 
1508
                                                  <property name="single_line_mode">False</property>
 
1509
                                                  <property name="angle">0</property>
 
1510
                                                </widget>
 
1511
                                                <packing>
 
1512
                                                  <property name="padding">0</property>
 
1513
                                                  <property name="expand">False</property>
 
1514
                                                  <property name="fill">False</property>
 
1515
                                                </packing>
 
1516
                                              </child>
 
1517
                                            </widget>
 
1518
                                          </child>
 
1519
                                        </widget>
 
1520
                                      </child>
 
1521
                                    </widget>
 
1522
                                  </child>
 
1523
 
 
1524
                                  <child>
 
1525
                                    <widget class="GtkButton" id="button_exclude">
 
1526
                                      <property name="visible">True</property>
 
1527
                                      <property name="can_default">True</property>
 
1528
                                      <property name="can_focus">True</property>
 
1529
                                      <property name="relief">GTK_RELIEF_NORMAL</property>
 
1530
                                      <property name="focus_on_click">True</property>
 
1531
                                      <signal name="clicked" handler="on_button_exclude_clicked" last_modification_time="Sat, 19 Jul 2003 14:51:32 GMT"/>
 
1532
 
 
1533
                                      <child>
 
1534
                                        <widget class="GtkAlignment" id="alignment6">
 
1535
                                          <property name="visible">True</property>
 
1536
                                          <property name="xalign">0.5</property>
 
1537
                                          <property name="yalign">0.5</property>
 
1538
                                          <property name="xscale">0</property>
 
1539
                                          <property name="yscale">0</property>
 
1540
                                          <property name="top_padding">0</property>
 
1541
                                          <property name="bottom_padding">0</property>
 
1542
                                          <property name="left_padding">0</property>
 
1543
                                          <property name="right_padding">0</property>
 
1544
 
 
1545
                                          <child>
 
1546
                                            <widget class="GtkHBox" id="hbox9">
 
1547
                                              <property name="visible">True</property>
 
1548
                                              <property name="homogeneous">False</property>
 
1549
                                              <property name="spacing">2</property>
 
1550
 
 
1551
                                              <child>
 
1552
                                                <widget class="GtkImage" id="image2">
 
1553
                                                  <property name="visible">True</property>
 
1554
                                                  <property name="stock">gtk-remove</property>
 
1555
                                                  <property name="icon_size">4</property>
 
1556
                                                  <property name="xalign">0.5</property>
 
1557
                                                  <property name="yalign">0.5</property>
 
1558
                                                  <property name="xpad">0</property>
 
1559
                                                  <property name="ypad">0</property>
 
1560
                                                </widget>
 
1561
                                                <packing>
 
1562
                                                  <property name="padding">0</property>
 
1563
                                                  <property name="expand">False</property>
 
1564
                                                  <property name="fill">False</property>
 
1565
                                                </packing>
 
1566
                                              </child>
 
1567
 
 
1568
                                              <child>
 
1569
                                                <widget class="GtkLabel" id="label14">
 
1570
                                                  <property name="visible">True</property>
 
1571
                                                  <property name="label" translatable="yes">Exclude</property>
 
1572
                                                  <property name="use_underline">True</property>
 
1573
                                                  <property name="use_markup">False</property>
 
1574
                                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1575
                                                  <property name="wrap">False</property>
 
1576
                                                  <property name="selectable">False</property>
 
1577
                                                  <property name="xalign">0.5</property>
 
1578
                                                  <property name="yalign">0.5</property>
 
1579
                                                  <property name="xpad">0</property>
 
1580
                                                  <property name="ypad">0</property>
 
1581
                                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1582
                                                  <property name="width_chars">-1</property>
 
1583
                                                  <property name="single_line_mode">False</property>
 
1584
                                                  <property name="angle">0</property>
 
1585
                                                </widget>
 
1586
                                                <packing>
 
1587
                                                  <property name="padding">0</property>
 
1588
                                                  <property name="expand">False</property>
 
1589
                                                  <property name="fill">False</property>
 
1590
                                                </packing>
 
1591
                                              </child>
 
1592
                                            </widget>
 
1593
                                          </child>
 
1594
                                        </widget>
 
1595
                                      </child>
 
1596
                                    </widget>
 
1597
                                  </child>
 
1598
                                </widget>
 
1599
                                <packing>
 
1600
                                  <property name="padding">0</property>
 
1601
                                  <property name="expand">False</property>
 
1602
                                  <property name="fill">False</property>
 
1603
                                </packing>
 
1604
                              </child>
 
1605
                            </widget>
 
1606
                            <packing>
 
1607
                              <property name="shrink">False</property>
 
1608
                              <property name="resize">False</property>
 
1609
                            </packing>
 
1610
                          </child>
 
1611
 
 
1612
                          <child>
 
1613
                            <widget class="GtkScrolledWindow" id="scrolledwindow10">
 
1614
                              <property name="visible">True</property>
 
1615
                              <property name="can_focus">True</property>
 
1616
                              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
1617
                              <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
1618
                              <property name="shadow_type">GTK_SHADOW_NONE</property>
 
1619
                              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
1620
 
 
1621
                              <child>
 
1622
                                <widget class="GtkViewport" id="viewport4">
 
1623
                                  <property name="visible">True</property>
 
1624
                                  <property name="shadow_type">GTK_SHADOW_IN</property>
 
1625
 
 
1626
                                  <child>
 
1627
                                    <widget class="GtkVBox" id="vbox11">
 
1628
                                      <property name="visible">True</property>
 
1629
                                      <property name="homogeneous">False</property>
 
1630
                                      <property name="spacing">0</property>
 
1631
 
 
1632
                                      <child>
 
1633
                                        <widget class="GtkTreeView" id="treeview_included_tags">
 
1634
                                          <property name="visible">True</property>
 
1635
                                          <property name="can_focus">True</property>
 
1636
                                          <property name="headers_visible">True</property>
 
1637
                                          <property name="rules_hint">False</property>
 
1638
                                          <property name="reorderable">False</property>
 
1639
                                          <property name="enable_search">True</property>
 
1640
                                          <property name="fixed_height_mode">False</property>
 
1641
                                          <property name="hover_selection">False</property>
 
1642
                                          <property name="hover_expand">False</property>
 
1643
                                          <signal name="row_activated" handler="on_treeview_included_tags_row_activated" last_modification_time="Sun, 20 Jul 2003 08:35:31 GMT"/>
 
1644
                                        </widget>
 
1645
                                        <packing>
 
1646
                                          <property name="padding">0</property>
 
1647
                                          <property name="expand">True</property>
 
1648
                                          <property name="fill">True</property>
 
1649
                                        </packing>
 
1650
                                      </child>
 
1651
 
 
1652
                                      <child>
 
1653
                                        <widget class="GtkTreeView" id="treeview_excluded_tags">
 
1654
                                          <property name="visible">True</property>
 
1655
                                          <property name="can_focus">True</property>
 
1656
                                          <property name="headers_visible">True</property>
 
1657
                                          <property name="rules_hint">False</property>
 
1658
                                          <property name="reorderable">False</property>
 
1659
                                          <property name="enable_search">True</property>
 
1660
                                          <property name="fixed_height_mode">False</property>
 
1661
                                          <property name="hover_selection">False</property>
 
1662
                                          <property name="hover_expand">False</property>
 
1663
                                          <signal name="row_activated" handler="on_treeview_excluded_tags_row_activated" last_modification_time="Sun, 20 Jul 2003 08:35:42 GMT"/>
 
1664
                                        </widget>
 
1665
                                        <packing>
 
1666
                                          <property name="padding">0</property>
 
1667
                                          <property name="expand">True</property>
 
1668
                                          <property name="fill">True</property>
 
1669
                                        </packing>
 
1670
                                      </child>
 
1671
                                    </widget>
 
1672
                                  </child>
 
1673
                                </widget>
 
1674
                              </child>
 
1675
                            </widget>
 
1676
                            <packing>
 
1677
                              <property name="shrink">True</property>
 
1678
                              <property name="resize">True</property>
 
1679
                            </packing>
 
1680
                          </child>
 
1681
                        </widget>
 
1682
                        <packing>
 
1683
                          <property name="padding">0</property>
 
1684
                          <property name="expand">True</property>
 
1685
                          <property name="fill">True</property>
 
1686
                        </packing>
 
1687
                      </child>
 
1688
                    </widget>
 
1689
                    <packing>
 
1690
                      <property name="tab_expand">False</property>
 
1691
                      <property name="tab_fill">True</property>
 
1692
                    </packing>
 
1693
                  </child>
 
1694
 
 
1695
                  <child>
 
1696
                    <widget class="GtkLabel" id="label11">
 
1697
                      <property name="visible">True</property>
 
1698
                      <property name="label" translatable="yes">Tags</property>
 
1699
                      <property name="use_underline">False</property>
 
1700
                      <property name="use_markup">False</property>
 
1701
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1702
                      <property name="wrap">False</property>
 
1703
                      <property name="selectable">False</property>
 
1704
                      <property name="xalign">0.5</property>
 
1705
                      <property name="yalign">0.5</property>
 
1706
                      <property name="xpad">0</property>
 
1707
                      <property name="ypad">0</property>
 
1708
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1709
                      <property name="width_chars">-1</property>
 
1710
                      <property name="single_line_mode">False</property>
 
1711
                      <property name="angle">0</property>
 
1712
                    </widget>
 
1713
                    <packing>
 
1714
                      <property name="type">tab</property>
 
1715
                    </packing>
 
1716
                  </child>
 
1717
                </widget>
 
1718
                <packing>
 
1719
                  <property name="padding">0</property>
 
1720
                  <property name="expand">True</property>
 
1721
                  <property name="fill">True</property>
 
1722
                </packing>
 
1723
              </child>
 
1724
            </widget>
 
1725
            <packing>
 
1726
              <property name="padding">0</property>
 
1727
              <property name="expand">True</property>
 
1728
              <property name="fill">True</property>
 
1729
            </packing>
 
1730
          </child>
 
1731
        </widget>
 
1732
        <packing>
 
1733
          <property name="padding">0</property>
 
1734
          <property name="expand">True</property>
 
1735
          <property name="fill">True</property>
 
1736
        </packing>
 
1737
      </child>
 
1738
    </widget>
 
1739
  </child>
 
1740
</widget>
 
1741
 
 
1742
</glade-interface>