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

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

first import

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