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