source: pkg/frankie/main/synaptic/trunk/gtk/glade/window_filters.glade @ 6452

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