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