Src/Gtk2/dasher.compose.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="window">
   7   <property name="can_focus">True</property>
   8   <property name="has_focus">True</property>
   9   <property name="events">GDK_BUTTON_RELEASE_MASK</property>
  10   <property name="title" translatable="yes">Dasher</property>
  11   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  12   <property name="window_position">GTK_WIN_POS_NONE</property>
  13   <property name="modal">False</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   <property name="focus_on_map">True</property>
  22   <property name="urgency_hint">False</property>
  23   <signal name="delete_event" handler="ask_save_before_exit" last_modification_time="Mon, 22 Sep 2003 19:53:44 GMT"/>
  24   <signal name="map" handler="on_window_map" last_modification_time="Sun, 05 Mar 2006 20:22:17 GMT"/>
  25
  26   <child>
  27     <widget class="GtkVBox" id="vbox1">
  28       <property name="visible">True</property>
  29       <property name="homogeneous">False</property>
  30       <property name="spacing">0</property>
  31
  32       <child>
  33         <widget class="GtkMenuBar" id="dasher_menu_bar">
  34           <property name="visible">True</property>
  35           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
  36           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
  37
  38           <child>
  39             <widget class="GtkMenuItem" id="menuitem4">
  40               <property name="visible">True</property>
  41               <property name="label" translatable="yes">_File</property>
  42               <property name="use_underline">True</property>
  43
  44               <child>
  45                 <widget class="GtkMenu" id="menuitem4_menu">
  46
  47                   <child>
  48                     <widget class="GtkImageMenuItem" id="menunew">
  49                       <property name="visible">True</property>
  50                       <property name="label">gtk-new</property>
  51                       <property name="use_stock">True</property>
  52                       <signal name="activate" handler="select_new_file" last_modification_time="Tue, 23 Sep 2003 11:16:26 GMT"/>
  53                     </widget>
  54                   </child>
  55
  56                   <child>
  57                     <widget class="GtkImageMenuItem" id="menuopen">
  58                       <property name="visible">True</property>
  59                       <property name="label">gtk-open</property>
  60                       <property name="use_stock">True</property>
  61                       <signal name="activate" handler="select_open_file" last_modification_time="Tue, 23 Sep 2003 11:16:40 GMT"/>
  62                     </widget>
  63                   </child>
  64
  65                   <child>
  66                     <widget class="GtkImageMenuItem" id="menusave">
  67                       <property name="visible">True</property>
  68                       <property name="label">gtk-save</property>
  69                       <property name="use_stock">True</property>
  70                       <signal name="activate" handler="save_file" last_modification_time="Tue, 23 Sep 2003 11:16:59 GMT"/>
  71                     </widget>
  72                   </child>
  73
  74                   <child>
  75                     <widget class="GtkImageMenuItem" id="menusaveas">
  76                       <property name="visible">True</property>
  77                       <property name="label">gtk-save-as</property>
  78                       <property name="use_stock">True</property>
  79                       <signal name="activate" handler="select_save_file_as" last_modification_time="Tue, 23 Sep 2003 11:17:19 GMT"/>
  80                     </widget>
  81                   </child>
  82
  83                   <child>
  84                     <widget class="GtkMenuItem" id="menuappend">
  85                       <property name="visible">True</property>
  86                       <property name="label" translatable="yes">_Append to file</property>
  87                       <property name="use_underline">True</property>
  88                       <signal name="activate" handler="select_append_file" last_modification_time="Tue, 23 Sep 2003 11:19:29 GMT"/>
  89                     </widget>
  90                   </child>
  91
  92                   <child>
  93                     <widget class="GtkSeparatorMenuItem" id="separator1">
  94                       <property name="visible">True</property>
  95                     </widget>
  96                   </child>
  97
  98                   <child>
  99                     <widget class="GtkMenuItem" id="menuimport">
 100                       <property name="visible">True</property>
 101                       <property name="label" translatable="yes">_Import Training Text</property>
 102                       <property name="use_underline">True</property>
 103                       <signal name="activate" handler="select_import_file" last_modification_time="Tue, 23 Sep 2003 11:19:29 GMT"/>
 104                     </widget>
 105                   </child>
 106
 107                   <child>
 108                     <widget class="GtkImageMenuItem" id="menuquit">
 109                       <property name="visible">True</property>
 110                       <property name="label">gtk-quit</property>
 111                       <property name="use_stock">True</property>
 112                       <signal name="activate" handler="ask_save_before_exit" last_modification_time="Tue, 23 Sep 2003 11:17:37 GMT"/>
 113                     </widget>
 114                   </child>
 115                 </widget>
 116               </child>
 117             </widget>
 118           </child>
 119
 120           <child>
 121             <widget class="GtkMenuItem" id="menuitem5">
 122               <property name="visible">True</property>
 123               <property name="label" translatable="yes">_Edit</property>
 124               <property name="use_underline">True</property>
 125
 126               <child>
 127                 <widget class="GtkMenu" id="menuitem5_menu">
 128
 129                   <child>
 130                     <widget class="GtkImageMenuItem" id="menucut">
 131                       <property name="visible">True</property>
 132                       <property name="label">gtk-cut</property>
 133                       <property name="use_stock">True</property>
 134                       <signal name="activate" handler="clipboard_cut" last_modification_time="Tue, 23 Sep 2003 11:19:57 GMT"/>
 135                     </widget>
 136                   </child>
 137
 138                   <child>
 139                     <widget class="GtkImageMenuItem" id="menucopy">
 140                       <property name="visible">True</property>
 141                       <property name="label">gtk-copy</property>
 142                       <property name="use_stock">True</property>
 143                       <signal name="activate" handler="clipboard_copy" last_modification_time="Tue, 23 Sep 2003 11:20:12 GMT"/>
 144                     </widget>
 145                   </child>
 146
 147                   <child>
 148                     <widget class="GtkMenuItem" id="menucopyall">
 149                       <property name="visible">True</property>
 150                       <property name="label" translatable="yes">Copy _All</property>
 151                       <property name="use_underline">True</property>
 152                       <signal name="activate" handler="clipboard_copy_all" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 153                     </widget>
 154                   </child>
 155
 156                   <child>
 157                     <widget class="GtkImageMenuItem" id="menupaste">
 158                       <property name="visible">True</property>
 159                       <property name="label">gtk-paste</property>
 160                       <property name="use_stock">True</property>
 161                       <signal name="activate" handler="clipboard_paste" last_modification_time="Tue, 23 Sep 2003 11:20:26 GMT"/>
 162                     </widget>
 163                   </child>
 164
 165                   <child>
 166                     <widget class="GtkSeparatorMenuItem" id="separator2">
 167                       <property name="visible">True</property>
 168                     </widget>
 169                   </child>
 170
 171                   <child>
 172                     <widget class="GtkImageMenuItem" id="menupreferences">
 173                       <property name="visible">True</property>
 174                       <property name="label" translatable="yes">Pr_eferences</property>
 175                       <property name="use_underline">True</property>
 176                       <signal name="activate" handler="preferences_display" last_modification_time="Wed, 28 Jun 2006 14:18:15 GMT"/>
 177                       <accelerator key="S" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
 178
 179                       <child internal-child="image">
 180                         <widget class="GtkImage" id="image16">
 181                           <property name="visible">True</property>
 182                           <property name="stock">gtk-preferences</property>
 183                           <property name="icon_size">1</property>
 184                           <property name="xalign">0.5</property>
 185                           <property name="yalign">0.5</property>
 186                           <property name="xpad">0</property>
 187                           <property name="ypad">0</property>
 188                         </widget>
 189                       </child>
 190                     </widget>
 191                   </child>
 192                 </widget>
 193               </child>
 194             </widget>
 195           </child>
 196
 197           <child>
 198             <widget class="GtkMenuItem" id="menuitem7">
 199               <property name="visible">True</property>
 200               <property name="label" translatable="yes">_Help</property>
 201               <property name="use_underline">True</property>
 202
 203               <child>
 204                 <widget class="GtkMenu" id="menuitem7_menu">
 205
 206                   <child>
 207                     <widget class="GtkMenuItem" id="menututorial">
 208                       <property name="visible">True</property>
 209                       <property name="label" translatable="yes">Dasher _Tutorial</property>
 210                       <property name="use_underline">True</property>
 211                       <signal name="activate" handler="on_menututorial_activate" last_modification_time="Fri, 30 Jun 2006 18:06:21 GMT"/>
 212                     </widget>
 213                   </child>
 214
 215                   <child>
 216                     <widget class="GtkSeparatorMenuItem" id="separator3">
 217                       <property name="visible">True</property>
 218                     </widget>
 219                   </child>
 220
 221                   <child>
 222                     <widget class="GtkImageMenuItem" id="help_contents">
 223                       <property name="visible">True</property>
 224                       <property name="label" translatable="yes">_Contents</property>
 225                       <property name="use_underline">True</property>
 226                       <signal name="activate" handler="show_help" last_modification_time="Thu, 20 Apr 2006 18:51:53 GMT"/>
 227                       <accelerator key="F1" modifiers="0" signal="activate"/>
 228
 229                       <child internal-child="image">
 230                         <widget class="GtkImage" id="image17">
 231                           <property name="visible">True</property>
 232                           <property name="stock">gtk-help</property>
 233                           <property name="icon_size">1</property>
 234                           <property name="xalign">0.5</property>
 235                           <property name="yalign">0.5</property>
 236                           <property name="xpad">0</property>
 237                           <property name="ypad">0</property>
 238                         </widget>
 239                       </child>
 240                     </widget>
 241                   </child>
 242
 243                   <child>
 244                     <widget class="GtkImageMenuItem" id="menuabout">
 245                       <property name="visible">True</property>
 246                       <property name="label" translatable="yes">_About</property>
 247                       <property name="use_underline">True</property>
 248                       <signal name="activate" handler="about_dasher" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 249
 250                       <child internal-child="image">
 251                         <widget class="GtkImage" id="image18">
 252                           <property name="visible">True</property>
 253                           <property name="stock">gtk-about</property>
 254                           <property name="icon_size">1</property>
 255                           <property name="xalign">0.5</property>
 256                           <property name="yalign">0.5</property>
 257                           <property name="xpad">0</property>
 258                           <property name="ypad">0</property>
 259                         </widget>
 260                       </child>
 261                     </widget>
 262                   </child>
 263                 </widget>
 264               </child>
 265             </widget>
 266           </child>
 267         </widget>
 268         <packing>
 269           <property name="padding">0</property>
 270           <property name="expand">False</property>
 271           <property name="fill">False</property>
 272         </packing>
 273       </child>
 274
 275       <child>
 276         <widget class="GtkToolbar" id="toolbar">
 277           <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 278           <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 279           <property name="tooltips">True</property>
 280           <property name="show_arrow">True</property>
 281
 282           <child>
 283             <widget class="GtkToolButton" id="New">
 284               <property name="visible">True</property>
 285               <property name="tooltip" translatable="yes">New file</property>
 286               <property name="stock_id">gtk-new</property>
 287               <property name="visible_horizontal">True</property>
 288               <property name="visible_vertical">True</property>
 289               <property name="is_important">False</property>
 290               <signal name="clicked" handler="select_new_file" last_modification_time="Mon, 22 Sep 2003 23:40:14 GMT"/>
 291             </widget>
 292             <packing>
 293               <property name="expand">False</property>
 294               <property name="homogeneous">True</property>
 295             </packing>
 296           </child>
 297
 298           <child>
 299             <widget class="GtkToolButton" id="Open">
 300               <property name="visible">True</property>
 301               <property name="tooltip" translatable="yes">Open file</property>
 302               <property name="stock_id">gtk-open</property>
 303               <property name="visible_horizontal">True</property>
 304               <property name="visible_vertical">True</property>
 305               <property name="is_important">False</property>
 306               <signal name="clicked" handler="select_open_file" last_modification_time="Mon, 22 Sep 2003 23:40:28 GMT"/>
 307             </widget>
 308             <packing>
 309               <property name="expand">False</property>
 310               <property name="homogeneous">True</property>
 311             </packing>
 312           </child>
 313
 314           <child>
 315             <widget class="GtkToolButton" id="Save">
 316               <property name="visible">True</property>
 317               <property name="tooltip" translatable="yes">Save file</property>
 318               <property name="stock_id">gtk-save</property>
 319               <property name="visible_horizontal">True</property>
 320               <property name="visible_vertical">True</property>
 321               <property name="is_important">False</property>
 322               <signal name="clicked" handler="save_file" last_modification_time="Mon, 22 Sep 2003 23:40:42 GMT"/>
 323             </widget>
 324             <packing>
 325               <property name="expand">False</property>
 326               <property name="homogeneous">True</property>
 327             </packing>
 328           </child>
 329
 330           <child>
 331             <widget class="GtkToolButton" id="SaveAs">
 332               <property name="visible">True</property>
 333               <property name="tooltip" translatable="yes">Save file as</property>
 334               <property name="stock_id">gtk-save-as</property>
 335               <property name="visible_horizontal">True</property>
 336               <property name="visible_vertical">True</property>
 337               <property name="is_important">False</property>
 338               <signal name="clicked" handler="select_save_file_as" last_modification_time="Mon, 22 Sep 2003 23:40:58 GMT"/>
 339             </widget>
 340             <packing>
 341               <property name="expand">False</property>
 342               <property name="homogeneous">True</property>
 343             </packing>
 344           </child>
 345
 346           <child>
 347             <widget class="GtkSeparatorToolItem" id="separatortoolitem1">
 348               <property name="visible">True</property>
 349               <property name="draw">True</property>
 350               <property name="visible_horizontal">True</property>
 351               <property name="visible_vertical">True</property>
 352             </widget>
 353             <packing>
 354               <property name="expand">False</property>
 355               <property name="homogeneous">False</property>
 356             </packing>
 357           </child>
 358
 359           <child>
 360             <widget class="GtkToolButton" id="Cut">
 361               <property name="visible">True</property>
 362               <property name="tooltip" translatable="yes">Cut</property>
 363               <property name="stock_id">gtk-cut</property>
 364               <property name="visible_horizontal">True</property>
 365               <property name="visible_vertical">True</property>
 366               <property name="is_important">False</property>
 367               <signal name="clicked" handler="clipboard_cut" last_modification_time="Mon, 22 Sep 2003 23:41:37 GMT"/>
 368             </widget>
 369             <packing>
 370               <property name="expand">False</property>
 371               <property name="homogeneous">True</property>
 372             </packing>
 373           </child>
 374
 375           <child>
 376             <widget class="GtkToolButton" id="Copy">
 377               <property name="visible">True</property>
 378               <property name="tooltip" translatable="yes">Copy</property>
 379               <property name="stock_id">gtk-copy</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="clipboard_copy" last_modification_time="Mon, 22 Sep 2003 23:41:29 GMT"/>
 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="GtkToolButton" id="Paste">
 393               <property name="visible">True</property>
 394               <property name="tooltip" translatable="yes">Paste</property>
 395               <property name="stock_id">gtk-paste</property>
 396               <property name="visible_horizontal">True</property>
 397               <property name="visible_vertical">True</property>
 398               <property name="is_important">False</property>
 399               <signal name="clicked" handler="clipboard_paste" last_modification_time="Mon, 22 Sep 2003 23:41:50 GMT"/>
 400             </widget>
 401             <packing>
 402               <property name="expand">False</property>
 403               <property name="homogeneous">True</property>
 404             </packing>
 405           </child>
 406         </widget>
 407         <packing>
 408           <property name="padding">0</property>
 409           <property name="expand">False</property>
 410           <property name="fill">False</property>
 411         </packing>
 412       </child>
 413
 414       <child>
 415         <widget class="GtkHBox" id="hbox7">
 416           <property name="visible">True</property>
 417           <property name="homogeneous">False</property>
 418           <property name="spacing">0</property>
 419
 420           <child>
 421             <widget class="GtkVBox" id="SideMenu">
 422               <property name="visible">True</property>
 423               <property name="homogeneous">False</property>
 424               <property name="spacing">0</property>
 425               <signal name="button_press_event" handler="sidemenu_press" last_modification_time="Tue, 23 May 2006 16:54:50 GMT"/>
 426               <signal name="button_release_event" handler="sidemenu_release" last_modification_time="Tue, 23 May 2006 16:55:21 GMT"/>
 427
 428               <child>
 429                 <widget class="GtkButton" id="button32">
 430                   <property name="visible">True</property>
 431                   <property name="can_focus">True</property>
 432                   <property name="relief">GTK_RELIEF_NORMAL</property>
 433                   <property name="focus_on_click">True</property>
 434                   <signal name="button_press_event" handler="sidemenu_press" last_modification_time="Tue, 27 Jun 2006 10:31:48 GMT"/>
 435                   <signal name="button_release_event" handler="sidemenu_release" last_modification_time="Tue, 27 Jun 2006 10:31:55 GMT"/>
 436                   <signal name="motion_notify_event" handler="sidemenu_motion" last_modification_time="Tue, 27 Jun 2006 10:29:25 GMT"/>
 437
 438                   <child>
 439                     <widget class="GtkImage" id="image9">
 440                       <property name="visible">True</property>
 441                       <property name="stock">gtk-preferences</property>
 442                       <property name="icon_size">4</property>
 443                       <property name="xalign">0.5</property>
 444                       <property name="yalign">0.5</property>
 445                       <property name="xpad">0</property>
 446                       <property name="ypad">0</property>
 447                     </widget>
 448                   </child>
 449                 </widget>
 450                 <packing>
 451                   <property name="padding">0</property>
 452                   <property name="expand">False</property>
 453                   <property name="fill">False</property>
 454                 </packing>
 455               </child>
 456
 457               <child>
 458                 <widget class="GtkButton" id="button31">
 459                   <property name="visible">True</property>
 460                   <property name="can_focus">True</property>
 461                   <property name="relief">GTK_RELIEF_NORMAL</property>
 462                   <property name="focus_on_click">True</property>
 463                   <signal name="button_press_event" handler="sidemenu_press" last_modification_time="Tue, 23 May 2006 17:38:41 GMT"/>
 464                   <signal name="button_release_event" handler="sidemenu_release" last_modification_time="Tue, 23 May 2006 17:38:54 GMT"/>
 465                   <signal name="motion_notify_event" handler="sidemenu_motion" last_modification_time="Tue, 23 May 2006 17:49:14 GMT"/>
 466
 467                   <child>
 468                     <placeholder/>
 469                   </child>
 470                 </widget>
 471                 <packing>
 472                   <property name="padding">0</property>
 473                   <property name="expand">True</property>
 474                   <property name="fill">True</property>
 475                 </packing>
 476               </child>
 477
 478               <child>
 479                 <widget class="GtkButton" id="button33">
 480                   <property name="visible">True</property>
 481                   <property name="can_focus">True</property>
 482                   <property name="relief">GTK_RELIEF_NORMAL</property>
 483                   <property name="focus_on_click">True</property>
 484                   <signal name="clicked" handler="toggle_hidden" last_modification_time="Tue, 27 Jun 2006 09:01:43 GMT"/>
 485
 486                   <child>
 487                     <widget class="GtkArrow" id="hide_arrow">
 488                       <property name="visible">True</property>
 489                       <property name="arrow_type">GTK_ARROW_RIGHT</property>
 490                       <property name="shadow_type">GTK_SHADOW_OUT</property>
 491                       <property name="xalign">0.5</property>
 492                       <property name="yalign">0.5</property>
 493                       <property name="xpad">0</property>
 494                       <property name="ypad">0</property>
 495                     </widget>
 496                   </child>
 497                 </widget>
 498                 <packing>
 499                   <property name="padding">0</property>
 500                   <property name="expand">False</property>
 501                   <property name="fill">False</property>
 502                 </packing>
 503               </child>
 504             </widget>
 505             <packing>
 506               <property name="padding">0</property>
 507               <property name="expand">False</property>
 508               <property name="fill">True</property>
 509             </packing>
 510           </child>
 511
 512           <child>
 513             <widget class="GtkVBox" id="vbox45">
 514               <property name="visible">True</property>
 515               <property name="homogeneous">False</property>
 516               <property name="spacing">0</property>
 517
 518               <child>
 519                 <widget class="GtkAlignment" id="alignment42">
 520                   <property name="visible">True</property>
 521                   <property name="xalign">0.5</property>
 522                   <property name="yalign">0.5</property>
 523                   <property name="xscale">1</property>
 524                   <property name="yscale">1</property>
 525                   <property name="top_padding">0</property>
 526                   <property name="bottom_padding">0</property>
 527                   <property name="left_padding">0</property>
 528                   <property name="right_padding">0</property>
 529
 530                   <child>
 531                     <widget class="GtkHPaned" id="hpaned1">
 532                       <property name="visible">True</property>
 533                       <property name="can_focus">True</property>
 534
 535                       <child>
 536                         <widget class="Custom" id="DasherControl">
 537                           <property name="width_request">200</property>
 538                           <property name="height_request">200</property>
 539                           <property name="visible">True</property>
 540                           <property name="can_focus">True</property>
 541                           <property name="has_focus">True</property>
 542                           <property name="creation_function">create_dasher_control</property>
 543                           <property name="int1">0</property>
 544                           <property name="int2">0</property>
 545                           <property name="last_modification_time">Sun, 05 Mar 2006 19:33:03 GMT</property>
 546                           <signal name="dasher_changed" handler="parameter_notification" last_modification_time="Sun, 05 Mar 2006 19:45:23 GMT"/>
 547                           <signal name="dasher_start" handler="handle_start_event" last_modification_time="Sun, 05 Mar 2006 19:45:35 GMT"/>
 548                           <signal name="dasher_stop" handler="handle_stop_event" last_modification_time="Sun, 05 Mar 2006 19:45:43 GMT"/>
 549                           <signal name="dasher_control" handler="handle_control_event" last_modification_time="Sun, 05 Mar 2006 19:45:53 GMT"/>
 550                           <signal name="dasher_edit_insert" handler="gtk2_edit_output_callback" last_modification_time="Sun, 05 Mar 2006 19:46:13 GMT"/>
 551                           <signal name="dasher_edit_delete" handler="gtk2_edit_delete_callback" last_modification_time="Sun, 05 Mar 2006 19:46:32 GMT"/>
 552                           <signal name="dasher_context_request" handler="handle_context_request" last_modification_time="Sun, 05 Mar 2006 19:46:54 GMT"/>
 553                           <signal name="dasher_request_settings" handler="handle_request_settings" last_modification_time="Sun, 05 Mar 2006 19:47:12 GMT"/>
 554                           <signal name="focus_in_event" handler="focus_in_event" last_modification_time="Sun, 05 Mar 2006 19:47:28 GMT"/>
 555                           <signal name="dasher_lock_info" handler="on_lock_info" last_modification_time="Wed, 22 Mar 2006 10:38:44 GMT"/>
 556                           <signal name="dasher_message" handler="on_message" last_modification_time="Wed, 22 Mar 2006 14:24:04 GMT"/>
 557                           <signal name="dasher_edit_convert" handler="convert_cb" last_modification_time="Tue, 30 May 2006 14:21:15 GMT"/>
 558                           <signal name="dasher_edit_protect" handler="protect_cb" last_modification_time="Tue, 30 May 2006 14:21:26 GMT"/>
 559                           <signal name="dasher_command" handler="on_command" last_modification_time="Thu, 14 Sep 2006 12:13:36 GMT"/>
 560                         </widget>
 561                         <packing>
 562                           <property name="shrink">True</property>
 563                           <property name="resize">True</property>
 564                         </packing>
 565                       </child>
 566
 567                       <child>
 568                         <widget class="GtkHBox" id="vbox40">
 569                           <property name="visible">True</property>
 570                           <property name="homogeneous">False</property>
 571                           <property name="spacing">0</property>
 572
 573                           <child>
 574                             <widget class="GtkScrolledWindow" id="scrolledwindow5">
 575                               <property name="visible">True</property>
 576                               <property name="can_focus">True</property>
 577                               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 578                               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 579                               <property name="shadow_type">GTK_SHADOW_IN</property>
 580                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 581
 582                               <child>
 583                                 <widget class="GtkTextView" id="the_text_view">
 584                                   <property name="visible">True</property>
 585                                   <property name="can_default">True</property>
 586                                   <property name="can_focus">True</property>
 587                                   <property name="events">GDK_BUTTON_PRESS_MASK | GDK_KEY_PRESS_MASK</property>
 588                                   <property name="editable">True</property>
 589                                   <property name="overwrite">False</property>
 590                                   <property name="accepts_tab">True</property>
 591                                   <property name="justification">GTK_JUSTIFY_LEFT</property>
 592                                   <property name="wrap_mode">GTK_WRAP_WORD</property>
 593                                   <property name="cursor_visible">True</property>
 594                                   <property name="pixels_above_lines">0</property>
 595                                   <property name="pixels_below_lines">0</property>
 596                                   <property name="pixels_inside_wrap">0</property>
 597                                   <property name="left_margin">0</property>
 598                                   <property name="right_margin">0</property>
 599                                   <property name="indent">0</property>
 600                                   <property name="text" translatable="yes"></property>
 601                                   <signal name="focus_in_event" handler="edit_focus_in_event" last_modification_time="Fri, 21 Jul 2006 10:28:42 GMT"/>
 602                                 </widget>
 603                               </child>
 604                             </widget>
 605                             <packing>
 606                               <property name="padding">0</property>
 607                               <property name="expand">True</property>
 608                               <property name="fill">True</property>
 609                             </packing>
 610                           </child>
 611
 612                           <child>
 613                             <widget class="GtkVBox" id="vbox39">
 614                               <property name="homogeneous">False</property>
 615                               <property name="spacing">0</property>
 616
 617                               <child>
 618                                 <placeholder/>
 619                               </child>
 620
 621                               <child>
 622                                 <placeholder/>
 623                               </child>
 624                             </widget>
 625                             <packing>
 626                               <property name="padding">0</property>
 627                               <property name="expand">False</property>
 628                               <property name="fill">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                   </child>
 639                 </widget>
 640                 <packing>
 641                   <property name="padding">0</property>
 642                   <property name="expand">True</property>
 643                   <property name="fill">True</property>
 644                 </packing>
 645               </child>
 646
 647               <child>
 648                 <widget class="GtkHBox" id="hbox8">
 649                   <property name="border_width">2</property>
 650                   <property name="visible">True</property>
 651                   <property name="homogeneous">False</property>
 652                   <property name="spacing">2</property>
 653
 654                   <child>
 655                     <widget class="GtkLabel" id="label109">
 656                       <property name="visible">True</property>
 657                       <property name="label" translatable="yes">Speed:</property>
 658                       <property name="use_underline">False</property>
 659                       <property name="use_markup">False</property>
 660                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 661                       <property name="wrap">False</property>
 662                       <property name="selectable">False</property>
 663                       <property name="xalign">0.5</property>
 664                       <property name="yalign">0.5</property>
 665                       <property name="xpad">2</property>
 666                       <property name="ypad">0</property>
 667                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 668                       <property name="width_chars">-1</property>
 669                       <property name="single_line_mode">False</property>
 670                       <property name="angle">0</property>
 671                     </widget>
 672                     <packing>
 673                       <property name="padding">0</property>
 674                       <property name="expand">False</property>
 675                       <property name="fill">False</property>
 676                     </packing>
 677                   </child>
 678
 679                   <child>
 680                     <widget class="GtkSpinButton" id="spinbutton1">
 681                       <property name="width_request">64</property>
 682                       <property name="visible">True</property>
 683                       <property name="can_focus">True</property>
 684                       <property name="climb_rate">0.10000000149</property>
 685                       <property name="digits">1</property>
 686                       <property name="numeric">False</property>
 687                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
 688                       <property name="snap_to_ticks">False</property>
 689                       <property name="wrap">False</property>
 690                       <property name="adjustment">1 0.10000000149 8 0.10000000149 10 10</property>
 691                       <signal name="value_changed" handler="speed_changed" last_modification_time="Thu, 25 May 2006 16:50:04 GMT"/>
 692                     </widget>
 693                     <packing>
 694                       <property name="padding">0</property>
 695                       <property name="expand">False</property>
 696                       <property name="fill">False</property>
 697                     </packing>
 698                   </child>
 699
 700                   <child>
 701                     <widget class="GtkLabel" id="label110">
 702                       <property name="visible">True</property>
 703                       <property name="label" translatable="yes">Alphabet:</property>
 704                       <property name="use_underline">False</property>
 705                       <property name="use_markup">False</property>
 706                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 707                       <property name="wrap">False</property>
 708                       <property name="selectable">False</property>
 709                       <property name="xalign">0.5</property>
 710                       <property name="yalign">0.5</property>
 711                       <property name="xpad">2</property>
 712                       <property name="ypad">0</property>
 713                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 714                       <property name="width_chars">-1</property>
 715                       <property name="single_line_mode">False</property>
 716                       <property name="angle">0</property>
 717                     </widget>
 718                     <packing>
 719                       <property name="padding">0</property>
 720                       <property name="expand">False</property>
 721                       <property name="fill">False</property>
 722                     </packing>
 723                   </child>
 724
 725                   <child>
 726                     <widget class="GtkComboBox" id="combobox1">
 727                       <property name="width_request">32</property>
 728                       <property name="visible">True</property>
 729                       <property name="add_tearoffs">False</property>
 730                       <property name="focus_on_click">True</property>
 731                       <signal name="changed" handler="alphabet_combo_changed" last_modification_time="Tue, 27 Jun 2006 07:42:21 GMT"/>
 732                     </widget>
 733                     <packing>
 734                       <property name="padding">0</property>
 735                       <property name="expand">True</property>
 736                       <property name="fill">True</property>
 737                     </packing>
 738                   </child>
 739                 </widget>
 740                 <packing>
 741                   <property name="padding">0</property>
 742                   <property name="expand">False</property>
 743                   <property name="fill">False</property>
 744                 </packing>
 745               </child>
 746             </widget>
 747             <packing>
 748               <property name="padding">0</property>
 749               <property name="expand">True</property>
 750               <property name="fill">True</property>
 751             </packing>
 752           </child>
 753         </widget>
 754         <packing>
 755           <property name="padding">0</property>
 756           <property name="expand">True</property>
 757           <property name="fill">True</property>
 758         </packing>
 759       </child>
 760     </widget>
 761   </child>
 762 </widget>
 763
 764 <widget class="GtkWindow" id="preferences">
 765   <property name="title" translatable="yes">Dasher Preferences</property>
 766   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 767   <property name="window_position">GTK_WIN_POS_NONE</property>
 768   <property name="modal">False</property>
 769   <property name="resizable">True</property>
 770   <property name="destroy_with_parent">False</property>
 771   <property name="decorated">True</property>
 772   <property name="skip_taskbar_hint">False</property>
 773   <property name="skip_pager_hint">False</property>
 774   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 775   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 776   <property name="focus_on_map">True</property>
 777   <property name="urgency_hint">False</property>
 778   <signal name="delete_event" handler="preferences_hide" last_modification_time="Tue, 23 Sep 2003 00:37:43 GMT"/>
 779
 780   <child>
 781     <widget class="GtkVBox" id="vbox2">
 782       <property name="visible">True</property>
 783       <property name="homogeneous">False</property>
 784       <property name="spacing">0</property>
 785
 786       <child>
 787         <widget class="GtkAlignment" id="alignment15">
 788           <property name="visible">True</property>
 789           <property name="xalign">0.5</property>
 790           <property name="yalign">0.5</property>
 791           <property name="xscale">1</property>
 792           <property name="yscale">1</property>
 793           <property name="top_padding">0</property>
 794           <property name="bottom_padding">0</property>
 795           <property name="left_padding">0</property>
 796           <property name="right_padding">0</property>
 797
 798           <child>
 799             <widget class="GtkNotebook" id="notebook1">
 800               <property name="visible">True</property>
 801               <property name="can_focus">True</property>
 802               <property name="show_tabs">True</property>
 803               <property name="show_border">True</property>
 804               <property name="tab_pos">GTK_POS_TOP</property>
 805               <property name="scrollable">False</property>
 806               <property name="enable_popup">False</property>
 807
 808               <child>
 809                 <widget class="GtkHBox" id="hbox9">
 810                   <property name="visible">True</property>
 811                   <property name="homogeneous">False</property>
 812                   <property name="spacing">0</property>
 813
 814                   <child>
 815                     <widget class="GtkFrame" id="frame3">
 816                       <property name="border_width">8</property>
 817                       <property name="visible">True</property>
 818                       <property name="label_xalign">0</property>
 819                       <property name="label_yalign">0.5</property>
 820                       <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
 821
 822                       <child>
 823                         <widget class="GtkAlignment" id="alignment44">
 824                           <property name="visible">True</property>
 825                           <property name="xalign">0.5</property>
 826                           <property name="yalign">0.5</property>
 827                           <property name="xscale">1</property>
 828                           <property name="yscale">1</property>
 829                           <property name="top_padding">0</property>
 830                           <property name="bottom_padding">0</property>
 831                           <property name="left_padding">12</property>
 832                           <property name="right_padding">0</property>
 833
 834                           <child>
 835                             <widget class="GtkScrolledWindow" id="scrolledwindow13">
 836                               <property name="border_width">8</property>
 837                               <property name="width_request">256</property>
 838                               <property name="visible">True</property>
 839                               <property name="can_focus">True</property>
 840                               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 841                               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 842                               <property name="shadow_type">GTK_SHADOW_IN</property>
 843                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 844
 845                               <child>
 846                                 <widget class="GtkTreeView" id="AlphabetTree">
 847                                   <property name="visible">True</property>
 848                                   <property name="can_focus">True</property>
 849                                   <property name="headers_visible">False</property>
 850                                   <property name="rules_hint">True</property>
 851                                   <property name="reorderable">False</property>
 852                                   <property name="enable_search">True</property>
 853                                   <property name="fixed_height_mode">False</property>
 854                                   <property name="hover_selection">False</property>
 855                                   <property name="hover_expand">False</property>
 856                                 </widget>
 857                               </child>
 858                             </widget>
 859                           </child>
 860                         </widget>
 861                       </child>
 862
 863                       <child>
 864                         <widget class="GtkLabel" id="label112">
 865                           <property name="visible">True</property>
 866                           <property name="label" translatable="yes">&lt;b&gt;Alphabet Selection:&lt;/b&gt;</property>
 867                           <property name="use_underline">False</property>
 868                           <property name="use_markup">True</property>
 869                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 870                           <property name="wrap">False</property>
 871                           <property name="selectable">False</property>
 872                           <property name="xalign">0.5</property>
 873                           <property name="yalign">0.5</property>
 874                           <property name="xpad">0</property>
 875                           <property name="ypad">0</property>
 876                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 877                           <property name="width_chars">-1</property>
 878                           <property name="single_line_mode">False</property>
 879                           <property name="angle">0</property>
 880                         </widget>
 881                         <packing>
 882                           <property name="type">label_item</property>
 883                         </packing>
 884                       </child>
 885                     </widget>
 886                     <packing>
 887                       <property name="padding">0</property>
 888                       <property name="expand">True</property>
 889                       <property name="fill">True</property>
 890                     </packing>
 891                   </child>
 892
 893                   <child>
 894                     <widget class="GtkVBox" id="vbox50">
 895                       <property name="visible">True</property>
 896                       <property name="homogeneous">False</property>
 897                       <property name="spacing">0</property>
 898
 899                       <child>
 900                         <widget class="GtkFrame" id="frame4">
 901                           <property name="border_width">8</property>
 902                           <property name="visible">True</property>
 903                           <property name="label_xalign">0</property>
 904                           <property name="label_yalign">0.5</property>
 905                           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
 906
 907                           <child>
 908                             <widget class="GtkAlignment" id="alignment45">
 909                               <property name="visible">True</property>
 910                               <property name="xalign">0.5</property>
 911                               <property name="yalign">0.5</property>
 912                               <property name="xscale">1</property>
 913                               <property name="yscale">1</property>
 914                               <property name="top_padding">0</property>
 915                               <property name="bottom_padding">0</property>
 916                               <property name="left_padding">12</property>
 917                               <property name="right_padding">0</property>
 918
 919                               <child>
 920                                 <widget class="GtkVBox" id="vbox24">
 921                                   <property name="border_width">8</property>
 922                                   <property name="visible">True</property>
 923                                   <property name="homogeneous">False</property>
 924                                   <property name="spacing">0</property>
 925
 926                                   <child>
 927                                     <widget class="GtkLabel" id="label48">
 928                                       <property name="label" translatable="yes">&lt;b&gt;Language Model:&lt;/b&gt;</property>
 929                                       <property name="use_underline">False</property>
 930                                       <property name="use_markup">True</property>
 931                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
 932                                       <property name="wrap">False</property>
 933                                       <property name="selectable">False</property>
 934                                       <property name="xalign">0</property>
 935                                       <property name="yalign">0.5</property>
 936                                       <property name="xpad">0</property>
 937                                       <property name="ypad">2</property>
 938                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 939                                       <property name="width_chars">-1</property>
 940                                       <property name="single_line_mode">False</property>
 941                                       <property name="angle">0</property>
 942                                     </widget>
 943                                     <packing>
 944                                       <property name="padding">2</property>
 945                                       <property name="expand">False</property>
 946                                       <property name="fill">False</property>
 947                                     </packing>
 948                                   </child>
 949
 950                                   <child>
 951                                     <widget class="GtkRadioButton" id="radiobutton6">
 952                                       <property name="can_focus">True</property>
 953                                       <property name="label" translatable="yes">Standard letter-based PPM</property>
 954                                       <property name="use_underline">True</property>
 955                                       <property name="relief">GTK_RELIEF_NORMAL</property>
 956                                       <property name="focus_on_click">True</property>
 957                                       <property name="active">False</property>
 958                                       <property name="inconsistent">False</property>
 959                                       <property name="draw_indicator">True</property>
 960                                       <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:00 GMT"/>
 961                                     </widget>
 962                                     <packing>
 963                                       <property name="padding">2</property>
 964                                       <property name="expand">False</property>
 965                                       <property name="fill">False</property>
 966                                     </packing>
 967                                   </child>
 968
 969                                   <child>
 970                                     <widget class="GtkRadioButton" id="radiobutton7">
 971                                       <property name="can_focus">True</property>
 972                                       <property name="label" translatable="yes">Word-based model</property>
 973                                       <property name="use_underline">True</property>
 974                                       <property name="relief">GTK_RELIEF_NORMAL</property>
 975                                       <property name="focus_on_click">True</property>
 976                                       <property name="active">False</property>
 977                                       <property name="inconsistent">False</property>
 978                                       <property name="draw_indicator">True</property>
 979                                       <property name="group">radiobutton6</property>
 980                                       <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
 981                                     </widget>
 982                                     <packing>
 983                                       <property name="padding">2</property>
 984                                       <property name="expand">False</property>
 985                                       <property name="fill">False</property>
 986                                     </packing>
 987                                   </child>
 988
 989                                   <child>
 990                                     <widget class="GtkRadioButton" id="radiobutton8">
 991                                       <property name="can_focus">True</property>
 992                                       <property name="label" translatable="yes">Mixture model (PPM/dictionary)</property>
 993                                       <property name="use_underline">True</property>
 994                                       <property name="relief">GTK_RELIEF_NORMAL</property>
 995                                       <property name="focus_on_click">True</property>
 996                                       <property name="active">False</property>
 997                                       <property name="inconsistent">False</property>
 998                                       <property name="draw_indicator">True</property>
 999                                       <property name="group">radiobutton6</property>
1000                                       <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
1001                                     </widget>
1002                                     <packing>
1003                                       <property name="padding">2</property>
1004                                       <property name="expand">False</property>
1005                                       <property name="fill">False</property>
1006                                     </packing>
1007                                   </child>
1008
1009                                   <child>
1010                                     <widget class="GtkRadioButton" id="radiobutton9">
1011                                       <property name="can_focus">True</property>
1012                                       <property name="label" translatable="yes">Japanese</property>
1013                                       <property name="use_underline">True</property>
1014                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1015                                       <property name="focus_on_click">True</property>
1016                                       <property name="active">False</property>
1017                                       <property name="inconsistent">False</property>
1018                                       <property name="draw_indicator">True</property>
1019                                       <property name="group">radiobutton6</property>
1020                                       <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
1021                                     </widget>
1022                                     <packing>
1023                                       <property name="padding">2</property>
1024                                       <property name="expand">False</property>
1025                                       <property name="fill">False</property>
1026                                     </packing>
1027                                   </child>
1028
1029                                   <child>
1030                                     <widget class="GtkLabel" id="label50">
1031                                       <property name="visible">True</property>
1032                                       <property name="label" translatable="yes">&lt;b&gt;Adaptation:&lt;/b&gt;</property>
1033                                       <property name="use_underline">False</property>
1034                                       <property name="use_markup">True</property>
1035                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1036                                       <property name="wrap">False</property>
1037                                       <property name="selectable">False</property>
1038                                       <property name="xalign">0</property>
1039                                       <property name="yalign">0.5</property>
1040                                       <property name="xpad">0</property>
1041                                       <property name="ypad">2</property>
1042                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1043                                       <property name="width_chars">-1</property>
1044                                       <property name="single_line_mode">False</property>
1045                                       <property name="angle">0</property>
1046                                     </widget>
1047                                     <packing>
1048                                       <property name="padding">2</property>
1049                                       <property name="expand">False</property>
1050                                       <property name="fill">False</property>
1051                                     </packing>
1052                                   </child>
1053
1054                                   <child>
1055                                     <widget class="GtkCheckButton" id="cb_adaptive">
1056                                       <property name="visible">True</property>
1057                                       <property name="can_focus">True</property>
1058                                       <property name="label" translatable="yes">Language model adapts as you write.</property>
1059                                       <property name="use_underline">True</property>
1060                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1061                                       <property name="focus_on_click">True</property>
1062                                       <property name="active">True</property>
1063                                       <property name="inconsistent">False</property>
1064                                       <property name="draw_indicator">True</property>
1065                                     </widget>
1066                                     <packing>
1067                                       <property name="padding">2</property>
1068                                       <property name="expand">False</property>
1069                                       <property name="fill">False</property>
1070                                     </packing>
1071                                   </child>
1072
1073                                   <child>
1074                                     <widget class="GtkLabel" id="label23">
1075                                       <property name="visible">True</property>
1076                                       <property name="label" translatable="yes">&lt;b&gt;Smoothing:&lt;/b&gt;</property>
1077                                       <property name="use_underline">False</property>
1078                                       <property name="use_markup">True</property>
1079                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1080                                       <property name="wrap">False</property>
1081                                       <property name="selectable">False</property>
1082                                       <property name="xalign">0</property>
1083                                       <property name="yalign">0.5</property>
1084                                       <property name="xpad">0</property>
1085                                       <property name="ypad">2</property>
1086                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1087                                       <property name="width_chars">-1</property>
1088                                       <property name="single_line_mode">False</property>
1089                                       <property name="angle">0</property>
1090                                     </widget>
1091                                     <packing>
1092                                       <property name="padding">0</property>
1093                                       <property name="expand">False</property>
1094                                       <property name="fill">False</property>
1095                                     </packing>
1096                                   </child>
1097
1098                                   <child>
1099                                     <widget class="GtkLabel" id="label25">
1100                                       <property name="visible">True</property>
1101                                       <property name="label" translatable="yes">Use this control to adjust the relative sizes of the
1102 letter boxes. Note that selecting high values will slow
1103 your writing speed.</property>
1104                                       <property name="use_underline">False</property>
1105                                       <property name="use_markup">False</property>
1106                                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1107                                       <property name="wrap">True</property>
1108                                       <property name="selectable">False</property>
1109                                       <property name="xalign">0</property>
1110                                       <property name="yalign">0.5</property>
1111                                       <property name="xpad">2</property>
1112                                       <property name="ypad">2</property>
1113                                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1114                                       <property name="width_chars">-1</property>
1115                                       <property name="single_line_mode">False</property>
1116                                       <property name="angle">0</property>
1117                                     </widget>
1118                                     <packing>
1119                                       <property name="padding">0</property>
1120                                       <property name="expand">False</property>
1121                                       <property name="fill">False</property>
1122                                     </packing>
1123                                   </child>
1124
1125                                   <child>
1126                                     <widget class="GtkHScale" id="uniformhscale">
1127                                       <property name="visible">True</property>
1128                                       <property name="can_focus">True</property>
1129                                       <property name="draw_value">True</property>
1130                                       <property name="value_pos">GTK_POS_TOP</property>
1131                                       <property name="digits">1</property>
1132                                       <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
1133                                       <property name="inverted">False</property>
1134                                       <property name="adjustment">5.1 0 100 0.10000000149 0.10000000149 0</property>
1135                                       <signal name="value_changed" handler="uniform_changed" last_modification_time="Tue, 23 Sep 2003 13:42:16 GMT"/>
1136                                     </widget>
1137                                     <packing>
1138                                       <property name="padding">0</property>
1139                                       <property name="expand">False</property>
1140                                       <property name="fill">True</property>
1141                                     </packing>
1142                                   </child>
1143                                 </widget>
1144                               </child>
1145                             </widget>
1146                           </child>
1147
1148                           <child>
1149                             <widget class="GtkLabel" id="label113">
1150                               <property name="visible">True</property>
1151                               <property name="label" translatable="yes">&lt;b&gt;Prediction:&lt;/b&gt;</property>
1152                               <property name="use_underline">False</property>
1153                               <property name="use_markup">True</property>
1154                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1155                               <property name="wrap">False</property>
1156                               <property name="selectable">False</property>
1157                               <property name="xalign">0.5</property>
1158                               <property name="yalign">0.5</property>
1159                               <property name="xpad">0</property>
1160                               <property name="ypad">0</property>
1161                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1162                               <property name="width_chars">-1</property>
1163                               <property name="single_line_mode">False</property>
1164                               <property name="angle">0</property>
1165                             </widget>
1166                             <packing>
1167                               <property name="type">label_item</property>
1168                             </packing>
1169                           </child>
1170                         </widget>
1171                         <packing>
1172                           <property name="padding">0</property>
1173                           <property name="expand">False</property>
1174                           <property name="fill">True</property>
1175                         </packing>
1176                       </child>
1177
1178                       <child>
1179                         <widget class="GtkFrame" id="frame8">
1180                           <property name="border_width">8</property>
1181                           <property name="visible">True</property>
1182                           <property name="label_xalign">0</property>
1183                           <property name="label_yalign">0.5</property>
1184                           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1185
1186                           <child>
1187                             <widget class="GtkAlignment" id="alignment50">
1188                               <property name="visible">True</property>
1189                               <property name="xalign">0.5</property>
1190                               <property name="yalign">0.5</property>
1191                               <property name="xscale">1</property>
1192                               <property name="yscale">1</property>
1193                               <property name="top_padding">0</property>
1194                               <property name="bottom_padding">0</property>
1195                               <property name="left_padding">12</property>
1196                               <property name="right_padding">0</property>
1197
1198                               <child>
1199                                 <widget class="GtkVBox" id="vbox15">
1200                                   <property name="border_width">8</property>
1201                                   <property name="visible">True</property>
1202                                   <property name="homogeneous">False</property>
1203                                   <property name="spacing">0</property>
1204
1205                                   <child>
1206                                     <widget class="GtkRadioButton" id="radiobutton1">
1207                                       <property name="border_width">2</property>
1208                                       <property name="visible">True</property>
1209                                       <property name="can_focus">True</property>
1210                                       <property name="label" translatable="yes">Alphabet Default</property>
1211                                       <property name="use_underline">True</property>
1212                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1213                                       <property name="focus_on_click">True</property>
1214                                       <property name="active">False</property>
1215                                       <property name="inconsistent">False</property>
1216                                       <property name="draw_indicator">True</property>
1217                                       <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:43 GMT"/>
1218                                     </widget>
1219                                     <packing>
1220                                       <property name="padding">0</property>
1221                                       <property name="expand">False</property>
1222                                       <property name="fill">False</property>
1223                                     </packing>
1224                                   </child>
1225
1226                                   <child>
1227                                     <widget class="GtkRadioButton" id="radiobutton12">
1228                                       <property name="border_width">2</property>
1229                                       <property name="visible">True</property>
1230                                       <property name="can_focus">True</property>
1231                                       <property name="label" translatable="yes">Custom:</property>
1232                                       <property name="use_underline">True</property>
1233                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1234                                       <property name="focus_on_click">True</property>
1235                                       <property name="active">False</property>
1236                                       <property name="inconsistent">False</property>
1237                                       <property name="draw_indicator">True</property>
1238                                       <property name="group">radiobutton1</property>
1239                                       <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:43 GMT"/>
1240                                     </widget>
1241                                     <packing>
1242                                       <property name="padding">0</property>
1243                                       <property name="expand">False</property>
1244                                       <property name="fill">False</property>
1245                                     </packing>
1246                                   </child>
1247
1248                                   <child>
1249                                     <widget class="GtkAlignment" id="alignment19">
1250                                       <property name="visible">True</property>
1251                                       <property name="xalign">0.5</property>
1252                                       <property name="yalign">0.5</property>
1253                                       <property name="xscale">1</property>
1254                                       <property name="yscale">1</property>
1255                                       <property name="top_padding">0</property>
1256                                       <property name="bottom_padding">0</property>
1257                                       <property name="left_padding">16</property>
1258                                       <property name="right_padding">0</property>
1259
1260                                       <child>
1261                                         <widget class="GtkVBox" id="vbox27">
1262                                           <property name="visible">True</property>
1263                                           <property name="homogeneous">False</property>
1264                                           <property name="spacing">0</property>
1265
1266                                           <child>
1267                                             <widget class="GtkRadioButton" id="radiobutton2">
1268                                               <property name="border_width">2</property>
1269                                               <property name="visible">True</property>
1270                                               <property name="can_focus">True</property>
1271                                               <property name="label" translatable="yes">Left to Right</property>
1272                                               <property name="use_underline">True</property>
1273                                               <property name="relief">GTK_RELIEF_NORMAL</property>
1274                                               <property name="focus_on_click">True</property>
1275                                               <property name="active">False</property>
1276                                               <property name="inconsistent">False</property>
1277                                               <property name="draw_indicator">True</property>
1278                                               <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:50 GMT"/>
1279                                             </widget>
1280                                             <packing>
1281                                               <property name="padding">0</property>
1282                                               <property name="expand">False</property>
1283                                               <property name="fill">False</property>
1284                                             </packing>
1285                                           </child>
1286
1287                                           <child>
1288                                             <widget class="GtkRadioButton" id="radiobutton3">
1289                                               <property name="border_width">2</property>
1290                                               <property name="visible">True</property>
1291                                               <property name="can_focus">True</property>
1292                                               <property name="label" translatable="yes">Right to Left</property>
1293                                               <property name="use_underline">True</property>
1294                                               <property name="relief">GTK_RELIEF_NORMAL</property>
1295                                               <property name="focus_on_click">True</property>
1296                                               <property name="active">False</property>
1297                                               <property name="inconsistent">False</property>
1298                                               <property name="draw_indicator">True</property>
1299                                               <property name="group">radiobutton2</property>
1300                                               <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:57 GMT"/>
1301                                             </widget>
1302                                             <packing>
1303                                               <property name="padding">0</property>
1304                                               <property name="expand">False</property>
1305                                               <property name="fill">False</property>
1306                                             </packing>
1307                                           </child>
1308
1309                                           <child>
1310                                             <widget class="GtkRadioButton" id="radiobutton4">
1311                                               <property name="border_width">2</property>
1312                                               <property name="visible">True</property>
1313                                               <property name="can_focus">True</property>
1314                                               <property name="label" translatable="yes">Top to Bottom</property>
1315                                               <property name="use_underline">True</property>
1316                                               <property name="relief">GTK_RELIEF_NORMAL</property>
1317                                               <property name="focus_on_click">True</property>
1318                                               <property name="active">False</property>
1319                                               <property name="inconsistent">False</property>
1320                                               <property name="draw_indicator">True</property>
1321                                               <property name="group">radiobutton2</property>
1322                                               <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:58:03 GMT"/>
1323                                             </widget>
1324                                             <packing>
1325                                               <property name="padding">0</property>
1326                                               <property name="expand">False</property>
1327                                               <property name="fill">False</property>
1328                                             </packing>
1329                                           </child>
1330
1331                                           <child>
1332                                             <widget class="GtkRadioButton" id="radiobutton5">
1333                                               <property name="border_width">2</property>
1334                                               <property name="visible">True</property>
1335                                               <property name="can_focus">True</property>
1336                                               <property name="label" translatable="yes">Bottom to Top</property>
1337                                               <property name="use_underline">True</property>
1338                                               <property name="relief">GTK_RELIEF_NORMAL</property>
1339                                               <property name="focus_on_click">True</property>
1340                                               <property name="active">False</property>
1341                                               <property name="inconsistent">False</property>
1342                                               <property name="draw_indicator">True</property>
1343                                               <property name="group">radiobutton2</property>
1344                                               <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:58:11 GMT"/>
1345                                             </widget>
1346                                             <packing>
1347                                               <property name="padding">0</property>
1348                                               <property name="expand">False</property>
1349                                               <property name="fill">False</property>
1350                                             </packing>
1351                                           </child>
1352                                         </widget>
1353                                       </child>
1354                                     </widget>
1355                                     <packing>
1356                                       <property name="padding">0</property>
1357                                       <property name="expand">True</property>
1358                                       <property name="fill">True</property>
1359                                     </packing>
1360                                   </child>
1361                                 </widget>
1362                               </child>
1363                             </widget>
1364                           </child>
1365
1366                           <child>
1367                             <widget class="GtkLabel" id="label119">
1368                               <property name="visible">True</property>
1369                               <property name="label" translatable="yes">&lt;b&gt;Direction:&lt;/b&gt;</property>
1370                               <property name="use_underline">False</property>
1371                               <property name="use_markup">True</property>
1372                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1373                               <property name="wrap">False</property>
1374                               <property name="selectable">False</property>
1375                               <property name="xalign">0.5</property>
1376                               <property name="yalign">0.5</property>
1377                               <property name="xpad">0</property>
1378                               <property name="ypad">0</property>
1379                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1380                               <property name="width_chars">-1</property>
1381                               <property name="single_line_mode">False</property>
1382                               <property name="angle">0</property>
1383                             </widget>
1384                             <packing>
1385                               <property name="type">label_item</property>
1386                             </packing>
1387                           </child>
1388                         </widget>
1389                         <packing>
1390                           <property name="padding">0</property>
1391                           <property name="expand">True</property>
1392                           <property name="fill">True</property>
1393                         </packing>
1394                       </child>
1395                     </widget>
1396                     <packing>
1397                       <property name="padding">0</property>
1398                       <property name="expand">True</property>
1399                       <property name="fill">True</property>
1400                     </packing>
1401                   </child>
1402                 </widget>
1403                 <packing>
1404                   <property name="tab_expand">False</property>
1405                   <property name="tab_fill">True</property>
1406                 </packing>
1407               </child>
1408
1409               <child>
1410                 <widget class="GtkLabel" id="label111">
1411                   <property name="visible">True</property>
1412                   <property name="label" translatable="yes">Language</property>
1413                   <property name="use_underline">False</property>
1414                   <property name="use_markup">False</property>
1415                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1416                   <property name="wrap">False</property>
1417                   <property name="selectable">False</property>
1418                   <property name="xalign">0.5</property>
1419                   <property name="yalign">0.5</property>
1420                   <property name="xpad">0</property>
1421                   <property name="ypad">0</property>
1422                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1423                   <property name="width_chars">-1</property>
1424                   <property name="single_line_mode">False</property>
1425                   <property name="angle">0</property>
1426                 </widget>
1427                 <packing>
1428                   <property name="type">tab</property>
1429                 </packing>
1430               </child>
1431
1432               <child>
1433                 <widget class="GtkHBox" id="hbox10">
1434                   <property name="visible">True</property>
1435                   <property name="homogeneous">False</property>
1436                   <property name="spacing">0</property>
1437
1438                   <child>
1439                     <widget class="GtkFrame" id="frame5">
1440                       <property name="border_width">8</property>
1441                       <property name="visible">True</property>
1442                       <property name="label_xalign">0</property>
1443                       <property name="label_yalign">0.5</property>
1444                       <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1445
1446                       <child>
1447                         <widget class="GtkAlignment" id="alignment46">
1448                           <property name="visible">True</property>
1449                           <property name="xalign">0.5</property>
1450                           <property name="yalign">0.5</property>
1451                           <property name="xscale">1</property>
1452                           <property name="yscale">1</property>
1453                           <property name="top_padding">0</property>
1454                           <property name="bottom_padding">0</property>
1455                           <property name="left_padding">12</property>
1456                           <property name="right_padding">0</property>
1457
1458                           <child>
1459                             <widget class="GtkVBox" id="vbox46">
1460                               <property name="border_width">8</property>
1461                               <property name="visible">True</property>
1462                               <property name="homogeneous">False</property>
1463                               <property name="spacing">4</property>
1464
1465                               <child>
1466                                 <widget class="GtkScrolledWindow" id="scrolledwindow15">
1467                                   <property name="height_request">192</property>
1468                                   <property name="visible">True</property>
1469                                   <property name="can_focus">True</property>
1470                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1471                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1472                                   <property name="shadow_type">GTK_SHADOW_IN</property>
1473                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1474
1475                                   <child>
1476                                     <widget class="GtkTreeView" id="input_filter_tree_view">
1477                                       <property name="visible">True</property>
1478                                       <property name="can_focus">True</property>
1479                                       <property name="headers_visible">False</property>
1480                                       <property name="rules_hint">True</property>
1481                                       <property name="reorderable">False</property>
1482                                       <property name="enable_search">True</property>
1483                                       <property name="fixed_height_mode">False</property>
1484                                       <property name="hover_selection">False</property>
1485                                       <property name="hover_expand">False</property>
1486                                     </widget>
1487                                   </child>
1488                                 </widget>
1489                                 <packing>
1490                                   <property name="padding">0</property>
1491                                   <property name="expand">True</property>
1492                                   <property name="fill">True</property>
1493                                 </packing>
1494                               </child>
1495
1496                               <child>
1497                                 <widget class="GtkAlignment" id="alignment39">
1498                                   <property name="visible">True</property>
1499                                   <property name="xalign">1</property>
1500                                   <property name="yalign">0.5</property>
1501                                   <property name="xscale">0</property>
1502                                   <property name="yscale">0</property>
1503                                   <property name="top_padding">0</property>
1504                                   <property name="bottom_padding">0</property>
1505                                   <property name="left_padding">0</property>
1506                                   <property name="right_padding">0</property>
1507
1508                                   <child>
1509                                     <widget class="GtkButton" id="button13">
1510                                       <property name="width_request">96</property>
1511                                       <property name="visible">True</property>
1512                                       <property name="can_focus">True</property>
1513                                       <property name="label" translatable="yes">Options</property>
1514                                       <property name="use_underline">True</property>
1515                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1516                                       <property name="focus_on_click">True</property>
1517                                     </widget>
1518                                   </child>
1519                                 </widget>
1520                                 <packing>
1521                                   <property name="padding">0</property>
1522                                   <property name="expand">False</property>
1523                                   <property name="fill">False</property>
1524                                 </packing>
1525                               </child>
1526                             </widget>
1527                           </child>
1528                         </widget>
1529                       </child>
1530
1531                       <child>
1532                         <widget class="GtkLabel" id="label115">
1533                           <property name="visible">True</property>
1534                           <property name="label" translatable="yes">&lt;b&gt;Control Style:&lt;/b&gt;</property>
1535                           <property name="use_underline">False</property>
1536                           <property name="use_markup">True</property>
1537                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1538                           <property name="wrap">False</property>
1539                           <property name="selectable">False</property>
1540                           <property name="xalign">0.5</property>
1541                           <property name="yalign">0.5</property>
1542                           <property name="xpad">0</property>
1543                           <property name="ypad">0</property>
1544                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1545                           <property name="width_chars">-1</property>
1546                           <property name="single_line_mode">False</property>
1547                           <property name="angle">0</property>
1548                         </widget>
1549                         <packing>
1550                           <property name="type">label_item</property>
1551                         </packing>
1552                       </child>
1553                     </widget>
1554                     <packing>
1555                       <property name="padding">0</property>
1556                       <property name="expand">True</property>
1557                       <property name="fill">True</property>
1558                     </packing>
1559                   </child>
1560
1561                   <child>
1562                     <widget class="GtkVBox" id="vbox47">
1563                       <property name="visible">True</property>
1564                       <property name="homogeneous">False</property>
1565                       <property name="spacing">0</property>
1566
1567                       <child>
1568                         <widget class="GtkFrame" id="frame6">
1569                           <property name="border_width">8</property>
1570                           <property name="visible">True</property>
1571                           <property name="label_xalign">0</property>
1572                           <property name="label_yalign">0.5</property>
1573                           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1574
1575                           <child>
1576                             <widget class="GtkAlignment" id="alignment47">
1577                               <property name="border_width">8</property>
1578                               <property name="visible">True</property>
1579                               <property name="xalign">0.5</property>
1580                               <property name="yalign">0.5</property>
1581                               <property name="xscale">1</property>
1582                               <property name="yscale">1</property>
1583                               <property name="top_padding">0</property>
1584                               <property name="bottom_padding">0</property>
1585                               <property name="left_padding">12</property>
1586                               <property name="right_padding">0</property>
1587
1588                               <child>
1589                                 <widget class="GtkVBox" id="vbox48">
1590                                   <property name="visible">True</property>
1591                                   <property name="homogeneous">False</property>
1592                                   <property name="spacing">4</property>
1593
1594                                   <child>
1595                                     <widget class="GtkScrolledWindow" id="scrolledwindow12">
1596                                       <property name="height_request">64</property>
1597                                       <property name="visible">True</property>
1598                                       <property name="can_focus">True</property>
1599                                       <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1600                                       <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1601                                       <property name="shadow_type">GTK_SHADOW_IN</property>
1602                                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1603
1604                                       <child>
1605                                         <widget class="GtkTreeView" id="input_tree_view">
1606                                           <property name="visible">True</property>
1607                                           <property name="can_focus">True</property>
1608                                           <property name="headers_visible">False</property>
1609                                           <property name="rules_hint">True</property>
1610                                           <property name="reorderable">False</property>
1611                                           <property name="enable_search">True</property>
1612                                           <property name="fixed_height_mode">False</property>
1613                                           <property name="hover_selection">False</property>
1614                                           <property name="hover_expand">False</property>
1615                                         </widget>
1616                                       </child>
1617                                     </widget>
1618                                     <packing>
1619                                       <property name="padding">0</property>
1620                                       <property name="expand">True</property>
1621                                       <property name="fill">True</property>
1622                                     </packing>
1623                                   </child>
1624
1625                                   <child>
1626                                     <widget class="GtkAlignment" id="alignment48">
1627                                       <property name="visible">True</property>
1628                                       <property name="xalign">1</property>
1629                                       <property name="yalign">0.5</property>
1630                                       <property name="xscale">0</property>
1631                                       <property name="yscale">0</property>
1632                                       <property name="top_padding">0</property>
1633                                       <property name="bottom_padding">0</property>
1634                                       <property name="left_padding">0</property>
1635                                       <property name="right_padding">0</property>
1636
1637                                       <child>
1638                                         <widget class="GtkButton" id="button25">
1639                                           <property name="width_request">96</property>
1640                                           <property name="visible">True</property>
1641                                           <property name="can_focus">True</property>
1642                                           <property name="label" translatable="yes">Options</property>
1643                                           <property name="use_underline">True</property>
1644                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1645                                           <property name="focus_on_click">True</property>
1646                                         </widget>
1647                                       </child>
1648                                     </widget>
1649                                     <packing>
1650                                       <property name="padding">0</property>
1651                                       <property name="expand">False</property>
1652                                       <property name="fill">False</property>
1653                                     </packing>
1654                                   </child>
1655                                 </widget>
1656                               </child>
1657                             </widget>
1658                           </child>
1659
1660                           <child>
1661                             <widget class="GtkLabel" id="label116">
1662                               <property name="visible">True</property>
1663                               <property name="label" translatable="yes">&lt;b&gt;Input Device:&lt;/b&gt;</property>
1664                               <property name="use_underline">False</property>
1665                               <property name="use_markup">True</property>
1666                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1667                               <property name="wrap">False</property>
1668                               <property name="selectable">False</property>
1669                               <property name="xalign">0.5</property>
1670                               <property name="yalign">0.5</property>
1671                               <property name="xpad">0</property>
1672                               <property name="ypad">0</property>
1673                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1674                               <property name="width_chars">-1</property>
1675                               <property name="single_line_mode">False</property>
1676                               <property name="angle">0</property>
1677                             </widget>
1678                             <packing>
1679                               <property name="type">label_item</property>
1680                             </packing>
1681                           </child>
1682                         </widget>
1683                         <packing>
1684                           <property name="padding">0</property>
1685                           <property name="expand">False</property>
1686                           <property name="fill">True</property>
1687                         </packing>
1688                       </child>
1689
1690                       <child>
1691                         <widget class="GtkFrame" id="frame13">
1692                           <property name="border_width">8</property>
1693                           <property name="visible">True</property>
1694                           <property name="label_xalign">0</property>
1695                           <property name="label_yalign">0.5</property>
1696                           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1697
1698                           <child>
1699                             <widget class="GtkAlignment" id="alignment55">
1700                               <property name="visible">True</property>
1701                               <property name="xalign">0.5</property>
1702                               <property name="yalign">0.5</property>
1703                               <property name="xscale">1</property>
1704                               <property name="yscale">1</property>
1705                               <property name="top_padding">0</property>
1706                               <property name="bottom_padding">0</property>
1707                               <property name="left_padding">12</property>
1708                               <property name="right_padding">0</property>
1709
1710                               <child>
1711                                 <widget class="GtkVBox" id="vbox54">
1712                                   <property name="border_width">8</property>
1713                                   <property name="visible">True</property>
1714                                   <property name="homogeneous">False</property>
1715                                   <property name="spacing">0</property>
1716
1717                                   <child>
1718                                     <widget class="GtkHScale" id="hscale1">
1719                                       <property name="visible">True</property>
1720                                       <property name="can_focus">True</property>
1721                                       <property name="draw_value">True</property>
1722                                       <property name="value_pos">GTK_POS_TOP</property>
1723                                       <property name="digits">1</property>
1724                                       <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
1725                                       <property name="inverted">False</property>
1726                                       <property name="adjustment">1 0.10000000149 8 0.10000000149 1 0</property>
1727                                       <signal name="value_changed" handler="PrefsSpeedSliderChanged" last_modification_time="Wed, 03 Aug 2005 13:03:05 GMT"/>
1728                                     </widget>
1729                                     <packing>
1730                                       <property name="padding">0</property>
1731                                       <property name="expand">True</property>
1732                                       <property name="fill">True</property>
1733                                     </packing>
1734                                   </child>
1735
1736                                   <child>
1737                                     <widget class="GtkCheckButton" id="adaptivebutton">
1738                                       <property name="border_width">2</property>
1739                                       <property name="visible">True</property>
1740                                       <property name="can_focus">True</property>
1741                                       <property name="label" translatable="yes">Adapt speed automatically</property>
1742                                       <property name="use_underline">True</property>
1743                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1744                                       <property name="focus_on_click">True</property>
1745                                       <property name="active">True</property>
1746                                       <property name="inconsistent">False</property>
1747                                       <property name="draw_indicator">True</property>
1748                                       <signal name="clicked" handler="adaptive" last_modification_time="Wed, 03 Aug 2005 13:01:05 GMT"/>
1749                                     </widget>
1750                                     <packing>
1751                                       <property name="padding">0</property>
1752                                       <property name="expand">False</property>
1753                                       <property name="fill">False</property>
1754                                     </packing>
1755                                   </child>
1756                                 </widget>
1757                               </child>
1758                             </widget>
1759                           </child>
1760
1761                           <child>
1762                             <widget class="GtkLabel" id="label125">
1763                               <property name="visible">True</property>
1764                               <property name="label" translatable="yes">&lt;b&gt;Speed:&lt;/b&gt;</property>
1765                               <property name="use_underline">False</property>
1766                               <property name="use_markup">True</property>
1767                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1768                               <property name="wrap">False</property>
1769                               <property name="selectable">False</property>
1770                               <property name="xalign">0.5</property>
1771                               <property name="yalign">0.5</property>
1772                               <property name="xpad">0</property>
1773                               <property name="ypad">0</property>
1774                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1775                               <property name="width_chars">-1</property>
1776                               <property name="single_line_mode">False</property>
1777                               <property name="angle">0</property>
1778                             </widget>
1779                             <packing>
1780                               <property name="type">label_item</property>
1781                             </packing>
1782                           </child>
1783                         </widget>
1784                         <packing>
1785                           <property name="padding">0</property>
1786                           <property name="expand">False</property>
1787                           <property name="fill">True</property>
1788                         </packing>
1789                       </child>
1790
1791                       <child>
1792                         <widget class="GtkFrame" id="frame14">
1793                           <property name="border_width">8</property>
1794                           <property name="visible">True</property>
1795                           <property name="label_xalign">0</property>
1796                           <property name="label_yalign">0.5</property>
1797                           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1798
1799                           <child>
1800                             <widget class="GtkAlignment" id="alignment56">
1801                               <property name="visible">True</property>
1802                               <property name="xalign">0.5</property>
1803                               <property name="yalign">0.5</property>
1804                               <property name="xscale">1</property>
1805                               <property name="yscale">1</property>
1806                               <property name="top_padding">0</property>
1807                               <property name="bottom_padding">0</property>
1808                               <property name="left_padding">12</property>
1809                               <property name="right_padding">0</property>
1810
1811                               <child>
1812                                 <widget class="GtkAlignment" id="alignment5">
1813                                   <property name="visible">True</property>
1814                                   <property name="xalign">0.5</property>
1815                                   <property name="yalign">0.5</property>
1816                                   <property name="xscale">1</property>
1817                                   <property name="yscale">1</property>
1818                                   <property name="top_padding">0</property>
1819                                   <property name="bottom_padding">0</property>
1820                                   <property name="left_padding">0</property>
1821                                   <property name="right_padding">0</property>
1822
1823                                   <child>
1824                                     <widget class="GtkVBox" id="vbox13">
1825                                       <property name="border_width">8</property>
1826                                       <property name="visible">True</property>
1827                                       <property name="homogeneous">False</property>
1828                                       <property name="spacing">0</property>
1829
1830                                       <child>
1831                                         <widget class="GtkCheckButton" id="leftbutton">
1832                                           <property name="border_width">2</property>
1833                                           <property name="visible">True</property>
1834                                           <property name="can_focus">True</property>
1835                                           <property name="label" translatable="yes">Start on left mouse button</property>
1836                                           <property name="use_underline">True</property>
1837                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1838                                           <property name="focus_on_click">True</property>
1839                                           <property name="active">False</property>
1840                                           <property name="inconsistent">False</property>
1841                                           <property name="draw_indicator">True</property>
1842                                           <signal name="clicked" handler="startonleft" last_modification_time="Tue, 23 Sep 2003 00:45:42 GMT"/>
1843                                         </widget>
1844                                         <packing>
1845                                           <property name="padding">0</property>
1846                                           <property name="expand">False</property>
1847                                           <property name="fill">False</property>
1848                                         </packing>
1849                                       </child>
1850
1851                                       <child>
1852                                         <widget class="GtkCheckButton" id="spacebutton">
1853                                           <property name="border_width">2</property>
1854                                           <property name="visible">True</property>
1855                                           <property name="can_focus">True</property>
1856                                           <property name="label" translatable="yes">Start on space bar</property>
1857                                           <property name="use_underline">True</property>
1858                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1859                                           <property name="focus_on_click">True</property>
1860                                           <property name="active">False</property>
1861                                           <property name="inconsistent">False</property>
1862                                           <property name="draw_indicator">True</property>
1863                                           <signal name="clicked" handler="startonspace" last_modification_time="Tue, 23 Sep 2003 00:45:49 GMT"/>
1864                                         </widget>
1865                                         <packing>
1866                                           <property name="padding">0</property>
1867                                           <property name="expand">False</property>
1868                                           <property name="fill">False</property>
1869                                         </packing>
1870                                       </child>
1871
1872                                       <child>
1873                                         <widget class="GtkCheckButton" id="mouseposbutton">
1874                                           <property name="border_width">2</property>
1875                                           <property name="visible">True</property>
1876                                           <property name="can_focus">True</property>
1877                                           <property name="label" translatable="yes">Start with mouse position:</property>
1878                                           <property name="use_underline">True</property>
1879                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1880                                           <property name="focus_on_click">True</property>
1881                                           <property name="active">False</property>
1882                                           <property name="inconsistent">False</property>
1883                                           <property name="draw_indicator">True</property>
1884                                           <signal name="clicked" handler="startonmousepos" last_modification_time="Tue, 23 Sep 2003 12:00:18 GMT"/>
1885                                         </widget>
1886                                         <packing>
1887                                           <property name="padding">0</property>
1888                                           <property name="expand">False</property>
1889                                           <property name="fill">False</property>
1890                                         </packing>
1891                                       </child>
1892
1893                                       <child>
1894                                         <widget class="GtkAlignment" id="alignment59">
1895                                           <property name="visible">True</property>
1896                                           <property name="xalign">1</property>
1897                                           <property name="yalign">0.5</property>
1898                                           <property name="xscale">0.800000011921</property>
1899                                           <property name="yscale">1</property>
1900                                           <property name="top_padding">0</property>
1901                                           <property name="bottom_padding">0</property>
1902                                           <property name="left_padding">0</property>
1903                                           <property name="right_padding">0</property>
1904
1905                                           <child>
1906                                             <widget class="GtkComboBoxEntry" id="MousePosStyle">
1907                                               <property name="visible">True</property>
1908                                               <property name="items" translatable="yes">Centre circle
1909 Two box</property>
1910                                               <property name="add_tearoffs">False</property>
1911                                               <property name="has_frame">True</property>
1912                                               <property name="focus_on_click">True</property>
1913                                               <signal name="changed" handler="OnMousePosStyleChanged" last_modification_time="Thu, 02 Feb 2006 14:35:30 GMT"/>
1914                                             </widget>
1915                                           </child>
1916                                         </widget>
1917                                         <packing>
1918                                           <property name="padding">0</property>
1919                                           <property name="expand">False</property>
1920                                           <property name="fill">False</property>
1921                                         </packing>
1922                                       </child>
1923
1924                                       <child>
1925                                         <widget class="GtkCheckButton" id="winpausebutton">
1926                                           <property name="border_width">2</property>
1927                                           <property name="visible">True</property>
1928                                           <property name="can_focus">True</property>
1929                                           <property name="label" translatable="yes">Pause outside of canvas</property>
1930                                           <property name="use_underline">True</property>
1931                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1932                                           <property name="focus_on_click">True</property>
1933                                           <property name="active">False</property>
1934                                           <property name="inconsistent">False</property>
1935                                           <property name="draw_indicator">True</property>
1936                                           <signal name="clicked" handler="windowpause" last_modification_time="Fri, 26 Sep 2003 12:35:18 GMT"/>
1937                                         </widget>
1938                                         <packing>
1939                                           <property name="padding">0</property>
1940                                           <property name="expand">False</property>
1941                                           <property name="fill">False</property>
1942                                         </packing>
1943                                       </child>
1944                                     </widget>
1945                                   </child>
1946                                 </widget>
1947                               </child>
1948                             </widget>
1949                           </child>
1950
1951                           <child>
1952                             <widget class="GtkLabel" id="label126">
1953                               <property name="visible">True</property>
1954                               <property name="label" translatable="yes">&lt;b&gt;Starting And Stopping:&lt;/b&gt;</property>
1955                               <property name="use_underline">False</property>
1956                               <property name="use_markup">True</property>
1957                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1958                               <property name="wrap">False</property>
1959                               <property name="selectable">False</property>
1960                               <property name="xalign">0.5</property>
1961                               <property name="yalign">0.5</property>
1962                               <property name="xpad">0</property>
1963                               <property name="ypad">0</property>
1964                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1965                               <property name="width_chars">-1</property>
1966                               <property name="single_line_mode">False</property>
1967                               <property name="angle">0</property>
1968                             </widget>
1969                             <packing>
1970                               <property name="type">label_item</property>
1971                             </packing>
1972                           </child>
1973                         </widget>
1974                         <packing>
1975                           <property name="padding">0</property>
1976                           <property name="expand">False</property>
1977                           <property name="fill">True</property>
1978                         </packing>
1979                       </child>
1980                     </widget>
1981                     <packing>
1982                       <property name="padding">0</property>
1983                       <property name="expand">True</property>
1984                       <property name="fill">True</property>
1985                     </packing>
1986                   </child>
1987                 </widget>
1988                 <packing>
1989                   <property name="tab_expand">False</property>
1990                   <property name="tab_fill">True</property>
1991                 </packing>
1992               </child>
1993
1994               <child>
1995                 <widget class="GtkLabel" id="label114">
1996                   <property name="visible">True</property>
1997                   <property name="label" translatable="yes">Control</property>
1998                   <property name="use_underline">False</property>
1999                   <property name="use_markup">False</property>
2000                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2001                   <property name="wrap">False</property>
2002                   <property name="selectable">False</property>
2003                   <property name="xalign">0.5</property>
2004                   <property name="yalign">0.5</property>
2005                   <property name="xpad">0</property>
2006                   <property name="ypad">0</property>
2007                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2008                   <property name="width_chars">-1</property>
2009                   <property name="single_line_mode">False</property>
2010                   <property name="angle">0</property>
2011                 </widget>
2012                 <packing>
2013                   <property name="type">tab</property>
2014                 </packing>
2015               </child>
2016
2017               <child>
2018                 <widget class="GtkHBox" id="hbox11">
2019                   <property name="visible">True</property>
2020                   <property name="homogeneous">False</property>
2021                   <property name="spacing">0</property>
2022
2023                   <child>
2024                     <widget class="GtkFrame" id="frame7">
2025                       <property name="border_width">8</property>
2026                       <property name="visible">True</property>
2027                       <property name="label_xalign">0</property>
2028                       <property name="label_yalign">0.5</property>
2029                       <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2030
2031                       <child>
2032                         <widget class="GtkAlignment" id="alignment49">
2033                           <property name="visible">True</property>
2034                           <property name="xalign">0.5</property>
2035                           <property name="yalign">0.5</property>
2036                           <property name="xscale">1</property>
2037                           <property name="yscale">1</property>
2038                           <property name="top_padding">0</property>
2039                           <property name="bottom_padding">0</property>
2040                           <property name="left_padding">12</property>
2041                           <property name="right_padding">0</property>
2042
2043                           <child>
2044                             <widget class="GtkVBox" id="vbox26">
2045                               <property name="border_width">8</property>
2046                               <property name="visible">True</property>
2047                               <property name="homogeneous">False</property>
2048                               <property name="spacing">4</property>
2049
2050                               <child>
2051                                 <widget class="GtkCheckButton" id="manual_colour">
2052                                   <property name="visible">True</property>
2053                                   <property name="can_focus">True</property>
2054                                   <property name="label" translatable="yes">Custom colour scheme:</property>
2055                                   <property name="use_underline">True</property>
2056                                   <property name="relief">GTK_RELIEF_NORMAL</property>
2057                                   <property name="focus_on_click">True</property>
2058                                   <property name="active">False</property>
2059                                   <property name="inconsistent">False</property>
2060                                   <property name="draw_indicator">True</property>
2061                                   <signal name="toggled" handler="autocolour_clicked" last_modification_time="Wed, 19 Apr 2006 16:41:05 GMT"/>
2062                                 </widget>
2063                                 <packing>
2064                                   <property name="padding">0</property>
2065                                   <property name="expand">False</property>
2066                                   <property name="fill">False</property>
2067                                 </packing>
2068                               </child>
2069
2070                               <child>
2071                                 <widget class="GtkScrolledWindow" id="scrolledwindow14">
2072                                   <property name="height_request">128</property>
2073                                   <property name="visible">True</property>
2074                                   <property name="can_focus">True</property>
2075                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2076                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2077                                   <property name="shadow_type">GTK_SHADOW_IN</property>
2078                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2079
2080                                   <child>
2081                                     <widget class="GtkTreeView" id="ColorTree">
2082                                       <property name="visible">True</property>
2083                                       <property name="can_focus">True</property>
2084                                       <property name="headers_visible">False</property>
2085                                       <property name="rules_hint">True</property>
2086                                       <property name="reorderable">False</property>
2087                                       <property name="enable_search">False</property>
2088                                       <property name="fixed_height_mode">False</property>
2089                                       <property name="hover_selection">False</property>
2090                                       <property name="hover_expand">False</property>
2091                                     </widget>
2092                                   </child>
2093                                 </widget>
2094                                 <packing>
2095                                   <property name="padding">0</property>
2096                                   <property name="expand">True</property>
2097                                   <property name="fill">True</property>
2098                                 </packing>
2099                               </child>
2100                             </widget>
2101                           </child>
2102                         </widget>
2103                       </child>
2104
2105                       <child>
2106                         <widget class="GtkLabel" id="label118">
2107                           <property name="visible">True</property>
2108                           <property name="label" translatable="yes">&lt;b&gt;Colour Scheme:&lt;/b&gt;</property>
2109                           <property name="use_underline">False</property>
2110                           <property name="use_markup">True</property>
2111                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2112                           <property name="wrap">False</property>
2113                           <property name="selectable">False</property>
2114                           <property name="xalign">0.5</property>
2115                           <property name="yalign">0.5</property>
2116                           <property name="xpad">0</property>
2117                           <property name="ypad">0</property>
2118                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2119                           <property name="width_chars">-1</property>
2120                           <property name="single_line_mode">False</property>
2121                           <property name="angle">0</property>
2122                         </widget>
2123                         <packing>
2124                           <property name="type">label_item</property>
2125                         </packing>
2126                       </child>
2127                     </widget>
2128                     <packing>
2129                       <property name="padding">0</property>
2130                       <property name="expand">True</property>
2131                       <property name="fill">True</property>
2132                     </packing>
2133                   </child>
2134
2135                   <child>
2136                     <widget class="GtkVBox" id="vbox55">
2137                       <property name="visible">True</property>
2138                       <property name="homogeneous">False</property>
2139                       <property name="spacing">0</property>
2140
2141                       <child>
2142                         <widget class="GtkFrame" id="frame9">
2143                           <property name="border_width">8</property>
2144                           <property name="visible">True</property>
2145                           <property name="label_xalign">0</property>
2146                           <property name="label_yalign">0.5</property>
2147                           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2148
2149                           <child>
2150                             <widget class="GtkAlignment" id="alignment51">
2151                               <property name="visible">True</property>
2152                               <property name="xalign">0.5</property>
2153                               <property name="yalign">0.5</property>
2154                               <property name="xscale">1</property>
2155                               <property name="yscale">1</property>
2156                               <property name="top_padding">0</property>
2157                               <property name="bottom_padding">0</property>
2158                               <property name="left_padding">12</property>
2159                               <property name="right_padding">0</property>
2160
2161                               <child>
2162                                 <widget class="GtkVBox" id="vbox16">
2163                                   <property name="border_width">8</property>
2164                                   <property name="visible">True</property>
2165                                   <property name="homogeneous">False</property>
2166                                   <property name="spacing">0</property>
2167
2168                                   <child>
2169                                     <widget class="GtkCheckButton" id="showmousebutton">
2170                                       <property name="border_width">2</property>
2171                                       <property name="visible">True</property>
2172                                       <property name="can_focus">True</property>
2173                                       <property name="label" translatable="yes">Show mouse position</property>
2174                                       <property name="use_underline">True</property>
2175                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2176                                       <property name="focus_on_click">True</property>
2177                                       <property name="active">False</property>
2178                                       <property name="inconsistent">False</property>
2179                                       <property name="draw_indicator">True</property>
2180                                       <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:20 GMT"/>
2181                                     </widget>
2182                                     <packing>
2183                                       <property name="padding">0</property>
2184                                       <property name="expand">False</property>
2185                                       <property name="fill">False</property>
2186                                     </packing>
2187                                   </child>
2188
2189                                   <child>
2190                                     <widget class="GtkCheckButton" id="showmouselinebutton">
2191                                       <property name="border_width">2</property>
2192                                       <property name="visible">True</property>
2193                                       <property name="can_focus">True</property>
2194                                       <property name="label" translatable="yes">Draw line between crosshairs and mouse</property>
2195                                       <property name="use_underline">True</property>
2196                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2197                                       <property name="focus_on_click">True</property>
2198                                       <property name="active">False</property>
2199                                       <property name="inconsistent">False</property>
2200                                       <property name="draw_indicator">True</property>
2201                                       <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:34 GMT"/>
2202                                     </widget>
2203                                     <packing>
2204                                       <property name="padding">0</property>
2205                                       <property name="expand">False</property>
2206                                       <property name="fill">False</property>
2207                                     </packing>
2208                                   </child>
2209
2210                                   <child>
2211                                     <widget class="GtkAlignment" id="alignment21">
2212                                       <property name="visible">True</property>
2213                                       <property name="xalign">0.5</property>
2214                                       <property name="yalign">0.5</property>
2215                                       <property name="xscale">1</property>
2216                                       <property name="yscale">1</property>
2217                                       <property name="top_padding">0</property>
2218                                       <property name="bottom_padding">0</property>
2219                                       <property name="left_padding">18</property>
2220                                       <property name="right_padding">0</property>
2221
2222                                       <child>
2223                                         <widget class="GtkCheckButton" id="thicklinebutton">
2224                                           <property name="border_width">2</property>
2225                                           <property name="visible">True</property>
2226                                           <property name="can_focus">True</property>
2227                                           <property name="label" translatable="yes">Increase line thickness</property>
2228                                           <property name="use_underline">True</property>
2229                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2230                                           <property name="focus_on_click">True</property>
2231                                           <property name="active">False</property>
2232                                           <property name="inconsistent">False</property>
2233                                           <property name="draw_indicator">True</property>
2234                                           <signal name="clicked" handler="ThickLineClicked" last_modification_time="Fri, 05 Aug 2005 08:34:58 GMT"/>
2235                                         </widget>
2236                                       </child>
2237                                     </widget>
2238                                     <packing>
2239                                       <property name="padding">0</property>
2240                                       <property name="expand">False</property>
2241                                       <property name="fill">False</property>
2242                                     </packing>
2243                                   </child>
2244
2245                                   <child>
2246                                     <widget class="GtkCheckButton" id="outlinebutton">
2247                                       <property name="border_width">2</property>
2248                                       <property name="visible">True</property>
2249                                       <property name="can_focus">True</property>
2250                                       <property name="label" translatable="yes">Draw box outlines</property>
2251                                       <property name="use_underline">True</property>
2252                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2253                                       <property name="focus_on_click">True</property>
2254                                       <property name="active">False</property>
2255                                       <property name="inconsistent">False</property>
2256                                       <property name="draw_indicator">True</property>
2257                                       <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:45 GMT"/>
2258                                     </widget>
2259                                     <packing>
2260                                       <property name="padding">0</property>
2261                                       <property name="expand">False</property>
2262                                       <property name="fill">False</property>
2263                                     </packing>
2264                                   </child>
2265                                 </widget>
2266                               </child>
2267                             </widget>
2268                           </child>
2269
2270                           <child>
2271                             <widget class="GtkLabel" id="label120">
2272                               <property name="visible">True</property>
2273                               <property name="label" translatable="yes">&lt;b&gt;Appearance Options:&lt;/b&gt;</property>
2274                               <property name="use_underline">False</property>
2275                               <property name="use_markup">True</property>
2276                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2277                               <property name="wrap">False</property>
2278                               <property name="selectable">False</property>
2279                               <property name="xalign">0.5</property>
2280                               <property name="yalign">0.5</property>
2281                               <property name="xpad">0</property>
2282                               <property name="ypad">0</property>
2283                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2284                               <property name="width_chars">-1</property>
2285                               <property name="single_line_mode">False</property>
2286                               <property name="angle">0</property>
2287                             </widget>
2288                             <packing>
2289                               <property name="type">label_item</property>
2290                             </packing>
2291                           </child>
2292                         </widget>
2293                         <packing>
2294                           <property name="padding">0</property>
2295                           <property name="expand">False</property>
2296                           <property name="fill">True</property>
2297                         </packing>
2298                       </child>
2299
2300                       <child>
2301                         <widget class="GtkFrame" id="frame15">
2302                           <property name="border_width">8</property>
2303                           <property name="visible">True</property>
2304                           <property name="label_xalign">0</property>
2305                           <property name="label_yalign">0.5</property>
2306                           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2307
2308                           <child>
2309                             <widget class="GtkAlignment" id="alignment57">
2310                               <property name="visible">True</property>
2311                               <property name="xalign">0.5</property>
2312                               <property name="yalign">0.5</property>
2313                               <property name="xscale">1</property>
2314                               <property name="yscale">1</property>
2315                               <property name="top_padding">0</property>
2316                               <property name="bottom_padding">0</property>
2317                               <property name="left_padding">12</property>
2318                               <property name="right_padding">0</property>
2319
2320                               <child>
2321                                 <widget class="GtkVBox" id="vbox56">
2322                                   <property name="border_width">8</property>
2323                                   <property name="visible">True</property>
2324                                   <property name="homogeneous">False</property>
2325                                   <property name="spacing">0</property>
2326
2327                                   <child>
2328                                     <widget class="GtkButton" id="dasherfontbutton">
2329                                       <property name="visible">True</property>
2330                                       <property name="can_focus">True</property>
2331                                       <property name="label" translatable="yes"></property>
2332                                       <property name="use_underline">True</property>
2333                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2334                                       <property name="focus_on_click">True</property>
2335                                       <signal name="clicked" handler="set_dasher_font" last_modification_time="Wed, 28 Jun 2006 11:14:26 GMT"/>
2336                                     </widget>
2337                                     <packing>
2338                                       <property name="padding">0</property>
2339                                       <property name="expand">False</property>
2340                                       <property name="fill">False</property>
2341                                     </packing>
2342                                   </child>
2343
2344                                   <child>
2345                                     <widget class="GtkRadioButton" id="fontsizenormal">
2346                                       <property name="border_width">2</property>
2347                                       <property name="visible">True</property>
2348                                       <property name="can_focus">True</property>
2349                                       <property name="label" translatable="yes">Small font</property>
2350                                       <property name="use_underline">True</property>
2351                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2352                                       <property name="focus_on_click">True</property>
2353                                       <property name="active">False</property>
2354                                       <property name="inconsistent">False</property>
2355                                       <property name="draw_indicator">True</property>
2356                                       <signal name="toggled" handler="set_dasher_fontsize" last_modification_time="Wed, 28 Jun 2006 12:51:26 GMT"/>
2357                                     </widget>
2358                                     <packing>
2359                                       <property name="padding">0</property>
2360                                       <property name="expand">False</property>
2361                                       <property name="fill">False</property>
2362                                     </packing>
2363                                   </child>
2364
2365                                   <child>
2366                                     <widget class="GtkRadioButton" id="fontsizelarge">
2367                                       <property name="border_width">2</property>
2368                                       <property name="visible">True</property>
2369                                       <property name="can_focus">True</property>
2370                                       <property name="label" translatable="yes">Large font </property>
2371                                       <property name="use_underline">True</property>
2372                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2373                                       <property name="focus_on_click">True</property>
2374                                       <property name="active">False</property>
2375                                       <property name="inconsistent">False</property>
2376                                       <property name="draw_indicator">True</property>
2377                                       <property name="group">fontsizenormal</property>
2378                                       <signal name="toggled" handler="set_dasher_fontsize" last_modification_time="Wed, 28 Jun 2006 12:50:31 GMT"/>
2379                                     </widget>
2380                                     <packing>
2381                                       <property name="padding">0</property>
2382                                       <property name="expand">False</property>
2383                                       <property name="fill">False</property>
2384                                     </packing>
2385                                   </child>
2386
2387                                   <child>
2388                                     <widget class="GtkRadioButton" id="fontsizevlarge">
2389                                       <property name="border_width">2</property>
2390                                       <property name="visible">True</property>
2391                                       <property name="can_focus">True</property>
2392                                       <property name="label" translatable="yes">Very large font</property>
2393                                       <property name="use_underline">True</property>
2394                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2395                                       <property name="focus_on_click">True</property>
2396                                       <property name="active">False</property>
2397                                       <property name="inconsistent">False</property>
2398                                       <property name="draw_indicator">True</property>
2399                                       <property name="group">fontsizenormal</property>
2400                                       <signal name="toggled" handler="set_dasher_fontsize" last_modification_time="Wed, 28 Jun 2006 12:51:11 GMT"/>
2401                                     </widget>
2402                                     <packing>
2403                                       <property name="padding">0</property>
2404                                       <property name="expand">False</property>
2405                                       <property name="fill">False</property>
2406                                     </packing>
2407                                   </child>
2408                                 </widget>
2409                               </child>
2410                             </widget>
2411                           </child>
2412
2413                           <child>
2414                             <widget class="GtkLabel" id="label128">
2415                               <property name="visible">True</property>
2416                               <property name="label" translatable="yes">&lt;b&gt;Dasher Font:&lt;/b&gt;</property>
2417                               <property name="use_underline">False</property>
2418                               <property name="use_markup">True</property>
2419                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2420                               <property name="wrap">False</property>
2421                               <property name="selectable">False</property>
2422                               <property name="xalign">0.5</property>
2423                               <property name="yalign">0.5</property>
2424                               <property name="xpad">0</property>
2425                               <property name="ypad">0</property>
2426                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2427                               <property name="width_chars">-1</property>
2428                               <property name="single_line_mode">False</property>
2429                               <property name="angle">0</property>
2430                             </widget>
2431                             <packing>
2432                               <property name="type">label_item</property>
2433                             </packing>
2434                           </child>
2435                         </widget>
2436                         <packing>
2437                           <property name="padding">0</property>
2438                           <property name="expand">False</property>
2439                           <property name="fill">True</property>
2440                         </packing>
2441                       </child>
2442                     </widget>
2443                     <packing>
2444                       <property name="padding">0</property>
2445                       <property name="expand">True</property>
2446                       <property name="fill">True</property>
2447                     </packing>
2448                   </child>
2449                 </widget>
2450                 <packing>
2451                   <property name="tab_expand">False</property>
2452                   <property name="tab_fill">True</property>
2453                 </packing>
2454               </child>
2455
2456               <child>
2457                 <widget class="GtkLabel" id="label117">
2458                   <property name="visible">True</property>
2459                   <property name="label" translatable="yes">Appearance</property>
2460                   <property name="use_underline">False</property>
2461                   <property name="use_markup">False</property>
2462                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2463                   <property name="wrap">False</property>
2464                   <property name="selectable">False</property>
2465                   <property name="xalign">0.5</property>
2466                   <property name="yalign">0.5</property>
2467                   <property name="xpad">0</property>
2468                   <property name="ypad">0</property>
2469                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2470                   <property name="width_chars">-1</property>
2471                   <property name="single_line_mode">False</property>
2472                   <property name="angle">0</property>
2473                 </widget>
2474                 <packing>
2475                   <property name="type">tab</property>
2476                 </packing>
2477               </child>
2478
2479               <child>
2480                 <widget class="GtkVBox" id="vbox57">
2481                   <property name="visible">True</property>
2482                   <property name="homogeneous">False</property>
2483                   <property name="spacing">0</property>
2484
2485                   <child>
2486                     <widget class="GtkFrame" id="frame10">
2487                       <property name="border_width">8</property>
2488                       <property name="visible">True</property>
2489                       <property name="label_xalign">0</property>
2490                       <property name="label_yalign">0.5</property>
2491                       <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2492
2493                       <child>
2494                         <widget class="GtkAlignment" id="alignment52">
2495                           <property name="border_width">8</property>
2496                           <property name="visible">True</property>
2497                           <property name="xalign">0.5</property>
2498                           <property name="yalign">0.5</property>
2499                           <property name="xscale">1</property>
2500                           <property name="yscale">1</property>
2501                           <property name="top_padding">0</property>
2502                           <property name="bottom_padding">0</property>
2503                           <property name="left_padding">12</property>
2504                           <property name="right_padding">0</property>
2505
2506                           <child>
2507                             <widget class="GtkScrolledWindow" id="scrolledwindow10">
2508                               <property name="visible">True</property>
2509                               <property name="can_focus">True</property>
2510                               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2511                               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2512                               <property name="shadow_type">GTK_SHADOW_IN</property>
2513                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2514
2515                               <child>
2516                                 <widget class="GtkTreeView" id="action_tree_view">
2517                                   <property name="visible">True</property>
2518                                   <property name="can_focus">True</property>
2519                                   <property name="headers_visible">True</property>
2520                                   <property name="rules_hint">True</property>
2521                                   <property name="reorderable">False</property>
2522                                   <property name="enable_search">True</property>
2523                                   <property name="fixed_height_mode">False</property>
2524                                   <property name="hover_selection">False</property>
2525                                   <property name="hover_expand">False</property>
2526                                 </widget>
2527                               </child>
2528                             </widget>
2529                           </child>
2530                         </widget>
2531                       </child>
2532
2533                       <child>
2534                         <widget class="GtkLabel" id="label122">
2535                           <property name="visible">True</property>
2536                           <property name="label" translatable="yes">&lt;b&gt;Actions:&lt;/b&gt;</property>
2537                           <property name="use_underline">False</property>
2538                           <property name="use_markup">True</property>
2539                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2540                           <property name="wrap">False</property>
2541                           <property name="selectable">False</property>
2542                           <property name="xalign">0.5</property>
2543                           <property name="yalign">0.5</property>
2544                           <property name="xpad">0</property>
2545                           <property name="ypad">0</property>
2546                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2547                           <property name="width_chars">-1</property>
2548                           <property name="single_line_mode">False</property>
2549                           <property name="angle">0</property>
2550                         </widget>
2551                         <packing>
2552                           <property name="type">label_item</property>
2553                         </packing>
2554                       </child>
2555                     </widget>
2556                     <packing>
2557                       <property name="padding">0</property>
2558                       <property name="expand">True</property>
2559                       <property name="fill">True</property>
2560                     </packing>
2561                   </child>
2562
2563                   <child>
2564                     <widget class="GtkHBox" id="hbox12">
2565                       <property name="visible">True</property>
2566                       <property name="homogeneous">False</property>
2567                       <property name="spacing">0</property>
2568
2569                       <child>
2570                         <widget class="GtkVBox" id="vbox52">
2571                           <property name="visible">True</property>
2572                           <property name="homogeneous">False</property>
2573                           <property name="spacing">0</property>
2574
2575                           <child>
2576                             <widget class="GtkFrame" id="frame12">
2577                               <property name="border_width">8</property>
2578                               <property name="visible">True</property>
2579                               <property name="label_xalign">0</property>
2580                               <property name="label_yalign">0.5</property>
2581                               <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2582
2583                               <child>
2584                                 <widget class="GtkAlignment" id="alignment54">
2585                                   <property name="visible">True</property>
2586                                   <property name="xalign">0.5</property>
2587                                   <property name="yalign">0.5</property>
2588                                   <property name="xscale">1</property>
2589                                   <property name="yscale">1</property>
2590                                   <property name="top_padding">0</property>
2591                                   <property name="bottom_padding">0</property>
2592                                   <property name="left_padding">12</property>
2593                                   <property name="right_padding">0</property>
2594
2595                                   <child>
2596                                     <widget class="GtkVBox" id="vbox53">
2597                                       <property name="border_width">8</property>
2598                                       <property name="visible">True</property>
2599                                       <property name="homogeneous">False</property>
2600                                       <property name="spacing">0</property>
2601
2602                                       <child>
2603                                         <widget class="GtkCheckButton" id="timestampbutton">
2604                                           <property name="border_width">2</property>
2605                                           <property name="visible">True</property>
2606                                           <property name="can_focus">True</property>
2607                                           <property name="label" translatable="yes">Timestamp new files</property>
2608                                           <property name="use_underline">True</property>
2609                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2610                                           <property name="focus_on_click">True</property>
2611                                           <property name="active">False</property>
2612                                           <property name="inconsistent">False</property>
2613                                           <property name="draw_indicator">True</property>
2614                                           <signal name="clicked" handler="generic_bool_changed" last_modification_time="Wed, 19 Apr 2006 17:42:28 GMT"/>
2615                                         </widget>
2616                                         <packing>
2617                                           <property name="padding">0</property>
2618                                           <property name="expand">False</property>
2619                                           <property name="fill">False</property>
2620                                         </packing>
2621                                       </child>
2622
2623                                       <child>
2624                                         <widget class="GtkCheckButton" id="toolbarbutton">
2625                                           <property name="border_width">2</property>
2626                                           <property name="visible">True</property>
2627                                           <property name="can_focus">True</property>
2628                                           <property name="label" translatable="yes">Show toolbar</property>
2629                                           <property name="use_underline">True</property>
2630                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2631                                           <property name="focus_on_click">True</property>
2632                                           <property name="active">False</property>
2633                                           <property name="inconsistent">False</property>
2634                                           <property name="draw_indicator">True</property>
2635                                           <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:00 GMT"/>
2636                                         </widget>
2637                                         <packing>
2638                                           <property name="padding">0</property>
2639                                           <property name="expand">False</property>
2640                                           <property name="fill">False</property>
2641                                         </packing>
2642                                       </child>
2643
2644                                       <child>
2645                                         <widget class="GtkCheckButton" id="speedsliderbutton">
2646                                           <property name="border_width">2</property>
2647                                           <property name="visible">True</property>
2648                                           <property name="can_focus">True</property>
2649                                           <property name="label" translatable="yes">Show speed slider</property>
2650                                           <property name="use_underline">True</property>
2651                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2652                                           <property name="focus_on_click">True</property>
2653                                           <property name="active">False</property>
2654                                           <property name="inconsistent">False</property>
2655                                           <property name="draw_indicator">True</property>
2656                                           <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:10 GMT"/>
2657                                         </widget>
2658                                         <packing>
2659                                           <property name="padding">0</property>
2660                                           <property name="expand">False</property>
2661                                           <property name="fill">False</property>
2662                                         </packing>
2663                                       </child>
2664
2665                                       <child>
2666                                         <widget class="GtkCheckButton" id="control_controlmode">
2667                                           <property name="border_width">2</property>
2668                                           <property name="visible">True</property>
2669                                           <property name="can_focus">True</property>
2670                                           <property name="label" translatable="yes">Control mode</property>
2671                                           <property name="use_underline">True</property>
2672                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2673                                           <property name="focus_on_click">True</property>
2674                                           <property name="active">False</property>
2675                                           <property name="inconsistent">False</property>
2676                                           <property name="draw_indicator">True</property>
2677                                           <signal name="clicked" handler="generic_bool_changed" last_modification_time="Wed, 19 Apr 2006 17:42:19 GMT"/>
2678                                         </widget>
2679                                         <packing>
2680                                           <property name="padding">0</property>
2681                                           <property name="expand">False</property>
2682                                           <property name="fill">False</property>
2683                                         </packing>
2684                                       </child>
2685                                     </widget>
2686                                   </child>
2687                                 </widget>
2688                               </child>
2689
2690                               <child>
2691                                 <widget class="GtkLabel" id="label124">
2692                                   <property name="visible">True</property>
2693                                   <property name="label" translatable="yes">&lt;b&gt;Application Options:&lt;/b&gt;</property>
2694                                   <property name="use_underline">False</property>
2695                                   <property name="use_markup">True</property>
2696                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2697                                   <property name="wrap">False</property>
2698                                   <property name="selectable">False</property>
2699                                   <property name="xalign">0.5</property>
2700                                   <property name="yalign">0.5</property>
2701                                   <property name="xpad">0</property>
2702                                   <property name="ypad">0</property>
2703                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2704                                   <property name="width_chars">-1</property>
2705                                   <property name="single_line_mode">False</property>
2706                                   <property name="angle">0</property>
2707                                 </widget>
2708                                 <packing>
2709                                   <property name="type">label_item</property>
2710                                 </packing>
2711                               </child>
2712                             </widget>
2713                             <packing>
2714                               <property name="padding">0</property>
2715                               <property name="expand">False</property>
2716                               <property name="fill">True</property>
2717                             </packing>
2718                           </child>
2719
2720                           <child>
2721                             <widget class="GtkFrame" id="frame16">
2722                               <property name="border_width">8</property>
2723                               <property name="visible">True</property>
2724                               <property name="label_xalign">0</property>
2725                               <property name="label_yalign">0.5</property>
2726                               <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2727
2728                               <child>
2729                                 <widget class="GtkAlignment" id="alignment58">
2730                                   <property name="visible">True</property>
2731                                   <property name="xalign">0.5</property>
2732                                   <property name="yalign">0.5</property>
2733                                   <property name="xscale">1</property>
2734                                   <property name="yscale">1</property>
2735                                   <property name="top_padding">0</property>
2736                                   <property name="bottom_padding">0</property>
2737                                   <property name="left_padding">12</property>
2738                                   <property name="right_padding">0</property>
2739
2740                                   <child>
2741                                     <widget class="GtkButton" id="editfontbutton">
2742                                       <property name="border_width">8</property>
2743                                       <property name="visible">True</property>
2744                                       <property name="can_focus">True</property>
2745                                       <property name="label" translatable="yes"></property>
2746                                       <property name="use_underline">True</property>
2747                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2748                                       <property name="focus_on_click">True</property>
2749                                       <signal name="clicked" handler="set_edit_font" last_modification_time="Wed, 28 Jun 2006 16:11:25 GMT"/>
2750                                     </widget>
2751                                   </child>
2752                                 </widget>
2753                               </child>
2754
2755                               <child>
2756                                 <widget class="GtkLabel" id="label129">
2757                                   <property name="visible">True</property>
2758                                   <property name="label" translatable="yes">&lt;b&gt;Editor Font:&lt;/b&gt;</property>
2759                                   <property name="use_underline">False</property>
2760                                   <property name="use_markup">True</property>
2761                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2762                                   <property name="wrap">False</property>
2763                                   <property name="selectable">False</property>
2764                                   <property name="xalign">0.5</property>
2765                                   <property name="yalign">0.5</property>
2766                                   <property name="xpad">0</property>
2767                                   <property name="ypad">0</property>
2768                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2769                                   <property name="width_chars">-1</property>
2770                                   <property name="single_line_mode">False</property>
2771                                   <property name="angle">0</property>
2772                                 </widget>
2773                                 <packing>
2774                                   <property name="type">label_item</property>
2775                                 </packing>
2776                               </child>
2777                             </widget>
2778                             <packing>
2779                               <property name="padding">0</property>
2780                               <property name="expand">False</property>
2781                               <property name="fill">True</property>
2782                             </packing>
2783                           </child>
2784                         </widget>
2785                         <packing>
2786                           <property name="padding">0</property>
2787                           <property name="expand">True</property>
2788                           <property name="fill">True</property>
2789                         </packing>
2790                       </child>
2791
2792                       <child>
2793                         <widget class="GtkVBox" id="vbox58">
2794                           <property name="visible">True</property>
2795                           <property name="homogeneous">False</property>
2796                           <property name="spacing">0</property>
2797
2798                           <child>
2799                             <widget class="GtkFrame" id="frame11">
2800                               <property name="border_width">8</property>
2801                               <property name="visible">True</property>
2802                               <property name="label_xalign">0</property>
2803                               <property name="label_yalign">0.5</property>
2804                               <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2805
2806                               <child>
2807                                 <widget class="GtkAlignment" id="alignment53">
2808                                   <property name="visible">True</property>
2809                                   <property name="xalign">0.5</property>
2810                                   <property name="yalign">0.5</property>
2811                                   <property name="xscale">1</property>
2812                                   <property name="yscale">1</property>
2813                                   <property name="top_padding">0</property>
2814                                   <property name="bottom_padding">0</property>
2815                                   <property name="left_padding">12</property>
2816                                   <property name="right_padding">0</property>
2817
2818                                   <child>
2819                                     <widget class="GtkVBox" id="vbox41">
2820                                       <property name="border_width">8</property>
2821                                       <property name="visible">True</property>
2822                                       <property name="homogeneous">False</property>
2823                                       <property name="spacing">0</property>
2824
2825                                       <child>
2826                                         <widget class="GtkRadioButton" id="appstyle_classic">
2827                                           <property name="border_width">2</property>
2828                                           <property name="visible">True</property>
2829                                           <property name="can_focus">True</property>
2830                                           <property name="label" translatable="yes">Stand-alone</property>
2831                                           <property name="use_underline">True</property>
2832                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2833                                           <property name="focus_on_click">True</property>
2834                                           <property name="active">False</property>
2835                                           <property name="inconsistent">False</property>
2836                                           <property name="draw_indicator">True</property>
2837                                           <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:25:53 GMT"/>
2838                                         </widget>
2839                                         <packing>
2840                                           <property name="padding">0</property>
2841                                           <property name="expand">False</property>
2842                                           <property name="fill">False</property>
2843                                         </packing>
2844                                       </child>
2845
2846                                       <child>
2847                                         <widget class="GtkRadioButton" id="appstyle_compose">
2848                                           <property name="border_width">2</property>
2849                                           <property name="visible">True</property>
2850                                           <property name="can_focus">True</property>
2851                                           <property name="label" translatable="yes">Composition</property>
2852                                           <property name="use_underline">True</property>
2853                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2854                                           <property name="focus_on_click">True</property>
2855                                           <property name="active">False</property>
2856                                           <property name="inconsistent">False</property>
2857                                           <property name="draw_indicator">True</property>
2858                                           <property name="group">appstyle_classic</property>
2859                                           <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:26:08 GMT"/>
2860                                         </widget>
2861                                         <packing>
2862                                           <property name="padding">0</property>
2863                                           <property name="expand">False</property>
2864                                           <property name="fill">False</property>
2865                                         </packing>
2866                                       </child>
2867
2868                                       <child>
2869                                         <widget class="GtkRadioButton" id="appstyle_direct">
2870                                           <property name="border_width">2</property>
2871                                           <property name="visible">True</property>
2872                                           <property name="can_focus">True</property>
2873                                           <property name="label" translatable="yes">Direct entry</property>
2874                                           <property name="use_underline">True</property>
2875                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2876                                           <property name="focus_on_click">True</property>
2877                                           <property name="active">False</property>
2878                                           <property name="inconsistent">False</property>
2879                                           <property name="draw_indicator">True</property>
2880                                           <property name="group">appstyle_classic</property>
2881                                           <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:26:23 GMT"/>
2882                                         </widget>
2883                                         <packing>
2884                                           <property name="padding">0</property>
2885                                           <property name="expand">False</property>
2886                                           <property name="fill">False</property>
2887                                         </packing>
2888                                       </child>
2889
2890                                       <child>
2891                                         <widget class="GtkRadioButton" id="appstyle_fullscreen">
2892                                           <property name="border_width">2</property>
2893                                           <property name="visible">True</property>
2894                                           <property name="can_focus">True</property>
2895                                           <property name="label" translatable="yes">Full Screen</property>
2896                                           <property name="use_underline">True</property>
2897                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2898                                           <property name="focus_on_click">True</property>
2899                                           <property name="active">False</property>
2900                                           <property name="inconsistent">False</property>
2901                                           <property name="draw_indicator">True</property>
2902                                           <property name="group">appstyle_classic</property>
2903                                           <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:26:23 GMT"/>
2904                                         </widget>
2905                                         <packing>
2906                                           <property name="padding">0</property>
2907                                           <property name="expand">False</property>
2908                                           <property name="fill">False</property>
2909                                         </packing>
2910                                       </child>
2911
2912                                       <child>
2913                                         <widget class="GtkCheckButton" id="dockbutton">
2914                                           <property name="border_width">2</property>
2915                                           <property name="visible">True</property>
2916                                           <property name="can_focus">True</property>
2917                                           <property name="label" translatable="yes">Dock application window</property>
2918                                           <property name="use_underline">True</property>
2919                                           <property name="relief">GTK_RELIEF_NORMAL</property>
2920                                           <property name="focus_on_click">True</property>
2921                                           <property name="active">False</property>
2922                                           <property name="inconsistent">False</property>
2923                                           <property name="draw_indicator">True</property>
2924                                           <signal name="clicked" handler="generic_bool_changed" last_modification_time="Thu, 25 May 2006 12:33:18 GMT"/>
2925                                         </widget>
2926                                         <packing>
2927                                           <property name="padding">0</property>
2928                                           <property name="expand">False</property>
2929                                           <property name="fill">False</property>
2930                                         </packing>
2931                                       </child>
2932                                     </widget>
2933                                   </child>
2934                                 </widget>
2935                               </child>
2936
2937                               <child>
2938                                 <widget class="GtkLabel" id="label123">
2939                                   <property name="visible">True</property>
2940                                   <property name="label" translatable="yes">&lt;b&gt;Application Style:&lt;/b&gt;</property>
2941                                   <property name="use_underline">False</property>
2942                                   <property name="use_markup">True</property>
2943                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2944                                   <property name="wrap">False</property>
2945                                   <property name="selectable">False</property>
2946                                   <property name="xalign">0.5</property>
2947                                   <property name="yalign">0.5</property>
2948                                   <property name="xpad">0</property>
2949                                   <property name="ypad">0</property>
2950                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2951                                   <property name="width_chars">-1</property>
2952                                   <property name="single_line_mode">False</property>
2953                                   <property name="angle">0</property>
2954                                 </widget>
2955                                 <packing>
2956                                   <property name="type">label_item</property>
2957                                 </packing>
2958                               </child>
2959                             </widget>
2960                             <packing>
2961                               <property name="padding">0</property>
2962                               <property name="expand">False</property>
2963                               <property name="fill">True</property>
2964                             </packing>
2965                           </child>
2966                         </widget>
2967                         <packing>
2968                           <property name="padding">0</property>
2969                           <property name="expand">True</property>
2970                           <property name="fill">True</property>
2971                         </packing>
2972                       </child>
2973                     </widget>
2974                     <packing>
2975                       <property name="padding">0</property>
2976                       <property name="expand">True</property>
2977                       <property name="fill">True</property>
2978                     </packing>
2979                   </child>
2980                 </widget>
2981                 <packing>
2982                   <property name="tab_expand">False</property>
2983                   <property name="tab_fill">True</property>
2984                 </packing>
2985               </child>
2986
2987               <child>
2988                 <widget class="GtkLabel" id="label121">
2989                   <property name="visible">True</property>
2990                   <property name="label" translatable="yes">Application</property>
2991                   <property name="use_underline">False</property>
2992                   <property name="use_markup">False</property>
2993                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2994                   <property name="wrap">False</property>
2995                   <property name="selectable">False</property>
2996                   <property name="xalign">0.5</property>
2997                   <property name="yalign">0.5</property>
2998                   <property name="xpad">0</property>
2999                   <property name="ypad">0</property>
3000                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3001                   <property name="width_chars">-1</property>
3002                   <property name="single_line_mode">False</property>
3003                   <property name="angle">0</property>
3004                 </widget>
3005                 <packing>
3006                   <property name="type">tab</property>
3007                 </packing>
3008               </child>
3009             </widget>
3010           </child>
3011         </widget>
3012         <packing>
3013           <property name="padding">0</property>
3014           <property name="expand">True</property>
3015           <property name="fill">True</property>
3016         </packing>
3017       </child>
3018
3019       <child>
3020         <widget class="GtkAlignment" id="alignment2">
3021           <property name="visible">True</property>
3022           <property name="xalign">0.5</property>
3023           <property name="yalign">0.5</property>
3024           <property name="xscale">1</property>
3025           <property name="yscale">1</property>
3026           <property name="top_padding">0</property>
3027           <property name="bottom_padding">0</property>
3028           <property name="left_padding">0</property>
3029           <property name="right_padding">0</property>
3030
3031           <child>
3032             <widget class="GtkHButtonBox" id="hbuttonbox1">
3033               <property name="visible">True</property>
3034               <property name="layout_style">GTK_BUTTONBOX_END</property>
3035               <property name="spacing">0</property>
3036
3037               <child>
3038                 <widget class="GtkButton" id="button11">
3039                   <property name="border_width">5</property>
3040                   <property name="visible">True</property>
3041                   <property name="can_default">True</property>
3042                   <property name="can_focus">True</property>
3043                   <property name="label">gtk-close</property>
3044                   <property name="use_stock">True</property>
3045                   <property name="relief">GTK_RELIEF_NORMAL</property>
3046                   <property name="focus_on_click">True</property>
3047                   <signal name="clicked" handler="preferences_hide" last_modification_time="Tue, 23 Sep 2003 22:55:19 GMT"/>
3048                 </widget>
3049               </child>
3050             </widget>
3051           </child>
3052         </widget>
3053         <packing>
3054           <property name="padding">0</property>
3055           <property name="expand">False</property>
3056           <property name="fill">True</property>
3057         </packing>
3058       </child>
3059     </widget>
3060   </child>
3061 </widget>
3062
3063 <widget class="GtkFileSelection" id="open_fileselector">
3064   <property name="border_width">10</property>
3065   <property name="title" translatable="yes">Select File</property>
3066   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3067   <property name="window_position">GTK_WIN_POS_NONE</property>
3068   <property name="modal">False</property>
3069   <property name="resizable">True</property>
3070   <property name="destroy_with_parent">True</property>
3071   <property name="decorated">True</property>
3072   <property name="skip_taskbar_hint">False</property>
3073   <property name="skip_pager_hint">False</property>
3074   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3075   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3076   <property name="focus_on_map">True</property>
3077   <property name="urgency_hint">False</property>
3078   <property name="show_fileops">True</property>
3079   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
3080
3081   <child internal-child="cancel_button">
3082     <widget class="GtkButton" id="cancel_button1">
3083       <property name="visible">True</property>
3084       <property name="can_default">True</property>
3085       <property name="can_focus">True</property>
3086       <property name="relief">GTK_RELIEF_NORMAL</property>
3087       <property name="focus_on_click">True</property>
3088     </widget>
3089   </child>
3090
3091   <child internal-child="ok_button">
3092     <widget class="GtkButton" id="ok_button1">
3093       <property name="visible">True</property>
3094       <property name="can_default">True</property>
3095       <property name="can_focus">True</property>
3096       <property name="relief">GTK_RELIEF_NORMAL</property>
3097       <property name="focus_on_click">True</property>
3098     </widget>
3099   </child>
3100 </widget>
3101
3102 <widget class="GtkFontSelectionDialog" id="dasher_fontselector">
3103   <property name="border_width">4</property>
3104   <property name="title" translatable="yes">Select Font</property>
3105   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3106   <property name="window_position">GTK_WIN_POS_NONE</property>
3107   <property name="modal">False</property>
3108   <property name="resizable">True</property>
3109   <property name="destroy_with_parent">False</property>
3110   <property name="decorated">True</property>
3111   <property name="skip_taskbar_hint">False</property>
3112   <property name="skip_pager_hint">False</property>
3113   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3114   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3115   <property name="focus_on_map">True</property>
3116   <property name="urgency_hint">False</property>
3117   <signal name="delete_event" handler="dasher_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:22:16 GMT"/>
3118
3119   <child internal-child="cancel_button">
3120     <widget class="GtkButton" id="dasher_font_cancel">
3121       <property name="visible">True</property>
3122       <property name="can_default">True</property>
3123       <property name="can_focus">True</property>
3124       <property name="label">gtk-cancel</property>
3125       <property name="use_stock">True</property>
3126       <property name="relief">GTK_RELIEF_NORMAL</property>
3127       <property name="focus_on_click">True</property>
3128       <signal name="clicked" handler="dasher_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:21:14 GMT"/>
3129     </widget>
3130   </child>
3131
3132   <child internal-child="apply_button">
3133     <widget class="GtkButton" id="dasher_font_apply">
3134       <property name="visible">True</property>
3135       <property name="can_default">True</property>
3136       <property name="can_focus">True</property>
3137       <property name="label">gtk-apply</property>
3138       <property name="use_stock">True</property>
3139       <property name="relief">GTK_RELIEF_NORMAL</property>
3140       <property name="focus_on_click">True</property>
3141       <signal name="clicked" handler="dasher_font_apply_cb" last_modification_time="Thu, 11 May 2006 15:21:38 GMT"/>
3142     </widget>
3143   </child>
3144
3145   <child internal-child="ok_button">
3146     <widget class="GtkButton" id="dasher_font_ok">
3147       <property name="visible">True</property>
3148       <property name="can_default">True</property>
3149       <property name="can_focus">True</property>
3150       <property name="label">gtk-ok</property>
3151       <property name="use_stock">True</property>
3152       <property name="relief">GTK_RELIEF_NORMAL</property>
3153       <property name="focus_on_click">True</property>
3154       <signal name="clicked" handler="dasher_font_ok_cb" last_modification_time="Thu, 11 May 2006 15:22:03 GMT"/>
3155     </widget>
3156   </child>
3157
3158   <child internal-child="font_selection">
3159     <widget class="GtkFontSelection" id="font_selection1">
3160       <property name="border_width">4</property>
3161       <property name="visible">True</property>
3162       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
3163     </widget>
3164     <packing>
3165       <property name="padding">0</property>
3166       <property name="expand">True</property>
3167       <property name="fill">True</property>
3168     </packing>
3169   </child>
3170 </widget>
3171
3172 <widget class="GtkFontSelectionDialog" id="edit_fontselector">
3173   <property name="border_width">4</property>
3174   <property name="title" translatable="yes">Select Font</property>
3175   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3176   <property name="window_position">GTK_WIN_POS_NONE</property>
3177   <property name="modal">False</property>
3178   <property name="resizable">True</property>
3179   <property name="destroy_with_parent">False</property>
3180   <property name="decorated">True</property>
3181   <property name="skip_taskbar_hint">False</property>
3182   <property name="skip_pager_hint">False</property>
3183   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3184   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3185   <property name="focus_on_map">True</property>
3186   <property name="urgency_hint">False</property>
3187   <signal name="close" handler="edit_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:22:37 GMT"/>
3188
3189   <child internal-child="cancel_button">
3190     <widget class="GtkButton" id="edit_font_cancel">
3191       <property name="visible">True</property>
3192       <property name="can_default">True</property>
3193       <property name="can_focus">True</property>
3194       <property name="label">gtk-cancel</property>
3195       <property name="use_stock">True</property>
3196       <property name="relief">GTK_RELIEF_NORMAL</property>
3197       <property name="focus_on_click">True</property>
3198       <signal name="clicked" handler="edit_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:20:27 GMT"/>
3199     </widget>
3200   </child>
3201
3202   <child internal-child="apply_button">
3203     <widget class="GtkButton" id="edit_font_apply">
3204       <property name="visible">True</property>
3205       <property name="can_default">True</property>
3206       <property name="can_focus">True</property>
3207       <property name="label">gtk-apply</property>
3208       <property name="use_stock">True</property>
3209       <property name="relief">GTK_RELIEF_NORMAL</property>
3210       <property name="focus_on_click">True</property>
3211       <signal name="clicked" handler="edit_font_apply_cb" last_modification_time="Thu, 11 May 2006 15:20:19 GMT"/>
3212     </widget>
3213   </child>
3214
3215   <child internal-child="ok_button">
3216     <widget class="GtkButton" id="edit_font_ok">
3217       <property name="visible">True</property>
3218       <property name="can_default">True</property>
3219       <property name="can_focus">True</property>
3220       <property name="label">gtk-ok</property>
3221       <property name="use_stock">True</property>
3222       <property name="relief">GTK_RELIEF_NORMAL</property>
3223       <property name="focus_on_click">True</property>
3224       <signal name="clicked" handler="edit_font_ok_cb" last_modification_time="Thu, 11 May 2006 15:19:55 GMT"/>
3225     </widget>
3226   </child>
3227
3228   <child internal-child="font_selection">
3229     <widget class="GtkFontSelection" id="font_selection_2">
3230       <property name="border_width">4</property>
3231       <property name="visible">True</property>
3232       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
3233     </widget>
3234     <packing>
3235       <property name="padding">0</property>
3236       <property name="expand">True</property>
3237       <property name="fill">True</property>
3238     </packing>
3239   </child>
3240 </widget>
3241
3242 <widget class="GtkFileSelection" id="save_fileselector">
3243   <property name="border_width">10</property>
3244   <property name="title" translatable="yes">Select File</property>
3245   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3246   <property name="window_position">GTK_WIN_POS_NONE</property>
3247   <property name="modal">False</property>
3248   <property name="resizable">True</property>
3249   <property name="destroy_with_parent">True</property>
3250   <property name="decorated">True</property>
3251   <property name="skip_taskbar_hint">False</property>
3252   <property name="skip_pager_hint">False</property>
3253   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3254   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3255   <property name="focus_on_map">True</property>
3256   <property name="urgency_hint">False</property>
3257   <property name="show_fileops">True</property>
3258   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
3259
3260   <child internal-child="cancel_button">
3261     <widget class="GtkButton" id="button14">
3262       <property name="visible">True</property>
3263       <property name="can_default">True</property>
3264       <property name="can_focus">True</property>
3265       <property name="relief">GTK_RELIEF_NORMAL</property>
3266       <property name="focus_on_click">True</property>
3267     </widget>
3268   </child>
3269
3270   <child internal-child="ok_button">
3271     <widget class="GtkButton" id="button15">
3272       <property name="visible">True</property>
3273       <property name="can_default">True</property>
3274       <property name="can_focus">True</property>
3275       <property name="relief">GTK_RELIEF_NORMAL</property>
3276       <property name="focus_on_click">True</property>
3277     </widget>
3278   </child>
3279 </widget>
3280
3281 <widget class="GtkFileSelection" id="append_fileselector">
3282   <property name="border_width">10</property>
3283   <property name="title" translatable="yes">Select File</property>
3284   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3285   <property name="window_position">GTK_WIN_POS_NONE</property>
3286   <property name="modal">False</property>
3287   <property name="resizable">True</property>
3288   <property name="destroy_with_parent">True</property>
3289   <property name="decorated">True</property>
3290   <property name="skip_taskbar_hint">False</property>
3291   <property name="skip_pager_hint">False</property>
3292   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3293   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3294   <property name="focus_on_map">True</property>
3295   <property name="urgency_hint">False</property>
3296   <property name="show_fileops">True</property>
3297   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
3298
3299   <child internal-child="cancel_button">
3300     <widget class="GtkButton" id="button16">
3301       <property name="visible">True</property>
3302       <property name="can_default">True</property>
3303       <property name="can_focus">True</property>
3304       <property name="relief">GTK_RELIEF_NORMAL</property>
3305       <property name="focus_on_click">True</property>
3306     </widget>
3307   </child>
3308
3309   <child internal-child="ok_button">
3310     <widget class="GtkButton" id="button17">
3311       <property name="visible">True</property>
3312       <property name="can_default">True</property>
3313       <property name="can_focus">True</property>
3314       <property name="relief">GTK_RELIEF_NORMAL</property>
3315       <property name="focus_on_click">True</property>
3316     </widget>
3317   </child>
3318 </widget>
3319
3320 <widget class="GtkFileSelection" id="import_fileselector">
3321   <property name="border_width">10</property>
3322   <property name="title" translatable="yes">Select File</property>
3323   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3324   <property name="window_position">GTK_WIN_POS_NONE</property>
3325   <property name="modal">False</property>
3326   <property name="resizable">True</property>
3327   <property name="destroy_with_parent">True</property>
3328   <property name="decorated">True</property>
3329   <property name="skip_taskbar_hint">False</property>
3330   <property name="skip_pager_hint">False</property>
3331   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3332   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3333   <property name="focus_on_map">True</property>
3334   <property name="urgency_hint">False</property>
3335   <property name="show_fileops">True</property>
3336   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
3337
3338   <child internal-child="cancel_button">
3339     <widget class="GtkButton" id="button18">
3340       <property name="visible">True</property>
3341       <property name="can_default">True</property>
3342       <property name="can_focus">True</property>
3343       <property name="relief">GTK_RELIEF_NORMAL</property>
3344       <property name="focus_on_click">True</property>
3345     </widget>
3346   </child>
3347
3348   <child internal-child="ok_button">
3349     <widget class="GtkButton" id="button19">
3350       <property name="visible">True</property>
3351       <property name="can_default">True</property>
3352       <property name="can_focus">True</property>
3353       <property name="relief">GTK_RELIEF_NORMAL</property>
3354       <property name="focus_on_click">True</property>
3355     </widget>
3356   </child>
3357 </widget>
3358
3359 <widget class="GtkFileSelection" id="save_and_quit_fileselector">
3360   <property name="border_width">10</property>
3361   <property name="title" translatable="yes">Select File</property>
3362   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3363   <property name="window_position">GTK_WIN_POS_NONE</property>
3364   <property name="modal">False</property>
3365   <property name="resizable">True</property>
3366   <property name="destroy_with_parent">True</property>
3367   <property name="decorated">True</property>
3368   <property name="skip_taskbar_hint">False</property>
3369   <property name="skip_pager_hint">False</property>
3370   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3371   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3372   <property name="focus_on_map">True</property>
3373   <property name="urgency_hint">False</property>
3374   <property name="show_fileops">True</property>
3375   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
3376
3377   <child internal-child="cancel_button">
3378     <widget class="GtkButton" id="button20">
3379       <property name="visible">True</property>
3380       <property name="can_default">True</property>
3381       <property name="can_focus">True</property>
3382       <property name="relief">GTK_RELIEF_NORMAL</property>
3383       <property name="focus_on_click">True</property>
3384     </widget>
3385   </child>
3386
3387   <child internal-child="ok_button">
3388     <widget class="GtkButton" id="button21">
3389       <property name="visible">True</property>
3390       <property name="can_default">True</property>
3391       <property name="can_focus">True</property>
3392       <property name="relief">GTK_RELIEF_NORMAL</property>
3393       <property name="focus_on_click">True</property>
3394     </widget>
3395   </child>
3396 </widget>
3397
3398 <widget class="GtkWindow" id="HiddenWindow">
3399   <property name="width_request">128</property>
3400   <property name="height_request">64</property>
3401   <property name="title" translatable="yes">Dasher</property>
3402   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3403   <property name="window_position">GTK_WIN_POS_NONE</property>
3404   <property name="modal">False</property>
3405   <property name="resizable">False</property>
3406   <property name="destroy_with_parent">False</property>
3407   <property name="decorated">True</property>
3408   <property name="skip_taskbar_hint">False</property>
3409   <property name="skip_pager_hint">False</property>
3410   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3411   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3412   <property name="focus_on_map">True</property>
3413   <property name="urgency_hint">False</property>
3414
3415   <child>
3416     <widget class="GtkButton" id="RestoreButton">
3417       <property name="visible">True</property>
3418       <property name="can_focus">True</property>
3419       <property name="label" translatable="yes">Dasher</property>
3420       <property name="use_underline">True</property>
3421       <property name="relief">GTK_RELIEF_NORMAL</property>
3422       <property name="focus_on_click">True</property>
3423     </widget>
3424   </child>
3425 </widget>
3426
3427 <widget class="GtkWindow" id="lock_window">
3428   <property name="visible">True</property>
3429   <property name="title" translatable="yes">Please Wait...</property>
3430   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3431   <property name="window_position">GTK_WIN_POS_NONE</property>
3432   <property name="modal">False</property>
3433   <property name="resizable">True</property>
3434   <property name="destroy_with_parent">False</property>
3435   <property name="decorated">True</property>
3436   <property name="skip_taskbar_hint">False</property>
3437   <property name="skip_pager_hint">False</property>
3438   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3439   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3440   <property name="focus_on_map">True</property>
3441   <property name="urgency_hint">False</property>
3442
3443   <child>
3444     <widget class="GtkVBox" id="vbox43">
3445       <property name="visible">True</property>
3446       <property name="homogeneous">False</property>
3447       <property name="spacing">0</property>
3448
3449       <child>
3450         <widget class="GtkLabel" id="lock_message">
3451           <property name="visible">True</property>
3452           <property name="label"></property>
3453           <property name="use_underline">False</property>
3454           <property name="use_markup">False</property>
3455           <property name="justify">GTK_JUSTIFY_LEFT</property>
3456           <property name="wrap">False</property>
3457           <property name="selectable">False</property>
3458           <property name="xalign">0.5</property>
3459           <property name="yalign">0.5</property>
3460           <property name="xpad">0</property>
3461           <property name="ypad">0</property>
3462           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3463           <property name="width_chars">-1</property>
3464           <property name="single_line_mode">False</property>
3465           <property name="angle">0</property>
3466         </widget>
3467         <packing>
3468           <property name="padding">8</property>
3469           <property name="expand">False</property>
3470           <property name="fill">False</property>
3471         </packing>
3472       </child>
3473
3474       <child>
3475         <widget class="GtkAlignment" id="alignment38">
3476           <property name="border_width">8</property>
3477           <property name="visible">True</property>
3478           <property name="xalign">0.5</property>
3479           <property name="yalign">0.5</property>
3480           <property name="xscale">1</property>
3481           <property name="yscale">1</property>
3482           <property name="top_padding">0</property>
3483           <property name="bottom_padding">0</property>
3484           <property name="left_padding">0</property>
3485           <property name="right_padding">0</property>
3486
3487           <child>
3488             <widget class="GtkProgressBar" id="lock_progress">
3489               <property name="visible">True</property>
3490               <property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
3491               <property name="fraction">0</property>
3492               <property name="pulse_step">0.10000000149</property>
3493               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3494             </widget>
3495           </child>
3496         </widget>
3497         <packing>
3498           <property name="padding">0</property>
3499           <property name="expand">False</property>
3500           <property name="fill">False</property>
3501         </packing>
3502       </child>
3503     </widget>
3504   </child>
3505 </widget>
3506
3507 </glade-interface>