uboot/scripts/kconfig/gconf.glade
<<
>>
Prefs
   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>
 662