xref: /openbmc/linux/scripts/kconfig/gconf.glade (revision 06f9a55c)
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>
663