scripts/kconfig/gconf.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkWindow" id="window1">
   7   <property name="visible">True</property>
   8   <property name="title" translatable="yes">Gtk Kernel Configurator</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="default_width">640</property>
  13   <property name="default_height">480</property>
  14   <property name="resizable">True</property>
  15   <property name="destroy_with_parent">False</property>
  16   <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_save1_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_clicked"/>
 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">True</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">True</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>