xref: /linux/scripts/kconfig/gconf.glade (revision 8990c1bc4be46473ad19bf2fa612ca57286f3df4)
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>
662