|
|
1.1 ! root 1: <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*--> ! 2: ! 3: <glade-interface> ! 4: ! 5: <widget class="GtkWindow" id="window1"> ! 6: <property name="visible">True</property> ! 7: <property name="title" translatable="yes">Gtk Kernel Configurator</property> ! 8: <property name="type">GTK_WINDOW_TOPLEVEL</property> ! 9: <property name="window_position">GTK_WIN_POS_NONE</property> ! 10: <property name="modal">False</property> ! 11: <property name="default_width">640</property> ! 12: <property name="default_height">480</property> ! 13: <property name="resizable">True</property> ! 14: <property name="destroy_with_parent">False</property> ! 15: <property name="decorated">True</property> ! 16: <property name="skip_taskbar_hint">False</property> ! 17: <property name="skip_pager_hint">False</property> ! 18: <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> ! 19: <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> ! 20: <signal name="destroy" handler="on_window1_destroy" object="window1"/> ! 21: <signal name="size_request" handler="on_window1_size_request" object="vpaned1" last_modification_time="Fri, 11 Jan 2002 16:17:11 GMT"/> ! 22: <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/> ! 23: ! 24: <child> ! 25: <widget class="GtkVBox" id="vbox1"> ! 26: <property name="visible">True</property> ! 27: <property name="homogeneous">False</property> ! 28: <property name="spacing">0</property> ! 29: ! 30: <child> ! 31: <widget class="GtkMenuBar" id="menubar1"> ! 32: <property name="visible">True</property> ! 33: ! 34: <child> ! 35: <widget class="GtkMenuItem" id="file1"> ! 36: <property name="visible">True</property> ! 37: <property name="label" translatable="yes">_File</property> ! 38: <property name="use_underline">True</property> ! 39: ! 40: <child> ! 41: <widget class="GtkMenu" id="file1_menu"> ! 42: ! 43: <child> ! 44: <widget class="GtkImageMenuItem" id="load1"> ! 45: <property name="visible">True</property> ! 46: <property name="tooltip" translatable="yes">Load a config file</property> ! 47: <property name="label" translatable="yes">_Load</property> ! 48: <property name="use_underline">True</property> ! 49: <signal name="activate" handler="on_load1_activate"/> ! 50: <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/> ! 51: ! 52: <child internal-child="image"> ! 53: <widget class="GtkImage" id="image39"> ! 54: <property name="visible">True</property> ! 55: <property name="stock">gtk-open</property> ! 56: <property name="icon_size">1</property> ! 57: <property name="xalign">0.5</property> ! 58: <property name="yalign">0.5</property> ! 59: <property name="xpad">0</property> ! 60: <property name="ypad">0</property> ! 61: </widget> ! 62: </child> ! 63: </widget> ! 64: </child> ! 65: ! 66: <child> ! 67: <widget class="GtkImageMenuItem" id="save1"> ! 68: <property name="visible">True</property> ! 69: <property name="tooltip" translatable="yes">Save the config in .config</property> ! 70: <property name="label" translatable="yes">_Save</property> ! 71: <property name="use_underline">True</property> ! 72: <signal name="activate" handler="on_save_activate"/> ! 73: <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/> ! 74: ! 75: <child internal-child="image"> ! 76: <widget class="GtkImage" id="image40"> ! 77: <property name="visible">True</property> ! 78: <property name="stock">gtk-save</property> ! 79: <property name="icon_size">1</property> ! 80: <property name="xalign">0.5</property> ! 81: <property name="yalign">0.5</property> ! 82: <property name="xpad">0</property> ! 83: <property name="ypad">0</property> ! 84: </widget> ! 85: </child> ! 86: </widget> ! 87: </child> ! 88: ! 89: <child> ! 90: <widget class="GtkImageMenuItem" id="save_as1"> ! 91: <property name="visible">True</property> ! 92: <property name="tooltip" translatable="yes">Save the config in a file</property> ! 93: <property name="label" translatable="yes">Save _as</property> ! 94: <property name="use_underline">True</property> ! 95: <signal name="activate" handler="on_save_as1_activate"/> ! 96: ! 97: <child internal-child="image"> ! 98: <widget class="GtkImage" id="image41"> ! 99: <property name="visible">True</property> ! 100: <property name="stock">gtk-save-as</property> ! 101: <property name="icon_size">1</property> ! 102: <property name="xalign">0.5</property> ! 103: <property name="yalign">0.5</property> ! 104: <property name="xpad">0</property> ! 105: <property name="ypad">0</property> ! 106: </widget> ! 107: </child> ! 108: </widget> ! 109: </child> ! 110: ! 111: <child> ! 112: <widget class="GtkSeparatorMenuItem" id="separator1"> ! 113: <property name="visible">True</property> ! 114: </widget> ! 115: </child> ! 116: ! 117: <child> ! 118: <widget class="GtkImageMenuItem" id="quit1"> ! 119: <property name="visible">True</property> ! 120: <property name="label" translatable="yes">_Quit</property> ! 121: <property name="use_underline">True</property> ! 122: <signal name="activate" handler="on_quit1_activate"/> ! 123: <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/> ! 124: ! 125: <child internal-child="image"> ! 126: <widget class="GtkImage" id="image42"> ! 127: <property name="visible">True</property> ! 128: <property name="stock">gtk-quit</property> ! 129: <property name="icon_size">1</property> ! 130: <property name="xalign">0.5</property> ! 131: <property name="yalign">0.5</property> ! 132: <property name="xpad">0</property> ! 133: <property name="ypad">0</property> ! 134: </widget> ! 135: </child> ! 136: </widget> ! 137: </child> ! 138: </widget> ! 139: </child> ! 140: </widget> ! 141: </child> ! 142: ! 143: <child> ! 144: <widget class="GtkMenuItem" id="options1"> ! 145: <property name="visible">True</property> ! 146: <property name="label" translatable="yes">_Options</property> ! 147: <property name="use_underline">True</property> ! 148: ! 149: <child> ! 150: <widget class="GtkMenu" id="options1_menu"> ! 151: ! 152: <child> ! 153: <widget class="GtkCheckMenuItem" id="show_name1"> ! 154: <property name="visible">True</property> ! 155: <property name="tooltip" translatable="yes">Show name</property> ! 156: <property name="label" translatable="yes">Show _name</property> ! 157: <property name="use_underline">True</property> ! 158: <property name="active">False</property> ! 159: <signal name="activate" handler="on_show_name1_activate"/> ! 160: </widget> ! 161: </child> ! 162: ! 163: <child> ! 164: <widget class="GtkCheckMenuItem" id="show_range1"> ! 165: <property name="visible">True</property> ! 166: <property name="tooltip" translatable="yes">Show range (Y/M/N)</property> ! 167: <property name="label" translatable="yes">Show _range</property> ! 168: <property name="use_underline">True</property> ! 169: <property name="active">False</property> ! 170: <signal name="activate" handler="on_show_range1_activate"/> ! 171: </widget> ! 172: </child> ! 173: ! 174: <child> ! 175: <widget class="GtkCheckMenuItem" id="show_data1"> ! 176: <property name="visible">True</property> ! 177: <property name="tooltip" translatable="yes">Show value of the option</property> ! 178: <property name="label" translatable="yes">Show _data</property> ! 179: <property name="use_underline">True</property> ! 180: <property name="active">False</property> ! 181: <signal name="activate" handler="on_show_data1_activate"/> ! 182: </widget> ! 183: </child> ! 184: ! 185: <child> ! 186: <widget class="GtkSeparatorMenuItem" id="separator2"> ! 187: <property name="visible">True</property> ! 188: </widget> ! 189: </child> ! 190: ! 191: <child> ! 192: <widget class="GtkRadioMenuItem" id="set_option_mode1"> ! 193: <property name="visible">True</property> ! 194: <property name="tooltip" translatable="yes">Show normal options</property> ! 195: <property name="label" translatable="yes">Show normal options</property> ! 196: <property name="use_underline">True</property> ! 197: <property name="active">True</property> ! 198: <signal name="activate" handler="on_set_option_mode1_activate"/> ! 199: </widget> ! 200: </child> ! 201: ! 202: <child> ! 203: <widget class="GtkRadioMenuItem" id="set_option_mode2"> ! 204: <property name="visible">True</property> ! 205: <property name="tooltip" translatable="yes">Show all options</property> ! 206: <property name="label" translatable="yes">Show all _options</property> ! 207: <property name="use_underline">True</property> ! 208: <property name="active">False</property> ! 209: <property name="group">set_option_mode1</property> ! 210: <signal name="activate" handler="on_set_option_mode2_activate"/> ! 211: </widget> ! 212: </child> ! 213: ! 214: <child> ! 215: <widget class="GtkRadioMenuItem" id="set_option_mode3"> ! 216: <property name="visible">True</property> ! 217: <property name="tooltip" translatable="yes">Show all options with prompts</property> ! 218: <property name="label" translatable="yes">Show all prompt options</property> ! 219: <property name="use_underline">True</property> ! 220: <property name="active">False</property> ! 221: <property name="group">set_option_mode1</property> ! 222: <signal name="activate" handler="on_set_option_mode3_activate"/> ! 223: </widget> ! 224: </child> ! 225: ! 226: </widget> ! 227: </child> ! 228: </widget> ! 229: </child> ! 230: ! 231: <child> ! 232: <widget class="GtkMenuItem" id="help1"> ! 233: <property name="visible">True</property> ! 234: <property name="label" translatable="yes">_Help</property> ! 235: <property name="use_underline">True</property> ! 236: ! 237: <child> ! 238: <widget class="GtkMenu" id="help1_menu"> ! 239: ! 240: <child> ! 241: <widget class="GtkImageMenuItem" id="introduction1"> ! 242: <property name="visible">True</property> ! 243: <property name="label" translatable="yes">_Introduction</property> ! 244: <property name="use_underline">True</property> ! 245: <signal name="activate" handler="on_introduction1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/> ! 246: <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/> ! 247: ! 248: <child internal-child="image"> ! 249: <widget class="GtkImage" id="image43"> ! 250: <property name="visible">True</property> ! 251: <property name="stock">gtk-dialog-question</property> ! 252: <property name="icon_size">1</property> ! 253: <property name="xalign">0.5</property> ! 254: <property name="yalign">0.5</property> ! 255: <property name="xpad">0</property> ! 256: <property name="ypad">0</property> ! 257: </widget> ! 258: </child> ! 259: </widget> ! 260: </child> ! 261: ! 262: <child> ! 263: <widget class="GtkImageMenuItem" id="about1"> ! 264: <property name="visible">True</property> ! 265: <property name="label" translatable="yes">_About</property> ! 266: <property name="use_underline">True</property> ! 267: <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/> ! 268: <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/> ! 269: ! 270: <child internal-child="image"> ! 271: <widget class="GtkImage" id="image44"> ! 272: <property name="visible">True</property> ! 273: <property name="stock">gtk-properties</property> ! 274: <property name="icon_size">1</property> ! 275: <property name="xalign">0.5</property> ! 276: <property name="yalign">0.5</property> ! 277: <property name="xpad">0</property> ! 278: <property name="ypad">0</property> ! 279: </widget> ! 280: </child> ! 281: </widget> ! 282: </child> ! 283: ! 284: <child> ! 285: <widget class="GtkImageMenuItem" id="license1"> ! 286: <property name="visible">True</property> ! 287: <property name="label" translatable="yes">_License</property> ! 288: <property name="use_underline">True</property> ! 289: <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/> ! 290: ! 291: <child internal-child="image"> ! 292: <widget class="GtkImage" id="image45"> ! 293: <property name="visible">True</property> ! 294: <property name="stock">gtk-justify-fill</property> ! 295: <property name="icon_size">1</property> ! 296: <property name="xalign">0.5</property> ! 297: <property name="yalign">0.5</property> ! 298: <property name="xpad">0</property> ! 299: <property name="ypad">0</property> ! 300: </widget> ! 301: </child> ! 302: </widget> ! 303: </child> ! 304: </widget> ! 305: </child> ! 306: </widget> ! 307: </child> ! 308: </widget> ! 309: <packing> ! 310: <property name="padding">0</property> ! 311: <property name="expand">False</property> ! 312: <property name="fill">False</property> ! 313: </packing> ! 314: </child> ! 315: ! 316: <child> ! 317: <widget class="GtkHandleBox" id="handlebox1"> ! 318: <property name="visible">True</property> ! 319: <property name="shadow_type">GTK_SHADOW_OUT</property> ! 320: <property name="handle_position">GTK_POS_LEFT</property> ! 321: <property name="snap_edge">GTK_POS_TOP</property> ! 322: ! 323: <child> ! 324: <widget class="GtkToolbar" id="toolbar1"> ! 325: <property name="visible">True</property> ! 326: <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property> ! 327: <property name="toolbar_style">GTK_TOOLBAR_BOTH</property> ! 328: <property name="tooltips">True</property> ! 329: <property name="show_arrow">True</property> ! 330: ! 331: <child> ! 332: <widget class="GtkToolButton" id="button1"> ! 333: <property name="visible">True</property> ! 334: <property name="tooltip" translatable="yes">Goes up of one level (single view)</property> ! 335: <property name="label" translatable="yes">Back</property> ! 336: <property name="use_underline">True</property> ! 337: <property name="stock_id">gtk-undo</property> ! 338: <property name="visible_horizontal">True</property> ! 339: <property name="visible_vertical">True</property> ! 340: <property name="is_important">False</property> ! 341: <signal name="clicked" handler="on_back_clicked"/> ! 342: </widget> ! 343: <packing> ! 344: <property name="expand">False</property> ! 345: <property name="homogeneous">True</property> ! 346: </packing> ! 347: </child> ! 348: ! 349: <child> ! 350: <widget class="GtkToolItem" id="toolitem1"> ! 351: <property name="visible">True</property> ! 352: <property name="visible_horizontal">True</property> ! 353: <property name="visible_vertical">True</property> ! 354: <property name="is_important">False</property> ! 355: ! 356: <child> ! 357: <widget class="GtkVSeparator" id="vseparator1"> ! 358: <property name="visible">True</property> ! 359: </widget> ! 360: </child> ! 361: </widget> ! 362: <packing> ! 363: <property name="expand">False</property> ! 364: <property name="homogeneous">False</property> ! 365: </packing> ! 366: </child> ! 367: ! 368: <child> ! 369: <widget class="GtkToolButton" id="button2"> ! 370: <property name="visible">True</property> ! 371: <property name="tooltip" translatable="yes">Load a config file</property> ! 372: <property name="label" translatable="yes">Load</property> ! 373: <property name="use_underline">True</property> ! 374: <property name="stock_id">gtk-open</property> ! 375: <property name="visible_horizontal">True</property> ! 376: <property name="visible_vertical">True</property> ! 377: <property name="is_important">False</property> ! 378: <signal name="clicked" handler="on_load_clicked"/> ! 379: </widget> ! 380: <packing> ! 381: <property name="expand">False</property> ! 382: <property name="homogeneous">True</property> ! 383: </packing> ! 384: </child> ! 385: ! 386: <child> ! 387: <widget class="GtkToolButton" id="button3"> ! 388: <property name="visible">True</property> ! 389: <property name="tooltip" translatable="yes">Save a config file</property> ! 390: <property name="label" translatable="yes">Save</property> ! 391: <property name="use_underline">True</property> ! 392: <property name="stock_id">gtk-save</property> ! 393: <property name="visible_horizontal">True</property> ! 394: <property name="visible_vertical">True</property> ! 395: <property name="is_important">False</property> ! 396: <signal name="clicked" handler="on_save_activate"/> ! 397: </widget> ! 398: <packing> ! 399: <property name="expand">False</property> ! 400: <property name="homogeneous">True</property> ! 401: </packing> ! 402: </child> ! 403: ! 404: <child> ! 405: <widget class="GtkToolItem" id="toolitem2"> ! 406: <property name="visible">True</property> ! 407: <property name="visible_horizontal">True</property> ! 408: <property name="visible_vertical">True</property> ! 409: <property name="is_important">False</property> ! 410: ! 411: <child> ! 412: <widget class="GtkVSeparator" id="vseparator2"> ! 413: <property name="visible">True</property> ! 414: </widget> ! 415: </child> ! 416: </widget> ! 417: <packing> ! 418: <property name="expand">False</property> ! 419: <property name="homogeneous">False</property> ! 420: </packing> ! 421: </child> ! 422: ! 423: <child> ! 424: <widget class="GtkToolButton" id="button4"> ! 425: <property name="visible">True</property> ! 426: <property name="tooltip" translatable="yes">Single view</property> ! 427: <property name="label" translatable="yes">Single</property> ! 428: <property name="use_underline">True</property> ! 429: <property name="stock_id">gtk-missing-image</property> ! 430: <property name="visible_horizontal">True</property> ! 431: <property name="visible_vertical">True</property> ! 432: <property name="is_important">False</property> ! 433: <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/> ! 434: </widget> ! 435: <packing> ! 436: <property name="expand">False</property> ! 437: <property name="homogeneous">True</property> ! 438: </packing> ! 439: </child> ! 440: ! 441: <child> ! 442: <widget class="GtkToolButton" id="button5"> ! 443: <property name="visible">True</property> ! 444: <property name="tooltip" translatable="yes">Split view</property> ! 445: <property name="label" translatable="yes">Split</property> ! 446: <property name="use_underline">True</property> ! 447: <property name="stock_id">gtk-missing-image</property> ! 448: <property name="visible_horizontal">True</property> ! 449: <property name="visible_vertical">True</property> ! 450: <property name="is_important">False</property> ! 451: <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/> ! 452: </widget> ! 453: <packing> ! 454: <property name="expand">False</property> ! 455: <property name="homogeneous">True</property> ! 456: </packing> ! 457: </child> ! 458: ! 459: <child> ! 460: <widget class="GtkToolButton" id="button6"> ! 461: <property name="visible">True</property> ! 462: <property name="tooltip" translatable="yes">Full view</property> ! 463: <property name="label" translatable="yes">Full</property> ! 464: <property name="use_underline">True</property> ! 465: <property name="stock_id">gtk-missing-image</property> ! 466: <property name="visible_horizontal">True</property> ! 467: <property name="visible_vertical">True</property> ! 468: <property name="is_important">False</property> ! 469: <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/> ! 470: </widget> ! 471: <packing> ! 472: <property name="expand">False</property> ! 473: <property name="homogeneous">True</property> ! 474: </packing> ! 475: </child> ! 476: ! 477: <child> ! 478: <widget class="GtkToolItem" id="toolitem3"> ! 479: <property name="visible">True</property> ! 480: <property name="visible_horizontal">True</property> ! 481: <property name="visible_vertical">True</property> ! 482: <property name="is_important">False</property> ! 483: ! 484: <child> ! 485: <widget class="GtkVSeparator" id="vseparator3"> ! 486: <property name="visible">True</property> ! 487: </widget> ! 488: </child> ! 489: </widget> ! 490: <packing> ! 491: <property name="expand">False</property> ! 492: <property name="homogeneous">False</property> ! 493: </packing> ! 494: </child> ! 495: ! 496: <child> ! 497: <widget class="GtkToolButton" id="button7"> ! 498: <property name="visible">True</property> ! 499: <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property> ! 500: <property name="label" translatable="yes">Collapse</property> ! 501: <property name="use_underline">True</property> ! 502: <property name="stock_id">gtk-remove</property> ! 503: <property name="visible_horizontal">True</property> ! 504: <property name="visible_vertical">True</property> ! 505: <property name="is_important">False</property> ! 506: <signal name="clicked" handler="on_collapse_clicked"/> ! 507: </widget> ! 508: <packing> ! 509: <property name="expand">False</property> ! 510: <property name="homogeneous">True</property> ! 511: </packing> ! 512: </child> ! 513: ! 514: <child> ! 515: <widget class="GtkToolButton" id="button8"> ! 516: <property name="visible">True</property> ! 517: <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property> ! 518: <property name="label" translatable="yes">Expand</property> ! 519: <property name="use_underline">True</property> ! 520: <property name="stock_id">gtk-add</property> ! 521: <property name="visible_horizontal">True</property> ! 522: <property name="visible_vertical">True</property> ! 523: <property name="is_important">False</property> ! 524: <signal name="clicked" handler="on_expand_clicked"/> ! 525: </widget> ! 526: <packing> ! 527: <property name="expand">False</property> ! 528: <property name="homogeneous">True</property> ! 529: </packing> ! 530: </child> ! 531: </widget> ! 532: </child> ! 533: </widget> ! 534: <packing> ! 535: <property name="padding">0</property> ! 536: <property name="expand">False</property> ! 537: <property name="fill">False</property> ! 538: </packing> ! 539: </child> ! 540: ! 541: <child> ! 542: <widget class="GtkHPaned" id="hpaned1"> ! 543: <property name="width_request">1</property> ! 544: <property name="visible">True</property> ! 545: <property name="can_focus">True</property> ! 546: <property name="position">0</property> ! 547: ! 548: <child> ! 549: <widget class="GtkScrolledWindow" id="scrolledwindow1"> ! 550: <property name="visible">True</property> ! 551: <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> ! 552: <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> ! 553: <property name="shadow_type">GTK_SHADOW_IN</property> ! 554: <property name="window_placement">GTK_CORNER_TOP_LEFT</property> ! 555: ! 556: <child> ! 557: <widget class="GtkTreeView" id="treeview1"> ! 558: <property name="visible">True</property> ! 559: <property name="can_focus">True</property> ! 560: <property name="headers_visible">True</property> ! 561: <property name="rules_hint">False</property> ! 562: <property name="reorderable">False</property> ! 563: <property name="enable_search">False</property> ! 564: <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:58:22 GMT"/> ! 565: <signal name="button_press_event" handler="on_treeview1_button_press_event" last_modification_time="Sun, 12 Jan 2003 16:03:52 GMT"/> ! 566: <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 16:11:44 GMT"/> ! 567: </widget> ! 568: </child> ! 569: </widget> ! 570: <packing> ! 571: <property name="shrink">True</property> ! 572: <property name="resize">False</property> ! 573: </packing> ! 574: </child> ! 575: ! 576: <child> ! 577: <widget class="GtkVPaned" id="vpaned1"> ! 578: <property name="visible">True</property> ! 579: <property name="can_focus">True</property> ! 580: <property name="position">0</property> ! 581: ! 582: <child> ! 583: <widget class="GtkScrolledWindow" id="scrolledwindow2"> ! 584: <property name="visible">True</property> ! 585: <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> ! 586: <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> ! 587: <property name="shadow_type">GTK_SHADOW_IN</property> ! 588: <property name="window_placement">GTK_CORNER_TOP_LEFT</property> ! 589: ! 590: <child> ! 591: <widget class="GtkTreeView" id="treeview2"> ! 592: <property name="visible">True</property> ! 593: <property name="can_focus">True</property> ! 594: <property name="has_focus">True</property> ! 595: <property name="headers_visible">True</property> ! 596: <property name="rules_hint">False</property> ! 597: <property name="reorderable">False</property> ! 598: <property name="enable_search">False</property> ! 599: <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:57:55 GMT"/> ! 600: <signal name="button_press_event" handler="on_treeview2_button_press_event" last_modification_time="Sun, 12 Jan 2003 15:57:58 GMT"/> ! 601: <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 15:58:01 GMT"/> ! 602: </widget> ! 603: </child> ! 604: </widget> ! 605: <packing> ! 606: <property name="shrink">True</property> ! 607: <property name="resize">False</property> ! 608: </packing> ! 609: </child> ! 610: ! 611: <child> ! 612: <widget class="GtkScrolledWindow" id="scrolledwindow3"> ! 613: <property name="visible">True</property> ! 614: <property name="hscrollbar_policy">GTK_POLICY_NEVER</property> ! 615: <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> ! 616: <property name="shadow_type">GTK_SHADOW_IN</property> ! 617: <property name="window_placement">GTK_CORNER_TOP_LEFT</property> ! 618: ! 619: <child> ! 620: <widget class="GtkTextView" id="textview3"> ! 621: <property name="visible">True</property> ! 622: <property name="can_focus">True</property> ! 623: <property name="editable">False</property> ! 624: <property name="overwrite">False</property> ! 625: <property name="accepts_tab">True</property> ! 626: <property name="justification">GTK_JUSTIFY_LEFT</property> ! 627: <property name="wrap_mode">GTK_WRAP_WORD</property> ! 628: <property name="cursor_visible">True</property> ! 629: <property name="pixels_above_lines">0</property> ! 630: <property name="pixels_below_lines">0</property> ! 631: <property name="pixels_inside_wrap">0</property> ! 632: <property name="left_margin">0</property> ! 633: <property name="right_margin">0</property> ! 634: <property name="indent">0</property> ! 635: <property name="text" translatable="yes">Sorry, no help available for this option yet.</property> ! 636: </widget> ! 637: </child> ! 638: </widget> ! 639: <packing> ! 640: <property name="shrink">True</property> ! 641: <property name="resize">True</property> ! 642: </packing> ! 643: </child> ! 644: </widget> ! 645: <packing> ! 646: <property name="shrink">True</property> ! 647: <property name="resize">True</property> ! 648: </packing> ! 649: </child> ! 650: </widget> ! 651: <packing> ! 652: <property name="padding">0</property> ! 653: <property name="expand">True</property> ! 654: <property name="fill">True</property> ! 655: </packing> ! 656: </child> ! 657: </widget> ! 658: </child> ! 659: </widget> ! 660: ! 661: </glade-interface>
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.