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