9ns: don't pass user pointers for 'spec'
[akaros.git] / scripts / kconfig / gconf.glade
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
3 <glade-interface>
4
5 <widget class="GtkWindow" id="window1">
6   <property name="visible">True</property>
7   <property name="title" translatable="yes">Gtk Kernel Configurator</property>
8   <property name="type">GTK_WINDOW_TOPLEVEL</property>
9   <property name="window_position">GTK_WIN_POS_NONE</property>
10   <property name="modal">False</property>
11   <property name="default_width">640</property>
12   <property name="default_height">480</property>
13   <property name="resizable">True</property>
14   <property name="destroy_with_parent">False</property>
15   <property name="decorated">True</property>
16   <property name="skip_taskbar_hint">False</property>
17   <property name="skip_pager_hint">False</property>
18   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
19   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
20   <signal name="destroy" handler="on_window1_destroy" object="window1"/>
21   <signal name="size_request" handler="on_window1_size_request" object="vpaned1" last_modification_time="Fri, 11 Jan 2002 16:17:11 GMT"/>
22   <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/>
23
24   <child>
25     <widget class="GtkVBox" id="vbox1">
26       <property name="visible">True</property>
27       <property name="homogeneous">False</property>
28       <property name="spacing">0</property>
29
30       <child>
31         <widget class="GtkMenuBar" id="menubar1">
32           <property name="visible">True</property>
33
34           <child>
35             <widget class="GtkMenuItem" id="file1">
36               <property name="visible">True</property>
37               <property name="label" translatable="yes">_File</property>
38               <property name="use_underline">True</property>
39
40               <child>
41                 <widget class="GtkMenu" id="file1_menu">
42
43                   <child>
44                     <widget class="GtkImageMenuItem" id="load1">
45                       <property name="visible">True</property>
46                       <property name="tooltip" translatable="yes">Load a config file</property>
47                       <property name="label" translatable="yes">_Load</property>
48                       <property name="use_underline">True</property>
49                       <signal name="activate" handler="on_load1_activate"/>
50                       <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
51
52                       <child internal-child="image">
53                         <widget class="GtkImage" id="image39">
54                           <property name="visible">True</property>
55                           <property name="stock">gtk-open</property>
56                           <property name="icon_size">1</property>
57                           <property name="xalign">0.5</property>
58                           <property name="yalign">0.5</property>
59                           <property name="xpad">0</property>
60                           <property name="ypad">0</property>
61                         </widget>
62                       </child>
63                     </widget>
64                   </child>
65
66                   <child>
67                     <widget class="GtkImageMenuItem" id="save1">
68                       <property name="visible">True</property>
69                       <property name="tooltip" translatable="yes">Save the config in .config</property>
70                       <property name="label" translatable="yes">_Save</property>
71                       <property name="use_underline">True</property>
72                       <signal name="activate" handler="on_save_activate"/>
73                       <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
74
75                       <child internal-child="image">
76                         <widget class="GtkImage" id="image40">
77                           <property name="visible">True</property>
78                           <property name="stock">gtk-save</property>
79                           <property name="icon_size">1</property>
80                           <property name="xalign">0.5</property>
81                           <property name="yalign">0.5</property>
82                           <property name="xpad">0</property>
83                           <property name="ypad">0</property>
84                         </widget>
85                       </child>
86                     </widget>
87                   </child>
88
89                   <child>
90                     <widget class="GtkImageMenuItem" id="save_as1">
91                       <property name="visible">True</property>
92                       <property name="tooltip" translatable="yes">Save the config in a file</property>
93                       <property name="label" translatable="yes">Save _as</property>
94                       <property name="use_underline">True</property>
95                       <signal name="activate" handler="on_save_as1_activate"/>
96
97                       <child internal-child="image">
98                         <widget class="GtkImage" id="image41">
99                           <property name="visible">True</property>
100                           <property name="stock">gtk-save-as</property>
101                           <property name="icon_size">1</property>
102                           <property name="xalign">0.5</property>
103                           <property name="yalign">0.5</property>
104                           <property name="xpad">0</property>
105                           <property name="ypad">0</property>
106                         </widget>
107                       </child>
108                     </widget>
109                   </child>
110
111                   <child>
112                     <widget class="GtkSeparatorMenuItem" id="separator1">
113                       <property name="visible">True</property>
114                     </widget>
115                   </child>
116
117                   <child>
118                     <widget class="GtkImageMenuItem" id="quit1">
119                       <property name="visible">True</property>
120                       <property name="label" translatable="yes">_Quit</property>
121                       <property name="use_underline">True</property>
122                       <signal name="activate" handler="on_quit1_activate"/>
123                       <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
124
125                       <child internal-child="image">
126                         <widget class="GtkImage" id="image42">
127                           <property name="visible">True</property>
128                           <property name="stock">gtk-quit</property>
129                           <property name="icon_size">1</property>
130                           <property name="xalign">0.5</property>
131                           <property name="yalign">0.5</property>
132                           <property name="xpad">0</property>
133                           <property name="ypad">0</property>
134                         </widget>
135                       </child>
136                     </widget>
137                   </child>
138                 </widget>
139               </child>
140             </widget>
141           </child>
142
143           <child>
144             <widget class="GtkMenuItem" id="options1">
145               <property name="visible">True</property>
146               <property name="label" translatable="yes">_Options</property>
147               <property name="use_underline">True</property>
148
149               <child>
150                 <widget class="GtkMenu" id="options1_menu">
151
152                   <child>
153                     <widget class="GtkCheckMenuItem" id="show_name1">
154                       <property name="visible">True</property>
155                       <property name="tooltip" translatable="yes">Show name</property>
156                       <property name="label" translatable="yes">Show _name</property>
157                       <property name="use_underline">True</property>
158                       <property name="active">False</property>
159                       <signal name="activate" handler="on_show_name1_activate"/>
160                     </widget>
161                   </child>
162
163                   <child>
164                     <widget class="GtkCheckMenuItem" id="show_range1">
165                       <property name="visible">True</property>
166                       <property name="tooltip" translatable="yes">Show range (Y/M/N)</property>
167                       <property name="label" translatable="yes">Show _range</property>
168                       <property name="use_underline">True</property>
169                       <property name="active">False</property>
170                       <signal name="activate" handler="on_show_range1_activate"/>
171                     </widget>
172                   </child>
173
174                   <child>
175                     <widget class="GtkCheckMenuItem" id="show_data1">
176                       <property name="visible">True</property>
177                       <property name="tooltip" translatable="yes">Show value of the option</property>
178                       <property name="label" translatable="yes">Show _data</property>
179                       <property name="use_underline">True</property>
180                       <property name="active">False</property>
181                       <signal name="activate" handler="on_show_data1_activate"/>
182                     </widget>
183                   </child>
184
185                   <child>
186                     <widget class="GtkSeparatorMenuItem" id="separator2">
187                       <property name="visible">True</property>
188                     </widget>
189                   </child>
190
191                   <child>
192                     <widget class="GtkRadioMenuItem" id="set_option_mode1">
193                       <property name="visible">True</property>
194                       <property name="tooltip" translatable="yes">Show normal options</property>
195                       <property name="label" translatable="yes">Show normal options</property>
196                       <property name="use_underline">True</property>
197                       <property name="active">True</property>
198                       <signal name="activate" handler="on_set_option_mode1_activate"/>
199                     </widget>
200                   </child>
201
202                   <child>
203                     <widget class="GtkRadioMenuItem" id="set_option_mode2">
204                       <property name="visible">True</property>
205                       <property name="tooltip" translatable="yes">Show all options</property>
206                       <property name="label" translatable="yes">Show all _options</property>
207                       <property name="use_underline">True</property>
208                       <property name="active">False</property>
209                       <property name="group">set_option_mode1</property>
210                       <signal name="activate" handler="on_set_option_mode2_activate"/>
211                     </widget>
212                   </child>
213
214                   <child>
215                     <widget class="GtkRadioMenuItem" id="set_option_mode3">
216                       <property name="visible">True</property>
217                       <property name="tooltip" translatable="yes">Show all options with prompts</property>
218                       <property name="label" translatable="yes">Show all prompt options</property>
219                       <property name="use_underline">True</property>
220                       <property name="active">False</property>
221                       <property name="group">set_option_mode1</property>
222                       <signal name="activate" handler="on_set_option_mode3_activate"/>
223                     </widget>
224                   </child>
225
226                 </widget>
227               </child>
228             </widget>
229           </child>
230
231           <child>
232             <widget class="GtkMenuItem" id="help1">
233               <property name="visible">True</property>
234               <property name="label" translatable="yes">_Help</property>
235               <property name="use_underline">True</property>
236
237               <child>
238                 <widget class="GtkMenu" id="help1_menu">
239
240                   <child>
241                     <widget class="GtkImageMenuItem" id="introduction1">
242                       <property name="visible">True</property>
243                       <property name="label" translatable="yes">_Introduction</property>
244                       <property name="use_underline">True</property>
245                       <signal name="activate" handler="on_introduction1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
246                       <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/>
247
248                       <child internal-child="image">
249                         <widget class="GtkImage" id="image43">
250                           <property name="visible">True</property>
251                           <property name="stock">gtk-dialog-question</property>
252                           <property name="icon_size">1</property>
253                           <property name="xalign">0.5</property>
254                           <property name="yalign">0.5</property>
255                           <property name="xpad">0</property>
256                           <property name="ypad">0</property>
257                         </widget>
258                       </child>
259                     </widget>
260                   </child>
261
262                   <child>
263                     <widget class="GtkImageMenuItem" id="about1">
264                       <property name="visible">True</property>
265                       <property name="label" translatable="yes">_About</property>
266                       <property name="use_underline">True</property>
267                       <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
268                       <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
269
270                       <child internal-child="image">
271                         <widget class="GtkImage" id="image44">
272                           <property name="visible">True</property>
273                           <property name="stock">gtk-properties</property>
274                           <property name="icon_size">1</property>
275                           <property name="xalign">0.5</property>
276                           <property name="yalign">0.5</property>
277                           <property name="xpad">0</property>
278                           <property name="ypad">0</property>
279                         </widget>
280                       </child>
281                     </widget>
282                   </child>
283
284                   <child>
285                     <widget class="GtkImageMenuItem" id="license1">
286                       <property name="visible">True</property>
287                       <property name="label" translatable="yes">_License</property>
288                       <property name="use_underline">True</property>
289                       <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
290
291                       <child internal-child="image">
292                         <widget class="GtkImage" id="image45">
293                           <property name="visible">True</property>
294                           <property name="stock">gtk-justify-fill</property>
295                           <property name="icon_size">1</property>
296                           <property name="xalign">0.5</property>
297                           <property name="yalign">0.5</property>
298                           <property name="xpad">0</property>
299                           <property name="ypad">0</property>
300                         </widget>
301                       </child>
302                     </widget>
303                   </child>
304                 </widget>
305               </child>
306             </widget>
307           </child>
308         </widget>
309         <packing>
310           <property name="padding">0</property>
311           <property name="expand">False</property>
312           <property name="fill">False</property>
313         </packing>
314       </child>
315
316       <child>
317         <widget class="GtkHandleBox" id="handlebox1">
318           <property name="visible">True</property>
319           <property name="shadow_type">GTK_SHADOW_OUT</property>
320           <property name="handle_position">GTK_POS_LEFT</property>
321           <property name="snap_edge">GTK_POS_TOP</property>
322
323           <child>
324             <widget class="GtkToolbar" id="toolbar1">
325               <property name="visible">True</property>
326               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
327               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
328               <property name="tooltips">True</property>
329               <property name="show_arrow">True</property>
330
331               <child>
332                 <widget class="GtkToolButton" id="button1">
333                   <property name="visible">True</property>
334                   <property name="tooltip" translatable="yes">Goes up of one level (single view)</property>
335                   <property name="label" translatable="yes">Back</property>
336                   <property name="use_underline">True</property>
337                   <property name="stock_id">gtk-undo</property>
338                   <property name="visible_horizontal">True</property>
339                   <property name="visible_vertical">True</property>
340                   <property name="is_important">False</property>
341                   <signal name="clicked" handler="on_back_clicked"/>
342                 </widget>
343                 <packing>
344                   <property name="expand">False</property>
345                   <property name="homogeneous">True</property>
346                 </packing>
347               </child>
348
349               <child>
350                 <widget class="GtkToolItem" id="toolitem1">
351                   <property name="visible">True</property>
352                   <property name="visible_horizontal">True</property>
353                   <property name="visible_vertical">True</property>
354                   <property name="is_important">False</property>
355
356                   <child>
357                     <widget class="GtkVSeparator" id="vseparator1">
358                       <property name="visible">True</property>
359                     </widget>
360                   </child>
361                 </widget>
362                 <packing>
363                   <property name="expand">False</property>
364                   <property name="homogeneous">False</property>
365                 </packing>
366               </child>
367
368               <child>
369                 <widget class="GtkToolButton" id="button2">
370                   <property name="visible">True</property>
371                   <property name="tooltip" translatable="yes">Load a config file</property>
372                   <property name="label" translatable="yes">Load</property>
373                   <property name="use_underline">True</property>
374                   <property name="stock_id">gtk-open</property>
375                   <property name="visible_horizontal">True</property>
376                   <property name="visible_vertical">True</property>
377                   <property name="is_important">False</property>
378                   <signal name="clicked" handler="on_load_clicked"/>
379                 </widget>
380                 <packing>
381                   <property name="expand">False</property>
382                   <property name="homogeneous">True</property>
383                 </packing>
384               </child>
385
386               <child>
387                 <widget class="GtkToolButton" id="button3">
388                   <property name="visible">True</property>
389                   <property name="tooltip" translatable="yes">Save a config file</property>
390                   <property name="label" translatable="yes">Save</property>
391                   <property name="use_underline">True</property>
392                   <property name="stock_id">gtk-save</property>
393                   <property name="visible_horizontal">True</property>
394                   <property name="visible_vertical">True</property>
395                   <property name="is_important">False</property>
396                   <signal name="clicked" handler="on_save_activate"/>
397                 </widget>
398                 <packing>
399                   <property name="expand">False</property>
400                   <property name="homogeneous">True</property>
401                 </packing>
402               </child>
403
404               <child>
405                 <widget class="GtkToolItem" id="toolitem2">
406                   <property name="visible">True</property>
407                   <property name="visible_horizontal">True</property>
408                   <property name="visible_vertical">True</property>
409                   <property name="is_important">False</property>
410
411                   <child>
412                     <widget class="GtkVSeparator" id="vseparator2">
413                       <property name="visible">True</property>
414                     </widget>
415                   </child>
416                 </widget>
417                 <packing>
418                   <property name="expand">False</property>
419                   <property name="homogeneous">False</property>
420                 </packing>
421               </child>
422
423               <child>
424                 <widget class="GtkToolButton" id="button4">
425                   <property name="visible">True</property>
426                   <property name="tooltip" translatable="yes">Single view</property>
427                   <property name="label" translatable="yes">Single</property>
428                   <property name="use_underline">True</property>
429                   <property name="stock_id">gtk-missing-image</property>
430                   <property name="visible_horizontal">True</property>
431                   <property name="visible_vertical">True</property>
432                   <property name="is_important">False</property>
433                   <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/>
434                 </widget>
435                 <packing>
436                   <property name="expand">False</property>
437                   <property name="homogeneous">True</property>
438                 </packing>
439               </child>
440
441               <child>
442                 <widget class="GtkToolButton" id="button5">
443                   <property name="visible">True</property>
444                   <property name="tooltip" translatable="yes">Split view</property>
445                   <property name="label" translatable="yes">Split</property>
446                   <property name="use_underline">True</property>
447                   <property name="stock_id">gtk-missing-image</property>
448                   <property name="visible_horizontal">True</property>
449                   <property name="visible_vertical">True</property>
450                   <property name="is_important">False</property>
451                   <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/>
452                 </widget>
453                 <packing>
454                   <property name="expand">False</property>
455                   <property name="homogeneous">True</property>
456                 </packing>
457               </child>
458
459               <child>
460                 <widget class="GtkToolButton" id="button6">
461                   <property name="visible">True</property>
462                   <property name="tooltip" translatable="yes">Full view</property>
463                   <property name="label" translatable="yes">Full</property>
464                   <property name="use_underline">True</property>
465                   <property name="stock_id">gtk-missing-image</property>
466                   <property name="visible_horizontal">True</property>
467                   <property name="visible_vertical">True</property>
468                   <property name="is_important">False</property>
469                   <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/>
470                 </widget>
471                 <packing>
472                   <property name="expand">False</property>
473                   <property name="homogeneous">True</property>
474                 </packing>
475               </child>
476
477               <child>
478                 <widget class="GtkToolItem" id="toolitem3">
479                   <property name="visible">True</property>
480                   <property name="visible_horizontal">True</property>
481                   <property name="visible_vertical">True</property>
482                   <property name="is_important">False</property>
483
484                   <child>
485                     <widget class="GtkVSeparator" id="vseparator3">
486                       <property name="visible">True</property>
487                     </widget>
488                   </child>
489                 </widget>
490                 <packing>
491                   <property name="expand">False</property>
492                   <property name="homogeneous">False</property>
493                 </packing>
494               </child>
495
496               <child>
497                 <widget class="GtkToolButton" id="button7">
498                   <property name="visible">True</property>
499                   <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property>
500                   <property name="label" translatable="yes">Collapse</property>
501                   <property name="use_underline">True</property>
502                   <property name="stock_id">gtk-remove</property>
503                   <property name="visible_horizontal">True</property>
504                   <property name="visible_vertical">True</property>
505                   <property name="is_important">False</property>
506                   <signal name="clicked" handler="on_collapse_clicked"/>
507                 </widget>
508                 <packing>
509                   <property name="expand">False</property>
510                   <property name="homogeneous">True</property>
511                 </packing>
512               </child>
513
514               <child>
515                 <widget class="GtkToolButton" id="button8">
516                   <property name="visible">True</property>
517                   <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property>
518                   <property name="label" translatable="yes">Expand</property>
519                   <property name="use_underline">True</property>
520                   <property name="stock_id">gtk-add</property>
521                   <property name="visible_horizontal">True</property>
522                   <property name="visible_vertical">True</property>
523                   <property name="is_important">False</property>
524                   <signal name="clicked" handler="on_expand_clicked"/>
525                 </widget>
526                 <packing>
527                   <property name="expand">False</property>
528                   <property name="homogeneous">True</property>
529                 </packing>
530               </child>
531             </widget>
532           </child>
533         </widget>
534         <packing>
535           <property name="padding">0</property>
536           <property name="expand">False</property>
537           <property name="fill">False</property>
538         </packing>
539       </child>
540
541       <child>
542         <widget class="GtkHPaned" id="hpaned1">
543           <property name="width_request">1</property>
544           <property name="visible">True</property>
545           <property name="can_focus">True</property>
546           <property name="position">0</property>
547
548           <child>
549             <widget class="GtkScrolledWindow" id="scrolledwindow1">
550               <property name="visible">True</property>
551               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
552               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
553               <property name="shadow_type">GTK_SHADOW_IN</property>
554               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
555
556               <child>
557                 <widget class="GtkTreeView" id="treeview1">
558                   <property name="visible">True</property>
559                   <property name="can_focus">True</property>
560                   <property name="headers_visible">True</property>
561                   <property name="rules_hint">False</property>
562                   <property name="reorderable">False</property>
563                   <property name="enable_search">False</property>
564                   <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:58:22 GMT"/>
565                   <signal name="button_press_event" handler="on_treeview1_button_press_event" last_modification_time="Sun, 12 Jan 2003 16:03:52 GMT"/>
566                   <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 16:11:44 GMT"/>
567                 </widget>
568               </child>
569             </widget>
570             <packing>
571               <property name="shrink">True</property>
572               <property name="resize">False</property>
573             </packing>
574           </child>
575
576           <child>
577             <widget class="GtkVPaned" id="vpaned1">
578               <property name="visible">True</property>
579               <property name="can_focus">True</property>
580               <property name="position">0</property>
581
582               <child>
583                 <widget class="GtkScrolledWindow" id="scrolledwindow2">
584                   <property name="visible">True</property>
585                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
586                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
587                   <property name="shadow_type">GTK_SHADOW_IN</property>
588                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
589
590                   <child>
591                     <widget class="GtkTreeView" id="treeview2">
592                       <property name="visible">True</property>
593                       <property name="can_focus">True</property>
594                       <property name="has_focus">True</property>
595                       <property name="headers_visible">True</property>
596                       <property name="rules_hint">False</property>
597                       <property name="reorderable">False</property>
598                       <property name="enable_search">False</property>
599                       <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:57:55 GMT"/>
600                       <signal name="button_press_event" handler="on_treeview2_button_press_event" last_modification_time="Sun, 12 Jan 2003 15:57:58 GMT"/>
601                       <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 15:58:01 GMT"/>
602                     </widget>
603                   </child>
604                 </widget>
605                 <packing>
606                   <property name="shrink">True</property>
607                   <property name="resize">False</property>
608                 </packing>
609               </child>
610
611               <child>
612                 <widget class="GtkScrolledWindow" id="scrolledwindow3">
613                   <property name="visible">True</property>
614                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
615                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
616                   <property name="shadow_type">GTK_SHADOW_IN</property>
617                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
618
619                   <child>
620                     <widget class="GtkTextView" id="textview3">
621                       <property name="visible">True</property>
622                       <property name="can_focus">True</property>
623                       <property name="editable">False</property>
624                       <property name="overwrite">False</property>
625                       <property name="accepts_tab">True</property>
626                       <property name="justification">GTK_JUSTIFY_LEFT</property>
627                       <property name="wrap_mode">GTK_WRAP_WORD</property>
628                       <property name="cursor_visible">True</property>
629                       <property name="pixels_above_lines">0</property>
630                       <property name="pixels_below_lines">0</property>
631                       <property name="pixels_inside_wrap">0</property>
632                       <property name="left_margin">0</property>
633                       <property name="right_margin">0</property>
634                       <property name="indent">0</property>
635                       <property name="text" translatable="yes">Sorry, no help available for this option yet.</property>
636                     </widget>
637                   </child>
638                 </widget>
639                 <packing>
640                   <property name="shrink">True</property>
641                   <property name="resize">True</property>
642                 </packing>
643               </child>
644             </widget>
645             <packing>
646               <property name="shrink">True</property>
647               <property name="resize">True</property>
648             </packing>
649           </child>
650         </widget>
651         <packing>
652           <property name="padding">0</property>
653           <property name="expand">True</property>
654           <property name="fill">True</property>
655         </packing>
656       </child>
657     </widget>
658   </child>
659 </widget>
660
661 </glade-interface>