diff options
Diffstat (limited to 'scripts/kconfig/gconf.glade')
-rw-r--r-- | scripts/kconfig/gconf.glade | 167 |
1 files changed, 136 insertions, 31 deletions
diff --git a/scripts/kconfig/gconf.glade b/scripts/kconfig/gconf.glade index ace4706ab251..f8744ed64967 100644 --- a/scripts/kconfig/gconf.glade +++ b/scripts/kconfig/gconf.glade | |||
@@ -13,6 +13,11 @@ | |||
13 | <property name="default_height">480</property> | 13 | <property name="default_height">480</property> |
14 | <property name="resizable">True</property> | 14 | <property name="resizable">True</property> |
15 | <property name="destroy_with_parent">False</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> | ||
16 | <signal name="destroy" handler="on_window1_destroy" object="window1"/> | 21 | <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"/> | 22 | <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"/> | 23 | <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/> |
@@ -46,7 +51,7 @@ | |||
46 | <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/> | 51 | <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
47 | 52 | ||
48 | <child internal-child="image"> | 53 | <child internal-child="image"> |
49 | <widget class="GtkImage" id="image27"> | 54 | <widget class="GtkImage" id="image39"> |
50 | <property name="visible">True</property> | 55 | <property name="visible">True</property> |
51 | <property name="stock">gtk-open</property> | 56 | <property name="stock">gtk-open</property> |
52 | <property name="icon_size">1</property> | 57 | <property name="icon_size">1</property> |
@@ -69,7 +74,7 @@ | |||
69 | <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/> | 74 | <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
70 | 75 | ||
71 | <child internal-child="image"> | 76 | <child internal-child="image"> |
72 | <widget class="GtkImage" id="image28"> | 77 | <widget class="GtkImage" id="image40"> |
73 | <property name="visible">True</property> | 78 | <property name="visible">True</property> |
74 | <property name="stock">gtk-save</property> | 79 | <property name="stock">gtk-save</property> |
75 | <property name="icon_size">1</property> | 80 | <property name="icon_size">1</property> |
@@ -91,7 +96,7 @@ | |||
91 | <signal name="activate" handler="on_save_as1_activate"/> | 96 | <signal name="activate" handler="on_save_as1_activate"/> |
92 | 97 | ||
93 | <child internal-child="image"> | 98 | <child internal-child="image"> |
94 | <widget class="GtkImage" id="image29"> | 99 | <widget class="GtkImage" id="image41"> |
95 | <property name="visible">True</property> | 100 | <property name="visible">True</property> |
96 | <property name="stock">gtk-save-as</property> | 101 | <property name="stock">gtk-save-as</property> |
97 | <property name="icon_size">1</property> | 102 | <property name="icon_size">1</property> |
@@ -105,7 +110,7 @@ | |||
105 | </child> | 110 | </child> |
106 | 111 | ||
107 | <child> | 112 | <child> |
108 | <widget class="GtkMenuItem" id="separator1"> | 113 | <widget class="GtkSeparatorMenuItem" id="separator1"> |
109 | <property name="visible">True</property> | 114 | <property name="visible">True</property> |
110 | </widget> | 115 | </widget> |
111 | </child> | 116 | </child> |
@@ -119,7 +124,7 @@ | |||
119 | <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/> | 124 | <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
120 | 125 | ||
121 | <child internal-child="image"> | 126 | <child internal-child="image"> |
122 | <widget class="GtkImage" id="image30"> | 127 | <widget class="GtkImage" id="image42"> |
123 | <property name="visible">True</property> | 128 | <property name="visible">True</property> |
124 | <property name="stock">gtk-quit</property> | 129 | <property name="stock">gtk-quit</property> |
125 | <property name="icon_size">1</property> | 130 | <property name="icon_size">1</property> |
@@ -179,7 +184,7 @@ | |||
179 | </child> | 184 | </child> |
180 | 185 | ||
181 | <child> | 186 | <child> |
182 | <widget class="GtkMenuItem" id="separator2"> | 187 | <widget class="GtkSeparatorMenuItem" id="separator2"> |
183 | <property name="visible">True</property> | 188 | <property name="visible">True</property> |
184 | </widget> | 189 | </widget> |
185 | </child> | 190 | </child> |
@@ -228,7 +233,7 @@ | |||
228 | <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/> | 233 | <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
229 | 234 | ||
230 | <child internal-child="image"> | 235 | <child internal-child="image"> |
231 | <widget class="GtkImage" id="image31"> | 236 | <widget class="GtkImage" id="image43"> |
232 | <property name="visible">True</property> | 237 | <property name="visible">True</property> |
233 | <property name="stock">gtk-dialog-question</property> | 238 | <property name="stock">gtk-dialog-question</property> |
234 | <property name="icon_size">1</property> | 239 | <property name="icon_size">1</property> |
@@ -250,7 +255,7 @@ | |||
250 | <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/> | 255 | <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
251 | 256 | ||
252 | <child internal-child="image"> | 257 | <child internal-child="image"> |
253 | <widget class="GtkImage" id="image32"> | 258 | <widget class="GtkImage" id="image44"> |
254 | <property name="visible">True</property> | 259 | <property name="visible">True</property> |
255 | <property name="stock">gtk-properties</property> | 260 | <property name="stock">gtk-properties</property> |
256 | <property name="icon_size">1</property> | 261 | <property name="icon_size">1</property> |
@@ -271,7 +276,7 @@ | |||
271 | <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/> | 276 | <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/> |
272 | 277 | ||
273 | <child internal-child="image"> | 278 | <child internal-child="image"> |
274 | <widget class="GtkImage" id="image33"> | 279 | <widget class="GtkImage" id="image45"> |
275 | <property name="visible">True</property> | 280 | <property name="visible">True</property> |
276 | <property name="stock">gtk-justify-fill</property> | 281 | <property name="stock">gtk-justify-fill</property> |
277 | <property name="icon_size">1</property> | 282 | <property name="icon_size">1</property> |
@@ -308,109 +313,207 @@ | |||
308 | <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property> | 313 | <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property> |
309 | <property name="toolbar_style">GTK_TOOLBAR_BOTH</property> | 314 | <property name="toolbar_style">GTK_TOOLBAR_BOTH</property> |
310 | <property name="tooltips">True</property> | 315 | <property name="tooltips">True</property> |
316 | <property name="show_arrow">True</property> | ||
311 | 317 | ||
312 | <child> | 318 | <child> |
313 | <widget class="button" id="button1"> | 319 | <widget class="GtkToolButton" id="button1"> |
314 | <property name="visible">True</property> | 320 | <property name="visible">True</property> |
315 | <property name="tooltip" translatable="yes">Goes up of one level (single view)</property> | 321 | <property name="tooltip" translatable="yes">Goes up of one level (single view)</property> |
316 | <property name="label" translatable="yes">Back</property> | 322 | <property name="label" translatable="yes">Back</property> |
317 | <property name="use_underline">True</property> | 323 | <property name="use_underline">True</property> |
318 | <property name="stock_pixmap">gtk-undo</property> | 324 | <property name="stock_id">gtk-undo</property> |
319 | <signal name="pressed" handler="on_back_pressed"/> | 325 | <property name="visible_horizontal">True</property> |
326 | <property name="visible_vertical">True</property> | ||
327 | <property name="is_important">False</property> | ||
328 | <signal name="clicked" handler="on_back_clicked"/> | ||
320 | </widget> | 329 | </widget> |
330 | <packing> | ||
331 | <property name="expand">False</property> | ||
332 | <property name="homogeneous">True</property> | ||
333 | </packing> | ||
321 | </child> | 334 | </child> |
322 | 335 | ||
323 | <child> | 336 | <child> |
324 | <widget class="GtkVSeparator" id="vseparator1"> | 337 | <widget class="GtkToolItem" id="toolitem1"> |
325 | <property name="visible">True</property> | 338 | <property name="visible">True</property> |
339 | <property name="visible_horizontal">True</property> | ||
340 | <property name="visible_vertical">True</property> | ||
341 | <property name="is_important">False</property> | ||
342 | |||
343 | <child> | ||
344 | <widget class="GtkVSeparator" id="vseparator1"> | ||
345 | <property name="visible">True</property> | ||
346 | </widget> | ||
347 | </child> | ||
326 | </widget> | 348 | </widget> |
349 | <packing> | ||
350 | <property name="expand">False</property> | ||
351 | <property name="homogeneous">False</property> | ||
352 | </packing> | ||
327 | </child> | 353 | </child> |
328 | 354 | ||
329 | <child> | 355 | <child> |
330 | <widget class="button" id="button2"> | 356 | <widget class="GtkToolButton" id="button2"> |
331 | <property name="visible">True</property> | 357 | <property name="visible">True</property> |
332 | <property name="tooltip" translatable="yes">Load a config file</property> | 358 | <property name="tooltip" translatable="yes">Load a config file</property> |
333 | <property name="label" translatable="yes">Load</property> | 359 | <property name="label" translatable="yes">Load</property> |
334 | <property name="use_underline">True</property> | 360 | <property name="use_underline">True</property> |
335 | <property name="stock_pixmap">gtk-open</property> | 361 | <property name="stock_id">gtk-open</property> |
336 | <signal name="pressed" handler="on_load_pressed"/> | 362 | <property name="visible_horizontal">True</property> |
363 | <property name="visible_vertical">True</property> | ||
364 | <property name="is_important">False</property> | ||
365 | <signal name="clicked" handler="on_load_clicked"/> | ||
337 | </widget> | 366 | </widget> |
367 | <packing> | ||
368 | <property name="expand">False</property> | ||
369 | <property name="homogeneous">True</property> | ||
370 | </packing> | ||
338 | </child> | 371 | </child> |
339 | 372 | ||
340 | <child> | 373 | <child> |
341 | <widget class="button" id="button3"> | 374 | <widget class="GtkToolButton" id="button3"> |
342 | <property name="visible">True</property> | 375 | <property name="visible">True</property> |
343 | <property name="tooltip" translatable="yes">Save a config file</property> | 376 | <property name="tooltip" translatable="yes">Save a config file</property> |
344 | <property name="label" translatable="yes">Save</property> | 377 | <property name="label" translatable="yes">Save</property> |
345 | <property name="use_underline">True</property> | 378 | <property name="use_underline">True</property> |
346 | <property name="stock_pixmap">gtk-save</property> | 379 | <property name="stock_id">gtk-save</property> |
347 | <signal name="pressed" handler="on_save_pressed"/> | 380 | <property name="visible_horizontal">True</property> |
381 | <property name="visible_vertical">True</property> | ||
382 | <property name="is_important">False</property> | ||
383 | <signal name="clicked" handler="on_save_clicked"/> | ||
348 | </widget> | 384 | </widget> |
385 | <packing> | ||
386 | <property name="expand">False</property> | ||
387 | <property name="homogeneous">True</property> | ||
388 | </packing> | ||
349 | </child> | 389 | </child> |
350 | 390 | ||
351 | <child> | 391 | <child> |
352 | <widget class="GtkVSeparator" id="vseparator2"> | 392 | <widget class="GtkToolItem" id="toolitem2"> |
353 | <property name="visible">True</property> | 393 | <property name="visible">True</property> |
394 | <property name="visible_horizontal">True</property> | ||
395 | <property name="visible_vertical">True</property> | ||
396 | <property name="is_important">False</property> | ||
397 | |||
398 | <child> | ||
399 | <widget class="GtkVSeparator" id="vseparator2"> | ||
400 | <property name="visible">True</property> | ||
401 | </widget> | ||
402 | </child> | ||
354 | </widget> | 403 | </widget> |
404 | <packing> | ||
405 | <property name="expand">False</property> | ||
406 | <property name="homogeneous">False</property> | ||
407 | </packing> | ||
355 | </child> | 408 | </child> |
356 | 409 | ||
357 | <child> | 410 | <child> |
358 | <widget class="button" id="button4"> | 411 | <widget class="GtkToolButton" id="button4"> |
359 | <property name="visible">True</property> | 412 | <property name="visible">True</property> |
360 | <property name="tooltip" translatable="yes">Single view</property> | 413 | <property name="tooltip" translatable="yes">Single view</property> |
361 | <property name="label" translatable="yes">Single</property> | 414 | <property name="label" translatable="yes">Single</property> |
362 | <property name="use_underline">True</property> | 415 | <property name="use_underline">True</property> |
363 | <property name="stock_pixmap">gtk-missing-image</property> | 416 | <property name="stock_id">gtk-missing-image</property> |
417 | <property name="visible_horizontal">True</property> | ||
418 | <property name="visible_vertical">True</property> | ||
419 | <property name="is_important">False</property> | ||
364 | <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/> | 420 | <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/> |
365 | </widget> | 421 | </widget> |
422 | <packing> | ||
423 | <property name="expand">False</property> | ||
424 | <property name="homogeneous">True</property> | ||
425 | </packing> | ||
366 | </child> | 426 | </child> |
367 | 427 | ||
368 | <child> | 428 | <child> |
369 | <widget class="button" id="button5"> | 429 | <widget class="GtkToolButton" id="button5"> |
370 | <property name="visible">True</property> | 430 | <property name="visible">True</property> |
371 | <property name="tooltip" translatable="yes">Split view</property> | 431 | <property name="tooltip" translatable="yes">Split view</property> |
372 | <property name="label" translatable="yes">Split</property> | 432 | <property name="label" translatable="yes">Split</property> |
373 | <property name="use_underline">True</property> | 433 | <property name="use_underline">True</property> |
374 | <property name="stock_pixmap">gtk-missing-image</property> | 434 | <property name="stock_id">gtk-missing-image</property> |
435 | <property name="visible_horizontal">True</property> | ||
436 | <property name="visible_vertical">True</property> | ||
437 | <property name="is_important">False</property> | ||
375 | <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/> | 438 | <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/> |
376 | </widget> | 439 | </widget> |
440 | <packing> | ||
441 | <property name="expand">False</property> | ||
442 | <property name="homogeneous">True</property> | ||
443 | </packing> | ||
377 | </child> | 444 | </child> |
378 | 445 | ||
379 | <child> | 446 | <child> |
380 | <widget class="button" id="button6"> | 447 | <widget class="GtkToolButton" id="button6"> |
381 | <property name="visible">True</property> | 448 | <property name="visible">True</property> |
382 | <property name="tooltip" translatable="yes">Full view</property> | 449 | <property name="tooltip" translatable="yes">Full view</property> |
383 | <property name="label" translatable="yes">Full</property> | 450 | <property name="label" translatable="yes">Full</property> |
384 | <property name="use_underline">True</property> | 451 | <property name="use_underline">True</property> |
385 | <property name="stock_pixmap">gtk-missing-image</property> | 452 | <property name="stock_id">gtk-missing-image</property> |
453 | <property name="visible_horizontal">True</property> | ||
454 | <property name="visible_vertical">True</property> | ||
455 | <property name="is_important">False</property> | ||
386 | <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/> | 456 | <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/> |
387 | </widget> | 457 | </widget> |
458 | <packing> | ||
459 | <property name="expand">False</property> | ||
460 | <property name="homogeneous">True</property> | ||
461 | </packing> | ||
388 | </child> | 462 | </child> |
389 | 463 | ||
390 | <child> | 464 | <child> |
391 | <widget class="GtkVSeparator" id="vseparator3"> | 465 | <widget class="GtkToolItem" id="toolitem3"> |
392 | <property name="visible">True</property> | 466 | <property name="visible">True</property> |
467 | <property name="visible_horizontal">True</property> | ||
468 | <property name="visible_vertical">True</property> | ||
469 | <property name="is_important">False</property> | ||
470 | |||
471 | <child> | ||
472 | <widget class="GtkVSeparator" id="vseparator3"> | ||
473 | <property name="visible">True</property> | ||
474 | </widget> | ||
475 | </child> | ||
393 | </widget> | 476 | </widget> |
477 | <packing> | ||
478 | <property name="expand">False</property> | ||
479 | <property name="homogeneous">False</property> | ||
480 | </packing> | ||
394 | </child> | 481 | </child> |
395 | 482 | ||
396 | <child> | 483 | <child> |
397 | <widget class="button" id="button7"> | 484 | <widget class="GtkToolButton" id="button7"> |
398 | <property name="visible">True</property> | 485 | <property name="visible">True</property> |
399 | <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property> | 486 | <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property> |
400 | <property name="label" translatable="yes">Collapse</property> | 487 | <property name="label" translatable="yes">Collapse</property> |
401 | <property name="use_underline">True</property> | 488 | <property name="use_underline">True</property> |
402 | <signal name="pressed" handler="on_collapse_pressed"/> | 489 | <property name="stock_id">gtk-remove</property> |
490 | <property name="visible_horizontal">True</property> | ||
491 | <property name="visible_vertical">True</property> | ||
492 | <property name="is_important">False</property> | ||
493 | <signal name="clicked" handler="on_collapse_clicked"/> | ||
403 | </widget> | 494 | </widget> |
495 | <packing> | ||
496 | <property name="expand">False</property> | ||
497 | <property name="homogeneous">True</property> | ||
498 | </packing> | ||
404 | </child> | 499 | </child> |
405 | 500 | ||
406 | <child> | 501 | <child> |
407 | <widget class="button" id="button8"> | 502 | <widget class="GtkToolButton" id="button8"> |
408 | <property name="visible">True</property> | 503 | <property name="visible">True</property> |
409 | <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property> | 504 | <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property> |
410 | <property name="label" translatable="yes">Expand</property> | 505 | <property name="label" translatable="yes">Expand</property> |
411 | <property name="use_underline">True</property> | 506 | <property name="use_underline">True</property> |
412 | <signal name="pressed" handler="on_expand_pressed"/> | 507 | <property name="stock_id">gtk-add</property> |
508 | <property name="visible_horizontal">True</property> | ||
509 | <property name="visible_vertical">True</property> | ||
510 | <property name="is_important">False</property> | ||
511 | <signal name="clicked" handler="on_expand_clicked"/> | ||
413 | </widget> | 512 | </widget> |
513 | <packing> | ||
514 | <property name="expand">False</property> | ||
515 | <property name="homogeneous">True</property> | ||
516 | </packing> | ||
414 | </child> | 517 | </child> |
415 | </widget> | 518 | </widget> |
416 | </child> | 519 | </child> |
@@ -505,6 +608,8 @@ | |||
505 | <property name="visible">True</property> | 608 | <property name="visible">True</property> |
506 | <property name="can_focus">True</property> | 609 | <property name="can_focus">True</property> |
507 | <property name="editable">False</property> | 610 | <property name="editable">False</property> |
611 | <property name="overwrite">False</property> | ||
612 | <property name="accepts_tab">True</property> | ||
508 | <property name="justification">GTK_JUSTIFY_LEFT</property> | 613 | <property name="justification">GTK_JUSTIFY_LEFT</property> |
509 | <property name="wrap_mode">GTK_WRAP_WORD</property> | 614 | <property name="wrap_mode">GTK_WRAP_WORD</property> |
510 | <property name="cursor_visible">True</property> | 615 | <property name="cursor_visible">True</property> |