config-prog/conf.dir/gconf.glade

   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>