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