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