xref: /linux/scripts/kconfig/gconf.ui (revision ea1438f720aa2fa287237fbeb7e76a1e83a10af8)
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
21  <child>
22    <widget class="GtkVBox" id="vbox1">
23      <property name="visible">True</property>
24      <property name="homogeneous">False</property>
25      <property name="spacing">0</property>
26
27      <child>
28	<widget class="GtkMenuBar" id="menubar1">
29	  <property name="visible">True</property>
30
31	  <child>
32	    <widget class="GtkMenuItem" id="file1">
33	      <property name="visible">True</property>
34	      <property name="label" translatable="yes">_File</property>
35	      <property name="use_underline">True</property>
36
37	      <child>
38		<widget class="GtkMenu" id="file1_menu">
39
40		  <child>
41		    <widget class="GtkImageMenuItem" id="load1">
42		      <property name="visible">True</property>
43		      <property name="tooltip-text" translatable="yes">Load a config file</property>
44		      <property name="label" translatable="yes">_Load</property>
45		      <property name="use_underline">True</property>
46		      <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
47		    </widget>
48		  </child>
49
50		  <child>
51		    <widget class="GtkImageMenuItem" id="save1">
52		      <property name="visible">True</property>
53		      <property name="tooltip-text" translatable="yes">Save the config in .config</property>
54		      <property name="label" translatable="yes">_Save</property>
55		      <property name="use_underline">True</property>
56		      <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
57		    </widget>
58		  </child>
59
60		  <child>
61		    <widget class="GtkImageMenuItem" id="save_as1">
62		      <property name="visible">True</property>
63		      <property name="tooltip-text" translatable="yes">Save the config in a file</property>
64		      <property name="label" translatable="yes">Save _as</property>
65		      <property name="use_underline">True</property>
66		    </widget>
67		  </child>
68
69		  <child>
70		    <widget class="GtkSeparatorMenuItem" id="separator1">
71		      <property name="visible">True</property>
72		    </widget>
73		  </child>
74
75		  <child>
76		    <widget class="GtkImageMenuItem" id="quit1">
77		      <property name="visible">True</property>
78		      <property name="label" translatable="yes">_Quit</property>
79		      <property name="use_underline">True</property>
80		      <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
81		    </widget>
82		  </child>
83		</widget>
84	      </child>
85	    </widget>
86	  </child>
87
88	  <child>
89	    <widget class="GtkMenuItem" id="options1">
90	      <property name="visible">True</property>
91	      <property name="label" translatable="yes">_Options</property>
92	      <property name="use_underline">True</property>
93
94	      <child>
95		<widget class="GtkMenu" id="options1_menu">
96
97		  <child>
98		    <widget class="GtkCheckMenuItem" id="show_name1">
99		      <property name="visible">True</property>
100		      <property name="tooltip-text" translatable="yes">Show name</property>
101		      <property name="label" translatable="yes">Show _name</property>
102		      <property name="use_underline">True</property>
103		      <property name="active">False</property>
104		    </widget>
105		  </child>
106
107		  <child>
108		    <widget class="GtkCheckMenuItem" id="show_range1">
109		      <property name="visible">True</property>
110		      <property name="tooltip-text" translatable="yes">Show range (Y/M/N)</property>
111		      <property name="label" translatable="yes">Show _range</property>
112		      <property name="use_underline">True</property>
113		      <property name="active">False</property>
114		    </widget>
115		  </child>
116
117		  <child>
118		    <widget class="GtkCheckMenuItem" id="show_data1">
119		      <property name="visible">True</property>
120		      <property name="tooltip-text" translatable="yes">Show value of the option</property>
121		      <property name="label" translatable="yes">Show _data</property>
122		      <property name="use_underline">True</property>
123		      <property name="active">False</property>
124		    </widget>
125		  </child>
126
127		  <child>
128		    <widget class="GtkSeparatorMenuItem" id="separator2">
129		      <property name="visible">True</property>
130		    </widget>
131		  </child>
132
133		  <child>
134		    <widget class="GtkRadioMenuItem" id="set_option_mode1">
135		      <property name="visible">True</property>
136		      <property name="tooltip-text" translatable="yes">Show normal options</property>
137		      <property name="label" translatable="yes">Show normal options</property>
138		      <property name="use_underline">True</property>
139		      <property name="active">True</property>
140		    </widget>
141		  </child>
142
143		  <child>
144		    <widget class="GtkRadioMenuItem" id="set_option_mode2">
145		      <property name="visible">True</property>
146		      <property name="tooltip-text" translatable="yes">Show all options</property>
147		      <property name="label" translatable="yes">Show all _options</property>
148		      <property name="use_underline">True</property>
149		      <property name="active">False</property>
150		      <property name="group">set_option_mode1</property>
151		    </widget>
152		  </child>
153
154		  <child>
155		    <widget class="GtkRadioMenuItem" id="set_option_mode3">
156		      <property name="visible">True</property>
157		      <property name="tooltip-text" translatable="yes">Show all options with prompts</property>
158		      <property name="label" translatable="yes">Show all prompt options</property>
159		      <property name="use_underline">True</property>
160		      <property name="active">False</property>
161		      <property name="group">set_option_mode1</property>
162		    </widget>
163		  </child>
164
165		</widget>
166	      </child>
167	    </widget>
168	  </child>
169
170	  <child>
171	    <widget class="GtkMenuItem" id="help1">
172	      <property name="visible">True</property>
173	      <property name="label" translatable="yes">_Help</property>
174	      <property name="use_underline">True</property>
175
176	      <child>
177		<widget class="GtkMenu" id="help1_menu">
178
179		  <child>
180		    <widget class="GtkImageMenuItem" id="introduction1">
181		      <property name="visible">True</property>
182		      <property name="label" translatable="yes">_Introduction</property>
183		      <property name="use_underline">True</property>
184		      <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/>
185		    </widget>
186		  </child>
187
188		  <child>
189		    <widget class="GtkImageMenuItem" id="about1">
190		      <property name="visible">True</property>
191		      <property name="label" translatable="yes">_About</property>
192		      <property name="use_underline">True</property>
193		      <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
194		    </widget>
195		  </child>
196
197		  <child>
198		    <widget class="GtkImageMenuItem" id="license1">
199		      <property name="visible">True</property>
200		      <property name="label" translatable="yes">_License</property>
201		      <property name="use_underline">True</property>
202		    </widget>
203		  </child>
204		</widget>
205	      </child>
206	    </widget>
207	  </child>
208	</widget>
209	<packing>
210	  <property name="padding">0</property>
211	  <property name="expand">False</property>
212	  <property name="fill">False</property>
213	</packing>
214      </child>
215
216      <child>
217	<widget class="GtkHandleBox" id="handlebox1">
218	  <property name="visible">True</property>
219	  <property name="shadow_type">GTK_SHADOW_OUT</property>
220	  <property name="handle_position">GTK_POS_LEFT</property>
221	  <property name="snap_edge">GTK_POS_TOP</property>
222
223	  <child>
224	    <widget class="GtkToolbar" id="toolbar1">
225	      <property name="visible">True</property>
226	      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
227	      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
228	      <property name="show_arrow">True</property>
229
230	      <child>
231		<widget class="GtkToolButton" id="button1">
232		  <property name="visible">True</property>
233		  <property name="tooltip-text" translatable="yes">Goes up one level (single view)</property>
234		  <property name="label" translatable="yes">Back</property>
235		  <property name="use_underline">True</property>
236		  <property name="stock_id">gtk-undo</property>
237		  <property name="visible_horizontal">True</property>
238		  <property name="visible_vertical">True</property>
239		  <property name="is_important">False</property>
240		</widget>
241		<packing>
242		  <property name="expand">False</property>
243		  <property name="homogeneous">True</property>
244		</packing>
245	      </child>
246
247	      <child>
248		<widget class="GtkToolItem" id="toolitem1">
249		  <property name="visible">True</property>
250		  <property name="visible_horizontal">True</property>
251		  <property name="visible_vertical">True</property>
252		  <property name="is_important">False</property>
253
254		  <child>
255		    <widget class="GtkVSeparator" id="vseparator1">
256		      <property name="visible">True</property>
257		    </widget>
258		  </child>
259		</widget>
260		<packing>
261		  <property name="expand">False</property>
262		  <property name="homogeneous">False</property>
263		</packing>
264	      </child>
265
266	      <child>
267		<widget class="GtkToolButton" id="button2">
268		  <property name="visible">True</property>
269		  <property name="tooltip-text" translatable="yes">Load a config file</property>
270		  <property name="label" translatable="yes">Load</property>
271		  <property name="use_underline">True</property>
272		  <property name="stock_id">gtk-open</property>
273		  <property name="visible_horizontal">True</property>
274		  <property name="visible_vertical">True</property>
275		  <property name="is_important">False</property>
276		</widget>
277		<packing>
278		  <property name="expand">False</property>
279		  <property name="homogeneous">True</property>
280		</packing>
281	      </child>
282
283	      <child>
284		<widget class="GtkToolButton" id="button3">
285		  <property name="visible">True</property>
286		  <property name="tooltip-text" translatable="yes">Save a config file</property>
287		  <property name="label" translatable="yes">Save</property>
288		  <property name="use_underline">True</property>
289		  <property name="stock_id">gtk-save</property>
290		  <property name="visible_horizontal">True</property>
291		  <property name="visible_vertical">True</property>
292		  <property name="is_important">False</property>
293		</widget>
294		<packing>
295		  <property name="expand">False</property>
296		  <property name="homogeneous">True</property>
297		</packing>
298	      </child>
299
300	      <child>
301		<widget class="GtkToolItem" id="toolitem2">
302		  <property name="visible">True</property>
303		  <property name="visible_horizontal">True</property>
304		  <property name="visible_vertical">True</property>
305		  <property name="is_important">False</property>
306
307		  <child>
308		    <widget class="GtkVSeparator" id="vseparator2">
309		      <property name="visible">True</property>
310		    </widget>
311		  </child>
312		</widget>
313		<packing>
314		  <property name="expand">False</property>
315		  <property name="homogeneous">False</property>
316		</packing>
317	      </child>
318
319	      <child>
320		<widget class="GtkToolButton" id="button4">
321		  <property name="visible">True</property>
322		  <property name="tooltip-text" translatable="yes">Single view</property>
323		  <property name="label" translatable="yes">Single</property>
324		  <property name="use_underline">True</property>
325		  <property name="stock_id">gtk-missing-image</property>
326		  <property name="visible_horizontal">True</property>
327		  <property name="visible_vertical">True</property>
328		  <property name="is_important">False</property>
329		</widget>
330		<packing>
331		  <property name="expand">False</property>
332		  <property name="homogeneous">True</property>
333		</packing>
334	      </child>
335
336	      <child>
337		<widget class="GtkToolButton" id="button5">
338		  <property name="visible">True</property>
339		  <property name="tooltip-text" translatable="yes">Split view</property>
340		  <property name="label" translatable="yes">Split</property>
341		  <property name="use_underline">True</property>
342		  <property name="stock_id">gtk-missing-image</property>
343		  <property name="visible_horizontal">True</property>
344		  <property name="visible_vertical">True</property>
345		  <property name="is_important">False</property>
346		</widget>
347		<packing>
348		  <property name="expand">False</property>
349		  <property name="homogeneous">True</property>
350		</packing>
351	      </child>
352
353	      <child>
354		<widget class="GtkToolButton" id="button6">
355		  <property name="visible">True</property>
356		  <property name="tooltip-text" translatable="yes">Full view</property>
357		  <property name="label" translatable="yes">Full</property>
358		  <property name="use_underline">True</property>
359		  <property name="stock_id">gtk-missing-image</property>
360		  <property name="visible_horizontal">True</property>
361		  <property name="visible_vertical">True</property>
362		  <property name="is_important">False</property>
363		</widget>
364		<packing>
365		  <property name="expand">False</property>
366		  <property name="homogeneous">True</property>
367		</packing>
368	      </child>
369
370	      <child>
371		<widget class="GtkToolItem" id="toolitem3">
372		  <property name="visible">True</property>
373		  <property name="visible_horizontal">True</property>
374		  <property name="visible_vertical">True</property>
375		  <property name="is_important">False</property>
376
377		  <child>
378		    <widget class="GtkVSeparator" id="vseparator3">
379		      <property name="visible">True</property>
380		    </widget>
381		  </child>
382		</widget>
383		<packing>
384		  <property name="expand">False</property>
385		  <property name="homogeneous">False</property>
386		</packing>
387	      </child>
388
389	      <child>
390		<widget class="GtkToolButton" id="button7">
391		  <property name="visible">True</property>
392		  <property name="tooltip-text" translatable="yes">Collapse the whole tree in the right frame</property>
393		  <property name="label" translatable="yes">Collapse</property>
394		  <property name="use_underline">True</property>
395		  <property name="stock_id">gtk-remove</property>
396		  <property name="visible_horizontal">True</property>
397		  <property name="visible_vertical">True</property>
398		  <property name="is_important">False</property>
399		</widget>
400		<packing>
401		  <property name="expand">False</property>
402		  <property name="homogeneous">True</property>
403		</packing>
404	      </child>
405
406	      <child>
407		<widget class="GtkToolButton" id="button8">
408		  <property name="visible">True</property>
409		  <property name="tooltip-text" translatable="yes">Expand the whole tree in the right frame</property>
410		  <property name="label" translatable="yes">Expand</property>
411		  <property name="use_underline">True</property>
412		  <property name="stock_id">gtk-add</property>
413		  <property name="visible_horizontal">True</property>
414		  <property name="visible_vertical">True</property>
415		  <property name="is_important">False</property>
416		</widget>
417		<packing>
418		  <property name="expand">False</property>
419		  <property name="homogeneous">True</property>
420		</packing>
421	      </child>
422	    </widget>
423	  </child>
424	</widget>
425	<packing>
426	  <property name="padding">0</property>
427	  <property name="expand">False</property>
428	  <property name="fill">False</property>
429	</packing>
430      </child>
431
432      <child>
433	<widget class="GtkHPaned" id="hpaned1">
434	  <property name="width_request">1</property>
435	  <property name="visible">True</property>
436	  <property name="can_focus">True</property>
437	  <property name="position">0</property>
438
439	  <child>
440	    <widget class="GtkScrolledWindow" id="scrolledwindow1">
441	      <property name="visible">True</property>
442	      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
443	      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
444	      <property name="shadow_type">GTK_SHADOW_IN</property>
445	      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
446
447	      <child>
448		<widget class="GtkTreeView" id="treeview1">
449		  <property name="visible">True</property>
450		  <property name="can_focus">True</property>
451		  <property name="headers_visible">True</property>
452		  <property name="rules_hint">False</property>
453		  <property name="reorderable">False</property>
454		  <property name="enable_search">False</property>
455		</widget>
456	      </child>
457	    </widget>
458	    <packing>
459	      <property name="shrink">True</property>
460	      <property name="resize">False</property>
461	    </packing>
462	  </child>
463
464	  <child>
465	    <widget class="GtkVPaned" id="vpaned1">
466	      <property name="visible">True</property>
467	      <property name="can_focus">True</property>
468	      <property name="position">0</property>
469
470	      <child>
471		<widget class="GtkScrolledWindow" id="scrolledwindow2">
472		  <property name="visible">True</property>
473		  <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
474		  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
475		  <property name="shadow_type">GTK_SHADOW_IN</property>
476		  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
477
478		  <child>
479		    <widget class="GtkTreeView" id="treeview2">
480		      <property name="visible">True</property>
481		      <property name="can_focus">True</property>
482		      <property name="has_focus">True</property>
483		      <property name="headers_visible">True</property>
484		      <property name="rules_hint">False</property>
485		      <property name="reorderable">False</property>
486		      <property name="enable_search">False</property>
487		    </widget>
488		  </child>
489		</widget>
490		<packing>
491		  <property name="shrink">True</property>
492		  <property name="resize">False</property>
493		</packing>
494	      </child>
495
496	      <child>
497		<widget class="GtkScrolledWindow" id="scrolledwindow3">
498		  <property name="visible">True</property>
499		  <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
500		  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
501		  <property name="shadow_type">GTK_SHADOW_IN</property>
502		  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
503
504		  <child>
505		    <widget class="GtkTextView" id="textview3">
506		      <property name="visible">True</property>
507		      <property name="can_focus">True</property>
508		      <property name="editable">False</property>
509		      <property name="overwrite">False</property>
510		      <property name="accepts_tab">True</property>
511		      <property name="justification">GTK_JUSTIFY_LEFT</property>
512		      <property name="wrap_mode">GTK_WRAP_WORD</property>
513		      <property name="cursor_visible">True</property>
514		      <property name="pixels_above_lines">0</property>
515		      <property name="pixels_below_lines">0</property>
516		      <property name="pixels_inside_wrap">0</property>
517		      <property name="left_margin">0</property>
518		      <property name="right_margin">0</property>
519		      <property name="indent">0</property>
520		    </widget>
521		  </child>
522		</widget>
523		<packing>
524		  <property name="shrink">True</property>
525		  <property name="resize">True</property>
526		</packing>
527	      </child>
528	    </widget>
529	    <packing>
530	      <property name="shrink">True</property>
531	      <property name="resize">True</property>
532	    </packing>
533	  </child>
534	</widget>
535	<packing>
536	  <property name="padding">0</property>
537	  <property name="expand">True</property>
538	  <property name="fill">True</property>
539	</packing>
540      </child>
541    </widget>
542  </child>
543</widget>
544
545</glade-interface>
546