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