Src/Gtk2/dasher.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="title" translatable="yes">Dasher</property>
   8   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   9   <property name="window_position">GTK_WIN_POS_NONE</property>
  10   <property name="modal">False</property>
  11   <property name="resizable">True</property>
  12   <property name="destroy_with_parent">False</property>
  13   <property name="decorated">True</property>
  14   <property name="skip_taskbar_hint">False</property>
  15   <property name="skip_pager_hint">False</property>
  16   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  17   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  18   <signal name="delete_event" handler="ask_save_before_exit" last_modification_time="Mon, 22 Sep 2003 19:53:44 GMT"/>
  19   <signal name="map" handler="on_window_map" last_modification_time="Sun, 05 Mar 2006 20:22:17 GMT"/>
  20
  21   <child>
  22     <widget class="GtkVBox" id="vbox1">
  23       <property name="visible">True</property>
  24       <property name="homogeneous">False</property>
  25       <property name="spacing">0</property>
  26
  27       <child>
  28         <widget class="GtkMenuBar" id="dasher_menu_bar">
  29           <property name="visible">True</property>
  30
  31           <child>
  32             <widget class="GtkMenuItem" id="menuitem4">
  33               <property name="visible">True</property>
  34               <property name="label" translatable="yes">_File</property>
  35               <property name="use_underline">True</property>
  36
  37               <child>
  38                 <widget class="GtkMenu" id="menuitem4_menu">
  39
  40                   <child>
  41                     <widget class="GtkImageMenuItem" id="menunew">
  42                       <property name="visible">True</property>
  43                       <property name="label">gtk-new</property>
  44                       <property name="use_stock">True</property>
  45                       <signal name="activate" handler="select_new_file" last_modification_time="Tue, 23 Sep 2003 11:16:26 GMT"/>
  46                     </widget>
  47                   </child>
  48
  49                   <child>
  50                     <widget class="GtkImageMenuItem" id="menuopen">
  51                       <property name="visible">True</property>
  52                       <property name="label">gtk-open</property>
  53                       <property name="use_stock">True</property>
  54                       <signal name="activate" handler="select_open_file" last_modification_time="Tue, 23 Sep 2003 11:16:40 GMT"/>
  55                     </widget>
  56                   </child>
  57
  58                   <child>
  59                     <widget class="GtkImageMenuItem" id="menusave">
  60                       <property name="visible">True</property>
  61                       <property name="label">gtk-save</property>
  62                       <property name="use_stock">True</property>
  63                       <signal name="activate" handler="save_file" last_modification_time="Tue, 23 Sep 2003 11:16:59 GMT"/>
  64                     </widget>
  65                   </child>
  66
  67                   <child>
  68                     <widget class="GtkImageMenuItem" id="menusaveas">
  69                       <property name="visible">True</property>
  70                       <property name="label">gtk-save-as</property>
  71                       <property name="use_stock">True</property>
  72                       <signal name="activate" handler="select_save_file_as" last_modification_time="Tue, 23 Sep 2003 11:17:19 GMT"/>
  73                     </widget>
  74                   </child>
  75
  76                   <child>
  77                     <widget class="GtkMenuItem" id="menuappend">
  78                       <property name="visible">True</property>
  79                       <property name="label" translatable="yes">_Append to file</property>
  80                       <property name="use_underline">True</property>
  81                       <signal name="activate" handler="select_append_file" last_modification_time="Tue, 23 Sep 2003 11:19:29 GMT"/>
  82                     </widget>
  83                   </child>
  84
  85                   <child>
  86                     <widget class="GtkSeparatorMenuItem" id="separator1">
  87                       <property name="visible">True</property>
  88                     </widget>
  89                   </child>
  90
  91                   <child>
  92                     <widget class="GtkMenuItem" id="menuimport">
  93                       <property name="visible">True</property>
  94                       <property name="label" translatable="yes">_Import Training Text</property>
  95                       <property name="use_underline">True</property>
  96                       <signal name="activate" handler="select_import_file" last_modification_time="Tue, 23 Sep 2003 11:19:29 GMT"/>
  97                     </widget>
  98                   </child>
  99
 100                   <child>
 101                     <widget class="GtkImageMenuItem" id="menuquit">
 102                       <property name="visible">True</property>
 103                       <property name="label">gtk-quit</property>
 104                       <property name="use_stock">True</property>
 105                       <signal name="activate" handler="ask_save_before_exit" last_modification_time="Tue, 23 Sep 2003 11:17:37 GMT"/>
 106                     </widget>
 107                   </child>
 108                 </widget>
 109               </child>
 110             </widget>
 111           </child>
 112
 113           <child>
 114             <widget class="GtkMenuItem" id="menuitem5">
 115               <property name="visible">True</property>
 116               <property name="label" translatable="yes">_Edit</property>
 117               <property name="use_underline">True</property>
 118
 119               <child>
 120                 <widget class="GtkMenu" id="menuitem5_menu">
 121
 122                   <child>
 123                     <widget class="GtkImageMenuItem" id="menucut">
 124                       <property name="visible">True</property>
 125                       <property name="label">gtk-cut</property>
 126                       <property name="use_stock">True</property>
 127                       <signal name="activate" handler="clipboard_cut" last_modification_time="Tue, 23 Sep 2003 11:19:57 GMT"/>
 128                     </widget>
 129                   </child>
 130
 131                   <child>
 132                     <widget class="GtkImageMenuItem" id="menucopy">
 133                       <property name="visible">True</property>
 134                       <property name="label">gtk-copy</property>
 135                       <property name="use_stock">True</property>
 136                       <signal name="activate" handler="clipboard_copy" last_modification_time="Tue, 23 Sep 2003 11:20:12 GMT"/>
 137                     </widget>
 138                   </child>
 139
 140                   <child>
 141                     <widget class="GtkImageMenuItem" id="menupaste">
 142                       <property name="visible">True</property>
 143                       <property name="label">gtk-paste</property>
 144                       <property name="use_stock">True</property>
 145                       <signal name="activate" handler="clipboard_paste" last_modification_time="Tue, 23 Sep 2003 11:20:26 GMT"/>
 146                     </widget>
 147                   </child>
 148
 149                   <child>
 150                     <widget class="GtkMenuItem" id="menucopyall">
 151                       <property name="visible">True</property>
 152                       <property name="label" translatable="yes">Copy _All</property>
 153                       <property name="use_underline">True</property>
 154                       <signal name="activate" handler="clipboard_copy_all" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 155                     </widget>
 156                   </child>
 157                 </widget>
 158               </child>
 159             </widget>
 160           </child>
 161
 162           <child>
 163             <widget class="GtkMenuItem" id="options1">
 164               <property name="visible">True</property>
 165               <property name="label" translatable="yes">_Options</property>
 166               <property name="use_underline">True</property>
 167
 168               <child>
 169                 <widget class="GtkMenu" id="options1_menu">
 170
 171                   <child>
 172                     <widget class="GtkImageMenuItem" id="menupreferences">
 173                       <property name="visible">True</property>
 174                       <property name="label">gtk-preferences</property>
 175                       <property name="use_stock">True</property>
 176                       <signal name="activate" handler="preferences_display" last_modification_time="Tue, 23 Sep 2003 00:29:06 GMT"/>
 177                     </widget>
 178                   </child>
 179
 180                   <child>
 181                     <widget class="GtkMenuItem" id="edit_font1">
 182                       <property name="visible">True</property>
 183                       <property name="label" translatable="yes">_Edit Font</property>
 184                       <property name="use_underline">True</property>
 185                       <signal name="activate" handler="set_edit_font" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 186                     </widget>
 187                   </child>
 188
 189                   <child>
 190                     <widget class="GtkMenuItem" id="dasher_font1">
 191                       <property name="visible">True</property>
 192                       <property name="label" translatable="yes">_Dasher Font</property>
 193                       <property name="use_underline">True</property>
 194                       <signal name="activate" handler="set_dasher_font" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 195                     </widget>
 196                   </child>
 197
 198                   <child>
 199                     <widget class="GtkMenuItem" id="dasher_font_size1">
 200                       <property name="visible">True</property>
 201                       <property name="label" translatable="yes">_Dasher Font Size</property>
 202                       <property name="use_underline">True</property>
 203
 204                       <child>
 205                         <widget class="GtkMenu" id="dasher_font_size1_menu">
 206
 207                           <child>
 208                             <widget class="GtkRadioMenuItem" id="fontsizenormal">
 209                               <property name="visible">True</property>
 210                               <property name="label" translatable="yes">Normal</property>
 211                               <property name="use_underline">True</property>
 212                               <property name="active">False</property>
 213                               <signal name="activate" handler="set_dasher_fontsize" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 214                             </widget>
 215                           </child>
 216
 217                           <child>
 218                             <widget class="GtkRadioMenuItem" id="fontsizelarge">
 219                               <property name="visible">True</property>
 220                               <property name="label" translatable="yes">Large</property>
 221                               <property name="use_underline">True</property>
 222                               <property name="active">False</property>
 223                               <property name="group">fontsizenormal</property>
 224                               <signal name="activate" handler="set_dasher_fontsize" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 225                             </widget>
 226                           </child>
 227
 228                           <child>
 229                             <widget class="GtkRadioMenuItem" id="fontsizevlarge">
 230                               <property name="visible">True</property>
 231                               <property name="label" translatable="yes">Very Large</property>
 232                               <property name="use_underline">True</property>
 233                               <property name="active">True</property>
 234                               <property name="group">fontsizenormal</property>
 235                               <signal name="activate" handler="set_dasher_fontsize" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 236                             </widget>
 237                           </child>
 238                         </widget>
 239                       </child>
 240                     </widget>
 241                   </child>
 242
 243                   <child>
 244                     <widget class="GtkMenuItem" id="reset_fonts1">
 245                       <property name="visible">True</property>
 246                       <property name="label" translatable="yes">_Reset fonts</property>
 247                       <property name="use_underline">True</property>
 248                       <signal name="activate" handler="reset_fonts" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 249                     </widget>
 250                   </child>
 251                 </widget>
 252               </child>
 253             </widget>
 254           </child>
 255
 256           <child>
 257             <widget class="GtkMenuItem" id="menuitem7">
 258               <property name="visible">True</property>
 259               <property name="label" translatable="yes">_Help</property>
 260               <property name="use_underline">True</property>
 261
 262               <child>
 263                 <widget class="GtkMenu" id="menuitem7_menu">
 264
 265                   <child>
 266                     <widget class="GtkImageMenuItem" id="help_contents">
 267                       <property name="visible">True</property>
 268                       <property name="label" translatable="yes">_Contents</property>
 269                       <property name="use_underline">True</property>
 270                       <signal name="activate" handler="show_help" last_modification_time="Thu, 20 Apr 2006 18:51:53 GMT"/>
 271
 272                       <child internal-child="image">
 273                         <widget class="GtkImage" id="image1">
 274                           <property name="visible">True</property>
 275                           <property name="stock">gtk-help</property>
 276                           <property name="icon_size">1</property>
 277                           <property name="xalign">0.5</property>
 278                           <property name="yalign">0.5</property>
 279                           <property name="xpad">0</property>
 280                           <property name="ypad">0</property>
 281                         </widget>
 282                       </child>
 283                     </widget>
 284                   </child>
 285
 286                   <child>
 287                     <widget class="GtkImageMenuItem" id="menuabout">
 288                       <property name="visible">True</property>
 289                       <property name="label" translatable="yes">_About</property>
 290                       <property name="use_underline">True</property>
 291                       <signal name="activate" handler="about_dasher" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 292
 293                       <child internal-child="image">
 294                         <widget class="GtkImage" id="image2">
 295                           <property name="visible">True</property>
 296                           <property name="stock">gtk-about</property>
 297                           <property name="icon_size">1</property>
 298                           <property name="xalign">0.5</property>
 299                           <property name="yalign">0.5</property>
 300                           <property name="xpad">0</property>
 301                           <property name="ypad">0</property>
 302                         </widget>
 303                       </child>
 304                     </widget>
 305                   </child>
 306                 </widget>
 307               </child>
 308             </widget>
 309           </child>
 310         </widget>
 311         <packing>
 312           <property name="padding">0</property>
 313           <property name="expand">False</property>
 314           <property name="fill">False</property>
 315         </packing>
 316       </child>
 317
 318       <child>
 319         <widget class="GtkToolbar" id="toolbar">
 320           <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 321           <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 322           <property name="tooltips">True</property>
 323           <property name="show_arrow">True</property>
 324
 325           <child>
 326             <widget class="GtkToolButton" id="New">
 327               <property name="visible">True</property>
 328               <property name="tooltip" translatable="yes">New file</property>
 329               <property name="stock_id">gtk-new</property>
 330               <property name="visible_horizontal">True</property>
 331               <property name="visible_vertical">True</property>
 332               <property name="is_important">False</property>
 333               <signal name="clicked" handler="select_new_file" last_modification_time="Mon, 22 Sep 2003 23:40:14 GMT"/>
 334             </widget>
 335             <packing>
 336               <property name="expand">False</property>
 337               <property name="homogeneous">True</property>
 338             </packing>
 339           </child>
 340
 341           <child>
 342             <widget class="GtkToolButton" id="Open">
 343               <property name="visible">True</property>
 344               <property name="tooltip" translatable="yes">Open file</property>
 345               <property name="stock_id">gtk-open</property>
 346               <property name="visible_horizontal">True</property>
 347               <property name="visible_vertical">True</property>
 348               <property name="is_important">False</property>
 349               <signal name="clicked" handler="select_open_file" last_modification_time="Mon, 22 Sep 2003 23:40:28 GMT"/>
 350             </widget>
 351             <packing>
 352               <property name="expand">False</property>
 353               <property name="homogeneous">True</property>
 354             </packing>
 355           </child>
 356
 357           <child>
 358             <widget class="GtkToolButton" id="Save">
 359               <property name="visible">True</property>
 360               <property name="tooltip" translatable="yes">Save file</property>
 361               <property name="stock_id">gtk-save</property>
 362               <property name="visible_horizontal">True</property>
 363               <property name="visible_vertical">True</property>
 364               <property name="is_important">False</property>
 365               <signal name="clicked" handler="save_file" last_modification_time="Mon, 22 Sep 2003 23:40:42 GMT"/>
 366             </widget>
 367             <packing>
 368               <property name="expand">False</property>
 369               <property name="homogeneous">True</property>
 370             </packing>
 371           </child>
 372
 373           <child>
 374             <widget class="GtkToolButton" id="SaveAs">
 375               <property name="visible">True</property>
 376               <property name="tooltip" translatable="yes">Save file as</property>
 377               <property name="stock_id">gtk-save-as</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="clicked" handler="select_save_file_as" last_modification_time="Mon, 22 Sep 2003 23:40:58 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="GtkSeparatorToolItem" id="separatortoolitem1">
 391               <property name="visible">True</property>
 392               <property name="draw">True</property>
 393               <property name="visible_horizontal">True</property>
 394               <property name="visible_vertical">True</property>
 395             </widget>
 396             <packing>
 397               <property name="expand">False</property>
 398               <property name="homogeneous">False</property>
 399             </packing>
 400           </child>
 401
 402           <child>
 403             <widget class="GtkToolButton" id="Cut">
 404               <property name="visible">True</property>
 405               <property name="tooltip" translatable="yes">Cut</property>
 406               <property name="stock_id">gtk-cut</property>
 407               <property name="visible_horizontal">True</property>
 408               <property name="visible_vertical">True</property>
 409               <property name="is_important">False</property>
 410               <signal name="clicked" handler="clipboard_cut" last_modification_time="Mon, 22 Sep 2003 23:41:37 GMT"/>
 411             </widget>
 412             <packing>
 413               <property name="expand">False</property>
 414               <property name="homogeneous">True</property>
 415             </packing>
 416           </child>
 417
 418           <child>
 419             <widget class="GtkToolButton" id="Copy">
 420               <property name="visible">True</property>
 421               <property name="tooltip" translatable="yes">Copy</property>
 422               <property name="stock_id">gtk-copy</property>
 423               <property name="visible_horizontal">True</property>
 424               <property name="visible_vertical">True</property>
 425               <property name="is_important">False</property>
 426               <signal name="clicked" handler="clipboard_copy" last_modification_time="Mon, 22 Sep 2003 23:41:29 GMT"/>
 427             </widget>
 428             <packing>
 429               <property name="expand">False</property>
 430               <property name="homogeneous">True</property>
 431             </packing>
 432           </child>
 433
 434           <child>
 435             <widget class="GtkToolButton" id="Paste">
 436               <property name="visible">True</property>
 437               <property name="tooltip" translatable="yes">Paste</property>
 438               <property name="stock_id">gtk-paste</property>
 439               <property name="visible_horizontal">True</property>
 440               <property name="visible_vertical">True</property>
 441               <property name="is_important">False</property>
 442               <signal name="clicked" handler="clipboard_paste" last_modification_time="Mon, 22 Sep 2003 23:41:50 GMT"/>
 443             </widget>
 444             <packing>
 445               <property name="expand">False</property>
 446               <property name="homogeneous">True</property>
 447             </packing>
 448           </child>
 449         </widget>
 450         <packing>
 451           <property name="padding">0</property>
 452           <property name="expand">False</property>
 453           <property name="fill">False</property>
 454         </packing>
 455       </child>
 456
 457       <child>
 458         <widget class="GtkHPaned" id="hpaned1">
 459           <property name="visible">True</property>
 460           <property name="can_focus">True</property>
 461
 462           <child>
 463             <widget class="Custom" id="DasherControl">
 464               <property name="visible">True</property>
 465               <property name="can_focus">True</property>
 466               <property name="has_focus">True</property>
 467               <property name="creation_function">create_dasher_control</property>
 468               <property name="int1">0</property>
 469               <property name="int2">0</property>
 470               <property name="last_modification_time">Sun, 05 Mar 2006 19:33:03 GMT</property>
 471               <signal name="dasher_changed" handler="parameter_notification" last_modification_time="Sun, 05 Mar 2006 19:45:23 GMT"/>
 472               <signal name="dasher_start" handler="handle_start_event" last_modification_time="Sun, 05 Mar 2006 19:45:35 GMT"/>
 473               <signal name="dasher_stop" handler="handle_stop_event" last_modification_time="Sun, 05 Mar 2006 19:45:43 GMT"/>
 474               <signal name="dasher_control" handler="handle_control_event" last_modification_time="Sun, 05 Mar 2006 19:45:53 GMT"/>
 475               <signal name="dasher_edit_insert" handler="gtk2_edit_output_callback" last_modification_time="Sun, 05 Mar 2006 19:46:13 GMT"/>
 476               <signal name="dasher_edit_delete" handler="gtk2_edit_delete_callback" last_modification_time="Sun, 05 Mar 2006 19:46:32 GMT"/>
 477               <signal name="dasher_context_request" handler="handle_context_request" last_modification_time="Sun, 05 Mar 2006 19:46:54 GMT"/>
 478               <signal name="dasher_request_settings" handler="handle_request_settings" last_modification_time="Sun, 05 Mar 2006 19:47:12 GMT"/>
 479               <signal name="focus_in_event" handler="focus_in_event" last_modification_time="Sun, 05 Mar 2006 19:47:28 GMT"/>
 480               <signal name="dasher_lock_info" handler="on_lock_info" last_modification_time="Wed, 22 Mar 2006 10:38:44 GMT"/>
 481               <signal name="dasher_message" handler="on_message" last_modification_time="Wed, 22 Mar 2006 14:24:04 GMT"/>
 482             </widget>
 483             <packing>
 484               <property name="shrink">True</property>
 485               <property name="resize">False</property>
 486             </packing>
 487           </child>
 488
 489           <child>
 490             <widget class="GtkHBox" id="vbox40">
 491               <property name="visible">True</property>
 492               <property name="homogeneous">False</property>
 493               <property name="spacing">0</property>
 494
 495               <child>
 496                 <widget class="GtkScrolledWindow" id="scrolledwindow5">
 497                   <property name="visible">True</property>
 498                   <property name="can_focus">True</property>
 499                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 500                   <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
 501                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 502                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 503
 504                   <child>
 505                     <widget class="GtkViewport" id="viewport4">
 506                       <property name="visible">True</property>
 507                       <property name="shadow_type">GTK_SHADOW_IN</property>
 508
 509                       <child>
 510                         <widget class="GtkTextView" id="the_text_view">
 511                           <property name="visible">True</property>
 512                           <property name="can_default">True</property>
 513                           <property name="can_focus">True</property>
 514                           <property name="events">GDK_BUTTON_PRESS_MASK | GDK_KEY_PRESS_MASK</property>
 515                           <property name="editable">True</property>
 516                           <property name="overwrite">False</property>
 517                           <property name="accepts_tab">True</property>
 518                           <property name="justification">GTK_JUSTIFY_LEFT</property>
 519                           <property name="wrap_mode">GTK_WRAP_WORD</property>
 520                           <property name="cursor_visible">True</property>
 521                           <property name="pixels_above_lines">0</property>
 522                           <property name="pixels_below_lines">0</property>
 523                           <property name="pixels_inside_wrap">0</property>
 524                           <property name="left_margin">0</property>
 525                           <property name="right_margin">0</property>
 526                           <property name="indent">0</property>
 527                           <property name="text" translatable="yes"></property>
 528                         </widget>
 529                       </child>
 530                     </widget>
 531                   </child>
 532                 </widget>
 533                 <packing>
 534                   <property name="padding">0</property>
 535                   <property name="expand">True</property>
 536                   <property name="fill">True</property>
 537                 </packing>
 538               </child>
 539
 540               <child>
 541                 <widget class="GtkVBox" id="vbox39">
 542                   <property name="homogeneous">False</property>
 543                   <property name="spacing">0</property>
 544
 545                   <child>
 546                     <placeholder/>
 547                   </child>
 548
 549                   <child>
 550                     <placeholder/>
 551                   </child>
 552                 </widget>
 553                 <packing>
 554                   <property name="padding">0</property>
 555                   <property name="expand">False</property>
 556                   <property name="fill">True</property>
 557                 </packing>
 558               </child>
 559             </widget>
 560             <packing>
 561               <property name="shrink">True</property>
 562               <property name="resize">True</property>
 563             </packing>
 564           </child>
 565         </widget>
 566         <packing>
 567           <property name="padding">0</property>
 568           <property name="expand">True</property>
 569           <property name="fill">True</property>
 570         </packing>
 571       </child>
 572     </widget>
 573   </child>
 574 </widget>
 575
 576 <widget class="GtkWindow" id="preferences">
 577   <property name="title" translatable="yes">Dasher Preferences</property>
 578   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 579   <property name="window_position">GTK_WIN_POS_NONE</property>
 580   <property name="modal">False</property>
 581   <property name="resizable">True</property>
 582   <property name="destroy_with_parent">False</property>
 583   <property name="decorated">True</property>
 584   <property name="skip_taskbar_hint">False</property>
 585   <property name="skip_pager_hint">False</property>
 586   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 587   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 588   <signal name="delete_event" handler="preferences_hide" last_modification_time="Tue, 23 Sep 2003 00:37:43 GMT"/>
 589
 590   <child>
 591     <widget class="GtkVBox" id="vbox2">
 592       <property name="visible">True</property>
 593       <property name="homogeneous">False</property>
 594       <property name="spacing">0</property>
 595
 596       <child>
 597         <widget class="GtkAlignment" id="alignment15">
 598           <property name="visible">True</property>
 599           <property name="xalign">0.5</property>
 600           <property name="yalign">0.5</property>
 601           <property name="xscale">1</property>
 602           <property name="yscale">1</property>
 603           <property name="top_padding">0</property>
 604           <property name="bottom_padding">0</property>
 605           <property name="left_padding">0</property>
 606           <property name="right_padding">0</property>
 607
 608           <child>
 609             <widget class="GtkNotebook" id="notebook1">
 610               <property name="visible">True</property>
 611               <property name="can_focus">True</property>
 612               <property name="show_tabs">True</property>
 613               <property name="show_border">True</property>
 614               <property name="tab_pos">GTK_POS_TOP</property>
 615               <property name="scrollable">False</property>
 616               <property name="enable_popup">False</property>
 617
 618               <child>
 619                 <widget class="GtkVBox" id="vbox9">
 620                   <property name="visible">True</property>
 621                   <property name="homogeneous">False</property>
 622                   <property name="spacing">0</property>
 623
 624                   <child>
 625                     <widget class="GtkVBox" id="vbox28">
 626                       <property name="border_width">8</property>
 627                       <property name="visible">True</property>
 628                       <property name="homogeneous">False</property>
 629                       <property name="spacing">0</property>
 630
 631                       <child>
 632                         <widget class="GtkLabel" id="label15">
 633                           <property name="visible">True</property>
 634                           <property name="label" translatable="yes">&lt;b&gt;Alphabet Selection:&lt;/b&gt;</property>
 635                           <property name="use_underline">False</property>
 636                           <property name="use_markup">True</property>
 637                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 638                           <property name="wrap">False</property>
 639                           <property name="selectable">False</property>
 640                           <property name="xalign">0</property>
 641                           <property name="yalign">0.5</property>
 642                           <property name="xpad">0</property>
 643                           <property name="ypad">4</property>
 644                         </widget>
 645                         <packing>
 646                           <property name="padding">0</property>
 647                           <property name="expand">False</property>
 648                           <property name="fill">False</property>
 649                         </packing>
 650                       </child>
 651
 652                       <child>
 653                         <widget class="GtkScrolledWindow" id="scrolledwindow8">
 654                           <property name="height_request">360</property>
 655                           <property name="visible">True</property>
 656                           <property name="can_focus">True</property>
 657                           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 658                           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 659                           <property name="shadow_type">GTK_SHADOW_NONE</property>
 660                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 661
 662                           <child>
 663                             <widget class="GtkViewport" id="viewport6">
 664                               <property name="visible">True</property>
 665                               <property name="shadow_type">GTK_SHADOW_IN</property>
 666
 667                               <child>
 668                                 <widget class="GtkTreeView" id="AlphabetTree">
 669                                   <property name="visible">True</property>
 670                                   <property name="can_focus">True</property>
 671                                   <property name="headers_visible">False</property>
 672                                   <property name="rules_hint">True</property>
 673                                   <property name="reorderable">False</property>
 674                                   <property name="enable_search">False</property>
 675                                 </widget>
 676                               </child>
 677                             </widget>
 678                           </child>
 679                         </widget>
 680                         <packing>
 681                           <property name="padding">0</property>
 682                           <property name="expand">True</property>
 683                           <property name="fill">True</property>
 684                         </packing>
 685                       </child>
 686                     </widget>
 687                     <packing>
 688                       <property name="padding">0</property>
 689                       <property name="expand">True</property>
 690                       <property name="fill">True</property>
 691                     </packing>
 692                   </child>
 693
 694                   <child>
 695                     <widget class="GtkVBox" id="vbox26">
 696                       <property name="border_width">8</property>
 697                       <property name="visible">True</property>
 698                       <property name="homogeneous">False</property>
 699                       <property name="spacing">0</property>
 700
 701                       <child>
 702                         <widget class="GtkLabel" id="label16">
 703                           <property name="visible">True</property>
 704                           <property name="label" translatable="yes">&lt;b&gt;Color Selection:&lt;/b&gt;</property>
 705                           <property name="use_underline">False</property>
 706                           <property name="use_markup">True</property>
 707                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 708                           <property name="wrap">False</property>
 709                           <property name="selectable">False</property>
 710                           <property name="xalign">0</property>
 711                           <property name="yalign">0.5</property>
 712                           <property name="xpad">0</property>
 713                           <property name="ypad">4</property>
 714                         </widget>
 715                         <packing>
 716                           <property name="padding">0</property>
 717                           <property name="expand">False</property>
 718                           <property name="fill">False</property>
 719                         </packing>
 720                       </child>
 721
 722                       <child>
 723                         <widget class="GtkCheckButton" id="manual_colour">
 724                           <property name="visible">True</property>
 725                           <property name="can_focus">True</property>
 726                           <property name="label" translatable="yes">Custom colour scheme:</property>
 727                           <property name="use_underline">True</property>
 728                           <property name="relief">GTK_RELIEF_NORMAL</property>
 729                           <property name="focus_on_click">True</property>
 730                           <property name="active">False</property>
 731                           <property name="inconsistent">False</property>
 732                           <property name="draw_indicator">True</property>
 733                           <signal name="toggled" handler="autocolour_clicked" last_modification_time="Wed, 19 Apr 2006 16:41:05 GMT"/>
 734                         </widget>
 735                         <packing>
 736                           <property name="padding">0</property>
 737                           <property name="expand">False</property>
 738                           <property name="fill">False</property>
 739                         </packing>
 740                       </child>
 741
 742                       <child>
 743                         <widget class="GtkScrolledWindow" id="scrolledwindow9">
 744                           <property name="height_request">110</property>
 745                           <property name="visible">True</property>
 746                           <property name="can_focus">True</property>
 747                           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 748                           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 749                           <property name="shadow_type">GTK_SHADOW_NONE</property>
 750                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 751
 752                           <child>
 753                             <widget class="GtkViewport" id="viewport7">
 754                               <property name="visible">True</property>
 755                               <property name="shadow_type">GTK_SHADOW_IN</property>
 756
 757                               <child>
 758                                 <widget class="GtkTreeView" id="ColorTree">
 759                                   <property name="visible">True</property>
 760                                   <property name="can_focus">True</property>
 761                                   <property name="headers_visible">False</property>
 762                                   <property name="rules_hint">True</property>
 763                                   <property name="reorderable">False</property>
 764                                   <property name="enable_search">False</property>
 765                                 </widget>
 766                               </child>
 767                             </widget>
 768                           </child>
 769                         </widget>
 770                         <packing>
 771                           <property name="padding">0</property>
 772                           <property name="expand">True</property>
 773                           <property name="fill">True</property>
 774                         </packing>
 775                       </child>
 776                     </widget>
 777                     <packing>
 778                       <property name="padding">0</property>
 779                       <property name="expand">False</property>
 780                       <property name="fill">False</property>
 781                     </packing>
 782                   </child>
 783                 </widget>
 784                 <packing>
 785                   <property name="tab_expand">False</property>
 786                   <property name="tab_fill">True</property>
 787                 </packing>
 788               </child>
 789
 790               <child>
 791                 <widget class="GtkLabel" id="labelalpha">
 792                   <property name="visible">True</property>
 793                   <property name="label" translatable="yes">Alphabet</property>
 794                   <property name="use_underline">False</property>
 795                   <property name="use_markup">False</property>
 796                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 797                   <property name="wrap">False</property>
 798                   <property name="selectable">False</property>
 799                   <property name="xalign">0.5</property>
 800                   <property name="yalign">0.5</property>
 801                   <property name="xpad">0</property>
 802                   <property name="ypad">0</property>
 803                 </widget>
 804                 <packing>
 805                   <property name="type">tab</property>
 806                 </packing>
 807               </child>
 808
 809               <child>
 810                 <widget class="GtkAlignment" id="alignment31">
 811                   <property name="visible">True</property>
 812                   <property name="xalign">0.5</property>
 813                   <property name="yalign">0.5</property>
 814                   <property name="xscale">1</property>
 815                   <property name="yscale">1</property>
 816                   <property name="top_padding">0</property>
 817                   <property name="bottom_padding">0</property>
 818                   <property name="left_padding">0</property>
 819                   <property name="right_padding">0</property>
 820
 821                   <child>
 822                     <widget class="GtkVBox" id="vbox11">
 823                       <property name="visible">True</property>
 824                       <property name="homogeneous">False</property>
 825                       <property name="spacing">0</property>
 826
 827                       <child>
 828                         <widget class="GtkAlignment" id="alignment4">
 829                           <property name="border_width">8</property>
 830                           <property name="visible">True</property>
 831                           <property name="xalign">0.5</property>
 832                           <property name="yalign">0.5</property>
 833                           <property name="xscale">1</property>
 834                           <property name="yscale">1</property>
 835                           <property name="top_padding">0</property>
 836                           <property name="bottom_padding">0</property>
 837                           <property name="left_padding">0</property>
 838                           <property name="right_padding">0</property>
 839
 840                           <child>
 841                             <widget class="GtkVBox" id="vbox12">
 842                               <property name="visible">True</property>
 843                               <property name="homogeneous">False</property>
 844                               <property name="spacing">0</property>
 845
 846                               <child>
 847                                 <widget class="GtkLabel" id="label18">
 848                                   <property name="visible">True</property>
 849                                   <property name="label" translatable="yes">&lt;b&gt;Control Style:&lt;/b&gt;</property>
 850                                   <property name="use_underline">False</property>
 851                                   <property name="use_markup">True</property>
 852                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 853                                   <property name="wrap">False</property>
 854                                   <property name="selectable">False</property>
 855                                   <property name="xalign">0</property>
 856                                   <property name="yalign">0.5</property>
 857                                   <property name="xpad">0</property>
 858                                   <property name="ypad">2</property>
 859                                 </widget>
 860                                 <packing>
 861                                   <property name="padding">0</property>
 862                                   <property name="expand">False</property>
 863                                   <property name="fill">False</property>
 864                                 </packing>
 865                               </child>
 866
 867                               <child>
 868                                 <widget class="GtkHBox" id="hbox5">
 869                                   <property name="visible">True</property>
 870                                   <property name="homogeneous">False</property>
 871                                   <property name="spacing">0</property>
 872
 873                                   <child>
 874                                     <widget class="GtkScrolledWindow" id="scrolledwindow11">
 875                                       <property name="height_request">128</property>
 876                                       <property name="visible">True</property>
 877                                       <property name="can_focus">True</property>
 878                                       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 879                                       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 880                                       <property name="shadow_type">GTK_SHADOW_IN</property>
 881                                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 882
 883                                       <child>
 884                                         <widget class="GtkTreeView" id="input_filter_tree_view">
 885                                           <property name="visible">True</property>
 886                                           <property name="can_focus">True</property>
 887                                           <property name="headers_visible">False</property>
 888                                           <property name="rules_hint">False</property>
 889                                           <property name="reorderable">False</property>
 890                                           <property name="enable_search">True</property>
 891                                         </widget>
 892                                       </child>
 893                                     </widget>
 894                                     <packing>
 895                                       <property name="padding">4</property>
 896                                       <property name="expand">True</property>
 897                                       <property name="fill">True</property>
 898                                     </packing>
 899                                   </child>
 900
 901                                   <child>
 902                                     <widget class="GtkAlignment" id="alignment39">
 903                                       <property name="visible">True</property>
 904                                       <property name="xalign">0.5</property>
 905                                       <property name="yalign">1</property>
 906                                       <property name="xscale">0</property>
 907                                       <property name="yscale">0</property>
 908                                       <property name="top_padding">0</property>
 909                                       <property name="bottom_padding">0</property>
 910                                       <property name="left_padding">0</property>
 911                                       <property name="right_padding">0</property>
 912
 913                                       <child>
 914                                         <widget class="GtkButton" id="button13">
 915                                           <property name="border_width">4</property>
 916                                           <property name="width_request">96</property>
 917                                           <property name="visible">True</property>
 918                                           <property name="can_focus">True</property>
 919                                           <property name="label" translatable="yes">Options</property>
 920                                           <property name="use_underline">True</property>
 921                                           <property name="relief">GTK_RELIEF_NORMAL</property>
 922                                           <property name="focus_on_click">True</property>
 923                                           <signal name="clicked" handler="button_preferences_show" last_modification_time="Sat, 27 Sep 2003 13:29:59 GMT"/>
 924                                         </widget>
 925                                       </child>
 926                                     </widget>
 927                                     <packing>
 928                                       <property name="padding">0</property>
 929                                       <property name="expand">False</property>
 930                                       <property name="fill">False</property>
 931                                     </packing>
 932                                   </child>
 933                                 </widget>
 934                                 <packing>
 935                                   <property name="padding">0</property>
 936                                   <property name="expand">False</property>
 937                                   <property name="fill">False</property>
 938                                 </packing>
 939                               </child>
 940                             </widget>
 941                           </child>
 942                         </widget>
 943                         <packing>
 944                           <property name="padding">0</property>
 945                           <property name="expand">False</property>
 946                           <property name="fill">False</property>
 947                         </packing>
 948                       </child>
 949
 950                       <child>
 951                         <widget class="GtkAlignment" id="alignment5">
 952                           <property name="border_width">8</property>
 953                           <property name="visible">True</property>
 954                           <property name="xalign">0.5</property>
 955                           <property name="yalign">0.5</property>
 956                           <property name="xscale">1</property>
 957                           <property name="yscale">1</property>
 958                           <property name="top_padding">0</property>
 959                           <property name="bottom_padding">0</property>
 960                           <property name="left_padding">0</property>
 961                           <property name="right_padding">0</property>
 962
 963                           <child>
 964                             <widget class="GtkVBox" id="vbox13">
 965                               <property name="visible">True</property>
 966                               <property name="homogeneous">False</property>
 967                               <property name="spacing">0</property>
 968
 969                               <child>
 970                                 <widget class="GtkLabel" id="label19">
 971                                   <property name="visible">True</property>
 972                                   <property name="label" translatable="yes">&lt;b&gt;Starting And Stopping:&lt;/b&gt;</property>
 973                                   <property name="use_underline">False</property>
 974                                   <property name="use_markup">True</property>
 975                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 976                                   <property name="wrap">False</property>
 977                                   <property name="selectable">False</property>
 978                                   <property name="xalign">0</property>
 979                                   <property name="yalign">0.5</property>
 980                                   <property name="xpad">0</property>
 981                                   <property name="ypad">2</property>
 982                                 </widget>
 983                                 <packing>
 984                                   <property name="padding">0</property>
 985                                   <property name="expand">False</property>
 986                                   <property name="fill">False</property>
 987                                 </packing>
 988                               </child>
 989
 990                               <child>
 991                                 <widget class="GtkCheckButton" id="leftbutton">
 992                                   <property name="border_width">2</property>
 993                                   <property name="visible">True</property>
 994                                   <property name="can_focus">True</property>
 995                                   <property name="label" translatable="yes">Start on left mouse button</property>
 996                                   <property name="use_underline">True</property>
 997                                   <property name="relief">GTK_RELIEF_NORMAL</property>
 998                                   <property name="focus_on_click">True</property>
 999                                   <property name="active">False</property>
1000                                   <property name="inconsistent">False</property>
1001                                   <property name="draw_indicator">True</property>
1002                                   <signal name="clicked" handler="startonleft" last_modification_time="Tue, 23 Sep 2003 00:45:42 GMT"/>
1003                                 </widget>
1004                                 <packing>
1005                                   <property name="padding">0</property>
1006                                   <property name="expand">False</property>
1007                                   <property name="fill">False</property>
1008                                 </packing>
1009                               </child>
1010
1011                               <child>
1012                                 <widget class="GtkCheckButton" id="spacebutton">
1013                                   <property name="border_width">2</property>
1014                                   <property name="visible">True</property>
1015                                   <property name="can_focus">True</property>
1016                                   <property name="label" translatable="yes">Start on space bar</property>
1017                                   <property name="use_underline">True</property>
1018                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1019                                   <property name="focus_on_click">True</property>
1020                                   <property name="active">False</property>
1021                                   <property name="inconsistent">False</property>
1022                                   <property name="draw_indicator">True</property>
1023                                   <signal name="clicked" handler="startonspace" last_modification_time="Tue, 23 Sep 2003 00:45:49 GMT"/>
1024                                 </widget>
1025                                 <packing>
1026                                   <property name="padding">0</property>
1027                                   <property name="expand">False</property>
1028                                   <property name="fill">False</property>
1029                                 </packing>
1030                               </child>
1031
1032                               <child>
1033                                 <widget class="GtkHBox" id="hbox4">
1034                                   <property name="visible">True</property>
1035                                   <property name="homogeneous">False</property>
1036                                   <property name="spacing">0</property>
1037
1038                                   <child>
1039                                     <widget class="GtkCheckButton" id="mouseposbutton">
1040                                       <property name="border_width">2</property>
1041                                       <property name="visible">True</property>
1042                                       <property name="can_focus">True</property>
1043                                       <property name="label" translatable="yes">Start with mouse position:</property>
1044                                       <property name="use_underline">True</property>
1045                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1046                                       <property name="focus_on_click">True</property>
1047                                       <property name="active">False</property>
1048                                       <property name="inconsistent">False</property>
1049                                       <property name="draw_indicator">True</property>
1050                                       <signal name="clicked" handler="startonmousepos" last_modification_time="Tue, 23 Sep 2003 12:00:18 GMT"/>
1051                                     </widget>
1052                                     <packing>
1053                                       <property name="padding">0</property>
1054                                       <property name="expand">False</property>
1055                                       <property name="fill">False</property>
1056                                     </packing>
1057                                   </child>
1058
1059                                   <child>
1060                                     <widget class="GtkComboBoxEntry" id="MousePosStyle">
1061                                       <property name="visible">True</property>
1062                                       <property name="items" translatable="yes">Centre circle
1063 Two box</property>
1064                                       <signal name="changed" handler="OnMousePosStyleChanged" last_modification_time="Thu, 02 Feb 2006 14:35:30 GMT"/>
1065                                     </widget>
1066                                     <packing>
1067                                       <property name="padding">0</property>
1068                                       <property name="expand">True</property>
1069                                       <property name="fill">True</property>
1070                                     </packing>
1071                                   </child>
1072                                 </widget>
1073                                 <packing>
1074                                   <property name="padding">0</property>
1075                                   <property name="expand">False</property>
1076                                   <property name="fill">False</property>
1077                                 </packing>
1078                               </child>
1079
1080                               <child>
1081                                 <widget class="GtkCheckButton" id="winpausebutton">
1082                                   <property name="border_width">2</property>
1083                                   <property name="visible">True</property>
1084                                   <property name="can_focus">True</property>
1085                                   <property name="label" translatable="yes">Pause outside window</property>
1086                                   <property name="use_underline">True</property>
1087                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1088                                   <property name="focus_on_click">True</property>
1089                                   <property name="active">False</property>
1090                                   <property name="inconsistent">False</property>
1091                                   <property name="draw_indicator">True</property>
1092                                   <signal name="clicked" handler="windowpause" last_modification_time="Fri, 26 Sep 2003 12:35:18 GMT"/>
1093                                 </widget>
1094                                 <packing>
1095                                   <property name="padding">0</property>
1096                                   <property name="expand">False</property>
1097                                   <property name="fill">False</property>
1098                                 </packing>
1099                               </child>
1100
1101                               <child>
1102                                 <widget class="GtkCheckButton" id="control_controlmode">
1103                                   <property name="border_width">2</property>
1104                                   <property name="visible">True</property>
1105                                   <property name="can_focus">True</property>
1106                                   <property name="label" translatable="yes">Control mode</property>
1107                                   <property name="use_underline">True</property>
1108                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1109                                   <property name="focus_on_click">True</property>
1110                                   <property name="active">False</property>
1111                                   <property name="inconsistent">False</property>
1112                                   <property name="draw_indicator">True</property>
1113                                   <signal name="clicked" handler="generic_bool_changed" last_modification_time="Wed, 19 Apr 2006 17:42:19 GMT"/>
1114                                 </widget>
1115                                 <packing>
1116                                   <property name="padding">0</property>
1117                                   <property name="expand">False</property>
1118                                   <property name="fill">False</property>
1119                                 </packing>
1120                               </child>
1121                             </widget>
1122                           </child>
1123                         </widget>
1124                         <packing>
1125                           <property name="padding">0</property>
1126                           <property name="expand">False</property>
1127                           <property name="fill">False</property>
1128                         </packing>
1129                       </child>
1130
1131                       <child>
1132                         <widget class="GtkAlignment" id="alignment20">
1133                           <property name="border_width">8</property>
1134                           <property name="visible">True</property>
1135                           <property name="xalign">0.5</property>
1136                           <property name="yalign">0.5</property>
1137                           <property name="xscale">1</property>
1138                           <property name="yscale">1</property>
1139                           <property name="top_padding">0</property>
1140                           <property name="bottom_padding">0</property>
1141                           <property name="left_padding">0</property>
1142                           <property name="right_padding">0</property>
1143
1144                           <child>
1145                             <widget class="GtkVBox" id="vbox29">
1146                               <property name="visible">True</property>
1147                               <property name="homogeneous">False</property>
1148                               <property name="spacing">0</property>
1149
1150                               <child>
1151                                 <widget class="GtkLabel" id="label55">
1152                                   <property name="visible">True</property>
1153                                   <property name="label" translatable="yes">&lt;b&gt;Speed:&lt;/b&gt;</property>
1154                                   <property name="use_underline">False</property>
1155                                   <property name="use_markup">True</property>
1156                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1157                                   <property name="wrap">False</property>
1158                                   <property name="selectable">False</property>
1159                                   <property name="xalign">0</property>
1160                                   <property name="yalign">0.5</property>
1161                                   <property name="xpad">0</property>
1162                                   <property name="ypad">2</property>
1163                                 </widget>
1164                                 <packing>
1165                                   <property name="padding">0</property>
1166                                   <property name="expand">False</property>
1167                                   <property name="fill">False</property>
1168                                 </packing>
1169                               </child>
1170
1171                               <child>
1172                                 <widget class="GtkCheckButton" id="adaptivebutton">
1173                                   <property name="border_width">2</property>
1174                                   <property name="visible">True</property>
1175                                   <property name="can_focus">True</property>
1176                                   <property name="label" translatable="yes">Adapt speed automatically</property>
1177                                   <property name="use_underline">True</property>
1178                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1179                                   <property name="focus_on_click">True</property>
1180                                   <property name="active">True</property>
1181                                   <property name="inconsistent">False</property>
1182                                   <property name="draw_indicator">True</property>
1183                                   <signal name="clicked" handler="adaptive" last_modification_time="Wed, 03 Aug 2005 13:01:05 GMT"/>
1184                                 </widget>
1185                                 <packing>
1186                                   <property name="padding">0</property>
1187                                   <property name="expand">False</property>
1188                                   <property name="fill">False</property>
1189                                 </packing>
1190                               </child>
1191
1192                               <child>
1193                                 <widget class="GtkHScale" id="hscale1">
1194                                   <property name="visible">True</property>
1195                                   <property name="can_focus">True</property>
1196                                   <property name="draw_value">True</property>
1197                                   <property name="value_pos">GTK_POS_TOP</property>
1198                                   <property name="digits">1</property>
1199                                   <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
1200                                   <property name="inverted">False</property>
1201                                   <property name="adjustment">0 0.10000000149 8 0.10000000149 1 0</property>
1202                                   <signal name="value_changed" handler="PrefsSpeedSliderChanged" last_modification_time="Wed, 03 Aug 2005 13:03:05 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">False</property>
1216                           <property name="fill">False</property>
1217                         </packing>
1218                       </child>
1219
1220                       <child>
1221                         <widget class="GtkAlignment" id="alignment34">
1222                           <property name="border_width">8</property>
1223                           <property name="visible">True</property>
1224                           <property name="xalign">0.5</property>
1225                           <property name="yalign">0.5</property>
1226                           <property name="xscale">1</property>
1227                           <property name="yscale">1</property>
1228                           <property name="top_padding">0</property>
1229                           <property name="bottom_padding">0</property>
1230                           <property name="left_padding">0</property>
1231                           <property name="right_padding">0</property>
1232
1233                           <child>
1234                             <widget class="GtkVBox" id="vbox36">
1235                               <property name="visible">True</property>
1236                               <property name="homogeneous">False</property>
1237                               <property name="spacing">0</property>
1238
1239                               <child>
1240                                 <widget class="GtkLabel" id="label100">
1241                                   <property name="visible">True</property>
1242                                   <property name="label" translatable="yes">&lt;b&gt;Input Device:&lt;/b&gt;</property>
1243                                   <property name="use_underline">False</property>
1244                                   <property name="use_markup">True</property>
1245                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1246                                   <property name="wrap">False</property>
1247                                   <property name="selectable">False</property>
1248                                   <property name="xalign">0</property>
1249                                   <property name="yalign">0.5</property>
1250                                   <property name="xpad">0</property>
1251                                   <property name="ypad">2</property>
1252                                 </widget>
1253                                 <packing>
1254                                   <property name="padding">0</property>
1255                                   <property name="expand">False</property>
1256                                   <property name="fill">False</property>
1257                                 </packing>
1258                               </child>
1259
1260                               <child>
1261                                 <widget class="GtkHBox" id="hbox6">
1262                                   <property name="visible">True</property>
1263                                   <property name="homogeneous">False</property>
1264                                   <property name="spacing">0</property>
1265
1266                                   <child>
1267                                     <widget class="GtkScrolledWindow" id="scrolledwindow12">
1268                                       <property name="height_request">128</property>
1269                                       <property name="visible">True</property>
1270                                       <property name="can_focus">True</property>
1271                                       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
1272                                       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1273                                       <property name="shadow_type">GTK_SHADOW_IN</property>
1274                                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1275
1276                                       <child>
1277                                         <widget class="GtkTreeView" id="input_tree_view">
1278                                           <property name="visible">True</property>
1279                                           <property name="can_focus">True</property>
1280                                           <property name="headers_visible">False</property>
1281                                           <property name="rules_hint">False</property>
1282                                           <property name="reorderable">False</property>
1283                                           <property name="enable_search">True</property>
1284                                         </widget>
1285                                       </child>
1286                                     </widget>
1287                                     <packing>
1288                                       <property name="padding">0</property>
1289                                       <property name="expand">True</property>
1290                                       <property name="fill">True</property>
1291                                     </packing>
1292                                   </child>
1293
1294                                   <child>
1295                                     <widget class="GtkAlignment" id="alignment40">
1296                                       <property name="visible">True</property>
1297                                       <property name="xalign">0.5</property>
1298                                       <property name="yalign">1</property>
1299                                       <property name="xscale">0</property>
1300                                       <property name="yscale">0</property>
1301                                       <property name="top_padding">0</property>
1302                                       <property name="bottom_padding">0</property>
1303                                       <property name="left_padding">0</property>
1304                                       <property name="right_padding">0</property>
1305
1306                                       <child>
1307                                         <widget class="GtkButton" id="button25">
1308                                           <property name="border_width">4</property>
1309                                           <property name="width_request">96</property>
1310                                           <property name="visible">True</property>
1311                                           <property name="can_focus">True</property>
1312                                           <property name="label" translatable="yes">Options</property>
1313                                           <property name="use_underline">True</property>
1314                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1315                                           <property name="focus_on_click">True</property>
1316                                           <signal name="clicked" handler="socket_preferences_show" last_modification_time="Fri, 06 Jan 2006 12:53:58 GMT"/>
1317                                         </widget>
1318                                       </child>
1319                                     </widget>
1320                                     <packing>
1321                                       <property name="padding">0</property>
1322                                       <property name="expand">False</property>
1323                                       <property name="fill">False</property>
1324                                     </packing>
1325                                   </child>
1326                                 </widget>
1327                                 <packing>
1328                                   <property name="padding">0</property>
1329                                   <property name="expand">False</property>
1330                                   <property name="fill">False</property>
1331                                 </packing>
1332                               </child>
1333                             </widget>
1334                           </child>
1335                         </widget>
1336                         <packing>
1337                           <property name="padding">0</property>
1338                           <property name="expand">True</property>
1339                           <property name="fill">True</property>
1340                         </packing>
1341                       </child>
1342                     </widget>
1343                   </child>
1344                 </widget>
1345                 <packing>
1346                   <property name="tab_expand">False</property>
1347                   <property name="tab_fill">True</property>
1348                 </packing>
1349               </child>
1350
1351               <child>
1352                 <widget class="GtkLabel" id="label17">
1353                   <property name="visible">True</property>
1354                   <property name="label" translatable="yes">Control</property>
1355                   <property name="use_underline">False</property>
1356                   <property name="use_markup">False</property>
1357                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1358                   <property name="wrap">False</property>
1359                   <property name="selectable">False</property>
1360                   <property name="xalign">0.5</property>
1361                   <property name="yalign">0.5</property>
1362                   <property name="xpad">0</property>
1363                   <property name="ypad">0</property>
1364                 </widget>
1365                 <packing>
1366                   <property name="type">tab</property>
1367                 </packing>
1368               </child>
1369
1370               <child>
1371                 <widget class="GtkAlignment" id="alignment36">
1372                   <property name="visible">True</property>
1373                   <property name="xalign">0.5</property>
1374                   <property name="yalign">0.5</property>
1375                   <property name="xscale">1</property>
1376                   <property name="yscale">1</property>
1377                   <property name="top_padding">0</property>
1378                   <property name="bottom_padding">0</property>
1379                   <property name="left_padding">0</property>
1380                   <property name="right_padding">0</property>
1381
1382                   <child>
1383                     <widget class="GtkVBox" id="vbox14">
1384                       <property name="visible">True</property>
1385                       <property name="homogeneous">False</property>
1386                       <property name="spacing">0</property>
1387
1388                       <child>
1389                         <widget class="GtkAlignment" id="alignment6">
1390                           <property name="border_width">8</property>
1391                           <property name="visible">True</property>
1392                           <property name="xalign">0.5</property>
1393                           <property name="yalign">0.5</property>
1394                           <property name="xscale">1</property>
1395                           <property name="yscale">1</property>
1396                           <property name="top_padding">0</property>
1397                           <property name="bottom_padding">0</property>
1398                           <property name="left_padding">0</property>
1399                           <property name="right_padding">0</property>
1400
1401                           <child>
1402                             <widget class="GtkVBox" id="vbox15">
1403                               <property name="visible">True</property>
1404                               <property name="homogeneous">False</property>
1405                               <property name="spacing">0</property>
1406
1407                               <child>
1408                                 <widget class="GtkLabel" id="label21">
1409                                   <property name="visible">True</property>
1410                                   <property name="label" translatable="yes">&lt;b&gt;Orientation:&lt;/b&gt;</property>
1411                                   <property name="use_underline">False</property>
1412                                   <property name="use_markup">True</property>
1413                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1414                                   <property name="wrap">False</property>
1415                                   <property name="selectable">False</property>
1416                                   <property name="xalign">0</property>
1417                                   <property name="yalign">0.5</property>
1418                                   <property name="xpad">0</property>
1419                                   <property name="ypad">2</property>
1420                                 </widget>
1421                                 <packing>
1422                                   <property name="padding">0</property>
1423                                   <property name="expand">False</property>
1424                                   <property name="fill">False</property>
1425                                 </packing>
1426                               </child>
1427
1428                               <child>
1429                                 <widget class="GtkRadioButton" id="radiobutton1">
1430                                   <property name="border_width">2</property>
1431                                   <property name="visible">True</property>
1432                                   <property name="can_focus">True</property>
1433                                   <property name="label" translatable="yes">Alphabet Default</property>
1434                                   <property name="use_underline">True</property>
1435                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1436                                   <property name="focus_on_click">True</property>
1437                                   <property name="active">False</property>
1438                                   <property name="inconsistent">False</property>
1439                                   <property name="draw_indicator">True</property>
1440                                   <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:43 GMT"/>
1441                                 </widget>
1442                                 <packing>
1443                                   <property name="padding">0</property>
1444                                   <property name="expand">False</property>
1445                                   <property name="fill">False</property>
1446                                 </packing>
1447                               </child>
1448
1449                               <child>
1450                                 <widget class="GtkRadioButton" id="radiobutton12">
1451                                   <property name="border_width">2</property>
1452                                   <property name="visible">True</property>
1453                                   <property name="can_focus">True</property>
1454                                   <property name="label" translatable="yes">Custom:</property>
1455                                   <property name="use_underline">True</property>
1456                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1457                                   <property name="focus_on_click">True</property>
1458                                   <property name="active">False</property>
1459                                   <property name="inconsistent">False</property>
1460                                   <property name="draw_indicator">True</property>
1461                                   <property name="group">radiobutton1</property>
1462                                   <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:43 GMT"/>
1463                                 </widget>
1464                                 <packing>
1465                                   <property name="padding">0</property>
1466                                   <property name="expand">False</property>
1467                                   <property name="fill">False</property>
1468                                 </packing>
1469                               </child>
1470
1471                               <child>
1472                                 <widget class="GtkAlignment" id="alignment19">
1473                                   <property name="visible">True</property>
1474                                   <property name="xalign">0.5</property>
1475                                   <property name="yalign">0.5</property>
1476                                   <property name="xscale">1</property>
1477                                   <property name="yscale">1</property>
1478                                   <property name="top_padding">0</property>
1479                                   <property name="bottom_padding">0</property>
1480                                   <property name="left_padding">16</property>
1481                                   <property name="right_padding">0</property>
1482
1483                                   <child>
1484                                     <widget class="GtkVBox" id="vbox27">
1485                                       <property name="visible">True</property>
1486                                       <property name="homogeneous">False</property>
1487                                       <property name="spacing">0</property>
1488
1489                                       <child>
1490                                         <widget class="GtkRadioButton" id="radiobutton2">
1491                                           <property name="border_width">2</property>
1492                                           <property name="visible">True</property>
1493                                           <property name="can_focus">True</property>
1494                                           <property name="label" translatable="yes">Left to Right</property>
1495                                           <property name="use_underline">True</property>
1496                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1497                                           <property name="focus_on_click">True</property>
1498                                           <property name="active">False</property>
1499                                           <property name="inconsistent">False</property>
1500                                           <property name="draw_indicator">True</property>
1501                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:50 GMT"/>
1502                                         </widget>
1503                                         <packing>
1504                                           <property name="padding">0</property>
1505                                           <property name="expand">False</property>
1506                                           <property name="fill">False</property>
1507                                         </packing>
1508                                       </child>
1509
1510                                       <child>
1511                                         <widget class="GtkRadioButton" id="radiobutton3">
1512                                           <property name="border_width">2</property>
1513                                           <property name="visible">True</property>
1514                                           <property name="can_focus">True</property>
1515                                           <property name="label" translatable="yes">Right to Left</property>
1516                                           <property name="use_underline">True</property>
1517                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1518                                           <property name="focus_on_click">True</property>
1519                                           <property name="active">False</property>
1520                                           <property name="inconsistent">False</property>
1521                                           <property name="draw_indicator">True</property>
1522                                           <property name="group">radiobutton2</property>
1523                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:57 GMT"/>
1524                                         </widget>
1525                                         <packing>
1526                                           <property name="padding">0</property>
1527                                           <property name="expand">False</property>
1528                                           <property name="fill">False</property>
1529                                         </packing>
1530                                       </child>
1531
1532                                       <child>
1533                                         <widget class="GtkRadioButton" id="radiobutton4">
1534                                           <property name="border_width">2</property>
1535                                           <property name="visible">True</property>
1536                                           <property name="can_focus">True</property>
1537                                           <property name="label" translatable="yes">Top to Bottom</property>
1538                                           <property name="use_underline">True</property>
1539                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1540                                           <property name="focus_on_click">True</property>
1541                                           <property name="active">False</property>
1542                                           <property name="inconsistent">False</property>
1543                                           <property name="draw_indicator">True</property>
1544                                           <property name="group">radiobutton2</property>
1545                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:58:03 GMT"/>
1546                                         </widget>
1547                                         <packing>
1548                                           <property name="padding">0</property>
1549                                           <property name="expand">False</property>
1550                                           <property name="fill">False</property>
1551                                         </packing>
1552                                       </child>
1553
1554                                       <child>
1555                                         <widget class="GtkRadioButton" id="radiobutton5">
1556                                           <property name="border_width">2</property>
1557                                           <property name="visible">True</property>
1558                                           <property name="can_focus">True</property>
1559                                           <property name="label" translatable="yes">Bottom to Top</property>
1560                                           <property name="use_underline">True</property>
1561                                           <property name="relief">GTK_RELIEF_NORMAL</property>
1562                                           <property name="focus_on_click">True</property>
1563                                           <property name="active">False</property>
1564                                           <property name="inconsistent">False</property>
1565                                           <property name="draw_indicator">True</property>
1566                                           <property name="group">radiobutton2</property>
1567                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:58:11 GMT"/>
1568                                         </widget>
1569                                         <packing>
1570                                           <property name="padding">0</property>
1571                                           <property name="expand">False</property>
1572                                           <property name="fill">False</property>
1573                                         </packing>
1574                                       </child>
1575                                     </widget>
1576                                   </child>
1577                                 </widget>
1578                                 <packing>
1579                                   <property name="padding">0</property>
1580                                   <property name="expand">True</property>
1581                                   <property name="fill">True</property>
1582                                 </packing>
1583                               </child>
1584                             </widget>
1585                           </child>
1586                         </widget>
1587                         <packing>
1588                           <property name="padding">0</property>
1589                           <property name="expand">False</property>
1590                           <property name="fill">True</property>
1591                         </packing>
1592                       </child>
1593
1594                       <child>
1595                         <widget class="GtkAlignment" id="alignment7">
1596                           <property name="border_width">8</property>
1597                           <property name="visible">True</property>
1598                           <property name="xalign">0.5</property>
1599                           <property name="yalign">0.5</property>
1600                           <property name="xscale">1</property>
1601                           <property name="yscale">1</property>
1602                           <property name="top_padding">0</property>
1603                           <property name="bottom_padding">0</property>
1604                           <property name="left_padding">0</property>
1605                           <property name="right_padding">0</property>
1606
1607                           <child>
1608                             <widget class="GtkVBox" id="vbox16">
1609                               <property name="visible">True</property>
1610                               <property name="homogeneous">False</property>
1611                               <property name="spacing">0</property>
1612
1613                               <child>
1614                                 <widget class="GtkLabel" id="label22">
1615                                   <property name="visible">True</property>
1616                                   <property name="label" translatable="yes">&lt;b&gt;View Options:&lt;/b&gt;</property>
1617                                   <property name="use_underline">False</property>
1618                                   <property name="use_markup">True</property>
1619                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1620                                   <property name="wrap">False</property>
1621                                   <property name="selectable">False</property>
1622                                   <property name="xalign">0</property>
1623                                   <property name="yalign">0.5</property>
1624                                   <property name="xpad">0</property>
1625                                   <property name="ypad">2</property>
1626                                 </widget>
1627                                 <packing>
1628                                   <property name="padding">0</property>
1629                                   <property name="expand">False</property>
1630                                   <property name="fill">False</property>
1631                                 </packing>
1632                               </child>
1633
1634                               <child>
1635                                 <widget class="GtkCheckButton" id="toolbarbutton">
1636                                   <property name="border_width">2</property>
1637                                   <property name="visible">True</property>
1638                                   <property name="can_focus">True</property>
1639                                   <property name="label" translatable="yes">Show toolbar</property>
1640                                   <property name="use_underline">True</property>
1641                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1642                                   <property name="focus_on_click">True</property>
1643                                   <property name="active">False</property>
1644                                   <property name="inconsistent">False</property>
1645                                   <property name="draw_indicator">True</property>
1646                                   <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:00 GMT"/>
1647                                 </widget>
1648                                 <packing>
1649                                   <property name="padding">0</property>
1650                                   <property name="expand">False</property>
1651                                   <property name="fill">False</property>
1652                                 </packing>
1653                               </child>
1654
1655                               <child>
1656                                 <widget class="GtkCheckButton" id="speedsliderbutton">
1657                                   <property name="border_width">2</property>
1658                                   <property name="visible">True</property>
1659                                   <property name="can_focus">True</property>
1660                                   <property name="label" translatable="yes">Show speed slider</property>
1661                                   <property name="use_underline">True</property>
1662                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1663                                   <property name="focus_on_click">True</property>
1664                                   <property name="active">False</property>
1665                                   <property name="inconsistent">False</property>
1666                                   <property name="draw_indicator">True</property>
1667                                   <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:10 GMT"/>
1668                                 </widget>
1669                                 <packing>
1670                                   <property name="padding">0</property>
1671                                   <property name="expand">False</property>
1672                                   <property name="fill">False</property>
1673                                 </packing>
1674                               </child>
1675
1676                               <child>
1677                                 <widget class="GtkCheckButton" id="showmousebutton">
1678                                   <property name="border_width">2</property>
1679                                   <property name="visible">True</property>
1680                                   <property name="can_focus">True</property>
1681                                   <property name="label" translatable="yes">Show mouse position</property>
1682                                   <property name="use_underline">True</property>
1683                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1684                                   <property name="focus_on_click">True</property>
1685                                   <property name="active">False</property>
1686                                   <property name="inconsistent">False</property>
1687                                   <property name="draw_indicator">True</property>
1688                                   <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:20 GMT"/>
1689                                 </widget>
1690                                 <packing>
1691                                   <property name="padding">0</property>
1692                                   <property name="expand">False</property>
1693                                   <property name="fill">False</property>
1694                                 </packing>
1695                               </child>
1696
1697                               <child>
1698                                 <widget class="GtkCheckButton" id="showmouselinebutton">
1699                                   <property name="border_width">2</property>
1700                                   <property name="visible">True</property>
1701                                   <property name="can_focus">True</property>
1702                                   <property name="label" translatable="yes">Draw line between crosshairs and mouse</property>
1703                                   <property name="use_underline">True</property>
1704                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1705                                   <property name="focus_on_click">True</property>
1706                                   <property name="active">False</property>
1707                                   <property name="inconsistent">False</property>
1708                                   <property name="draw_indicator">True</property>
1709                                   <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:34 GMT"/>
1710                                 </widget>
1711                                 <packing>
1712                                   <property name="padding">0</property>
1713                                   <property name="expand">False</property>
1714                                   <property name="fill">False</property>
1715                                 </packing>
1716                               </child>
1717
1718                               <child>
1719                                 <widget class="GtkAlignment" id="alignment21">
1720                                   <property name="visible">True</property>
1721                                   <property name="xalign">0.5</property>
1722                                   <property name="yalign">0.5</property>
1723                                   <property name="xscale">1</property>
1724                                   <property name="yscale">1</property>
1725                                   <property name="top_padding">0</property>
1726                                   <property name="bottom_padding">0</property>
1727                                   <property name="left_padding">18</property>
1728                                   <property name="right_padding">0</property>
1729
1730                                   <child>
1731                                     <widget class="GtkCheckButton" id="thicklinebutton">
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">Increase line thickness</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="ThickLineClicked" last_modification_time="Fri, 05 Aug 2005 08:34:58 GMT"/>
1743                                     </widget>
1744                                   </child>
1745                                 </widget>
1746                                 <packing>
1747                                   <property name="padding">0</property>
1748                                   <property name="expand">False</property>
1749                                   <property name="fill">False</property>
1750                                 </packing>
1751                               </child>
1752
1753                               <child>
1754                                 <widget class="GtkCheckButton" id="outlinebutton">
1755                                   <property name="border_width">2</property>
1756                                   <property name="visible">True</property>
1757                                   <property name="can_focus">True</property>
1758                                   <property name="label" translatable="yes">Draw box outlines</property>
1759                                   <property name="use_underline">True</property>
1760                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1761                                   <property name="focus_on_click">True</property>
1762                                   <property name="active">False</property>
1763                                   <property name="inconsistent">False</property>
1764                                   <property name="draw_indicator">True</property>
1765                                   <signal name="clicked" handler="generic_bool_changed" last_modification_time="Mon, 06 Mar 2006 09:12:45 GMT"/>
1766                                 </widget>
1767                                 <packing>
1768                                   <property name="padding">0</property>
1769                                   <property name="expand">False</property>
1770                                   <property name="fill">False</property>
1771                                 </packing>
1772                               </child>
1773                             </widget>
1774                           </child>
1775                         </widget>
1776                         <packing>
1777                           <property name="padding">0</property>
1778                           <property name="expand">False</property>
1779                           <property name="fill">True</property>
1780                         </packing>
1781                       </child>
1782
1783                       <child>
1784                         <widget class="GtkAlignment" id="alignment37">
1785                           <property name="border_width">8</property>
1786                           <property name="visible">True</property>
1787                           <property name="xalign">0.5</property>
1788                           <property name="yalign">0.5</property>
1789                           <property name="xscale">1</property>
1790                           <property name="yscale">1</property>
1791                           <property name="top_padding">0</property>
1792                           <property name="bottom_padding">0</property>
1793                           <property name="left_padding">0</property>
1794                           <property name="right_padding">0</property>
1795
1796                           <child>
1797                             <widget class="GtkVBox" id="vbox41">
1798                               <property name="visible">True</property>
1799                               <property name="homogeneous">False</property>
1800                               <property name="spacing">0</property>
1801
1802                               <child>
1803                                 <widget class="GtkLabel" id="label102">
1804                                   <property name="visible">True</property>
1805                                   <property name="label" translatable="yes">&lt;b&gt;Application Style:&lt;/b&gt;</property>
1806                                   <property name="use_underline">False</property>
1807                                   <property name="use_markup">True</property>
1808                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1809                                   <property name="wrap">False</property>
1810                                   <property name="selectable">False</property>
1811                                   <property name="xalign">0</property>
1812                                   <property name="yalign">0.5</property>
1813                                   <property name="xpad">0</property>
1814                                   <property name="ypad">2</property>
1815                                 </widget>
1816                                 <packing>
1817                                   <property name="padding">0</property>
1818                                   <property name="expand">False</property>
1819                                   <property name="fill">False</property>
1820                                 </packing>
1821                               </child>
1822
1823                               <child>
1824                                 <widget class="GtkRadioButton" id="appstyle_classic">
1825                                   <property name="border_width">2</property>
1826                                   <property name="visible">True</property>
1827                                   <property name="can_focus">True</property>
1828                                   <property name="label" translatable="yes">Stand-alone</property>
1829                                   <property name="use_underline">True</property>
1830                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1831                                   <property name="focus_on_click">True</property>
1832                                   <property name="active">False</property>
1833                                   <property name="inconsistent">False</property>
1834                                   <property name="draw_indicator">True</property>
1835                                   <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:25:53 GMT"/>
1836                                 </widget>
1837                                 <packing>
1838                                   <property name="padding">0</property>
1839                                   <property name="expand">False</property>
1840                                   <property name="fill">False</property>
1841                                 </packing>
1842                               </child>
1843
1844                               <child>
1845                                 <widget class="GtkRadioButton" id="appstyle_compose">
1846                                   <property name="border_width">2</property>
1847                                   <property name="visible">True</property>
1848                                   <property name="can_focus">True</property>
1849                                   <property name="label" translatable="yes">Composition</property>
1850                                   <property name="use_underline">True</property>
1851                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1852                                   <property name="focus_on_click">True</property>
1853                                   <property name="active">False</property>
1854                                   <property name="inconsistent">False</property>
1855                                   <property name="draw_indicator">True</property>
1856                                   <property name="group">appstyle_classic</property>
1857                                   <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:26:08 GMT"/>
1858                                 </widget>
1859                                 <packing>
1860                                   <property name="padding">0</property>
1861                                   <property name="expand">False</property>
1862                                   <property name="fill">False</property>
1863                                 </packing>
1864                               </child>
1865
1866                               <child>
1867                                 <widget class="GtkRadioButton" id="appstyle_direct">
1868                                   <property name="border_width">2</property>
1869                                   <property name="visible">True</property>
1870                                   <property name="can_focus">True</property>
1871                                   <property name="label" translatable="yes">Direct entry</property>
1872                                   <property name="use_underline">True</property>
1873                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1874                                   <property name="focus_on_click">True</property>
1875                                   <property name="active">False</property>
1876                                   <property name="inconsistent">False</property>
1877                                   <property name="draw_indicator">True</property>
1878                                   <property name="group">appstyle_classic</property>
1879                                   <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:26:23 GMT"/>
1880                                 </widget>
1881                                 <packing>
1882                                   <property name="padding">0</property>
1883                                   <property name="expand">False</property>
1884                                   <property name="fill">False</property>
1885                                 </packing>
1886                               </child>
1887
1888                               <child>
1889                                 <widget class="GtkRadioButton" id="appstyle_fullscreen">
1890                                   <property name="border_width">2</property>
1891                                   <property name="visible">True</property>
1892                                   <property name="can_focus">True</property>
1893                                   <property name="label" translatable="yes">Full Screen</property>
1894                                   <property name="use_underline">True</property>
1895                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1896                                   <property name="focus_on_click">True</property>
1897                                   <property name="active">False</property>
1898                                   <property name="inconsistent">False</property>
1899                                   <property name="draw_indicator">True</property>
1900                                   <property name="group">appstyle_classic</property>
1901                                   <signal name="toggled" handler="on_appstyle_changed" last_modification_time="Sun, 26 Feb 2006 19:26:23 GMT"/>
1902                                 </widget>
1903                                 <packing>
1904                                   <property name="padding">0</property>
1905                                   <property name="expand">False</property>
1906                                   <property name="fill">False</property>
1907                                 </packing>
1908                               </child>
1909                             </widget>
1910                           </child>
1911                         </widget>
1912                         <packing>
1913                           <property name="padding">0</property>
1914                           <property name="expand">True</property>
1915                           <property name="fill">True</property>
1916                         </packing>
1917                       </child>
1918                     </widget>
1919                   </child>
1920                 </widget>
1921                 <packing>
1922                   <property name="tab_expand">False</property>
1923                   <property name="tab_fill">True</property>
1924                 </packing>
1925               </child>
1926
1927               <child>
1928                 <widget class="GtkLabel" id="label20">
1929                   <property name="visible">True</property>
1930                   <property name="label" translatable="yes">View</property>
1931                   <property name="use_underline">False</property>
1932                   <property name="use_markup">False</property>
1933                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1934                   <property name="wrap">False</property>
1935                   <property name="selectable">False</property>
1936                   <property name="xalign">0.5</property>
1937                   <property name="yalign">0.5</property>
1938                   <property name="xpad">0</property>
1939                   <property name="ypad">0</property>
1940                 </widget>
1941                 <packing>
1942                   <property name="type">tab</property>
1943                 </packing>
1944               </child>
1945
1946               <child>
1947                 <widget class="GtkAlignment" id="alignment16">
1948                   <property name="border_width">8</property>
1949                   <property name="visible">True</property>
1950                   <property name="xalign">0.5</property>
1951                   <property name="yalign">0.5</property>
1952                   <property name="xscale">1</property>
1953                   <property name="yscale">1</property>
1954                   <property name="top_padding">0</property>
1955                   <property name="bottom_padding">0</property>
1956                   <property name="left_padding">0</property>
1957                   <property name="right_padding">0</property>
1958
1959                   <child>
1960                     <widget class="GtkVBox" id="vbox24">
1961                       <property name="visible">True</property>
1962                       <property name="homogeneous">False</property>
1963                       <property name="spacing">0</property>
1964
1965                       <child>
1966                         <widget class="GtkLabel" id="label48">
1967                           <property name="label" translatable="yes">&lt;b&gt;Language Model:&lt;/b&gt;</property>
1968                           <property name="use_underline">False</property>
1969                           <property name="use_markup">True</property>
1970                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1971                           <property name="wrap">False</property>
1972                           <property name="selectable">False</property>
1973                           <property name="xalign">0</property>
1974                           <property name="yalign">0.5</property>
1975                           <property name="xpad">0</property>
1976                           <property name="ypad">2</property>
1977                         </widget>
1978                         <packing>
1979                           <property name="padding">2</property>
1980                           <property name="expand">False</property>
1981                           <property name="fill">False</property>
1982                         </packing>
1983                       </child>
1984
1985                       <child>
1986                         <widget class="GtkRadioButton" id="radiobutton6">
1987                           <property name="can_focus">True</property>
1988                           <property name="label" translatable="yes">Standard letter-based PPM</property>
1989                           <property name="use_underline">True</property>
1990                           <property name="relief">GTK_RELIEF_NORMAL</property>
1991                           <property name="focus_on_click">True</property>
1992                           <property name="active">False</property>
1993                           <property name="inconsistent">False</property>
1994                           <property name="draw_indicator">True</property>
1995                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:00 GMT"/>
1996                         </widget>
1997                         <packing>
1998                           <property name="padding">2</property>
1999                           <property name="expand">False</property>
2000                           <property name="fill">False</property>
2001                         </packing>
2002                       </child>
2003
2004                       <child>
2005                         <widget class="GtkRadioButton" id="radiobutton7">
2006                           <property name="can_focus">True</property>
2007                           <property name="label" translatable="yes">Word-based model</property>
2008                           <property name="use_underline">True</property>
2009                           <property name="relief">GTK_RELIEF_NORMAL</property>
2010                           <property name="focus_on_click">True</property>
2011                           <property name="active">False</property>
2012                           <property name="inconsistent">False</property>
2013                           <property name="draw_indicator">True</property>
2014                           <property name="group">radiobutton6</property>
2015                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
2016                         </widget>
2017                         <packing>
2018                           <property name="padding">2</property>
2019                           <property name="expand">False</property>
2020                           <property name="fill">False</property>
2021                         </packing>
2022                       </child>
2023
2024                       <child>
2025                         <widget class="GtkRadioButton" id="radiobutton8">
2026                           <property name="can_focus">True</property>
2027                           <property name="label" translatable="yes">Mixture model (PPM/dictionary)</property>
2028                           <property name="use_underline">True</property>
2029                           <property name="relief">GTK_RELIEF_NORMAL</property>
2030                           <property name="focus_on_click">True</property>
2031                           <property name="active">False</property>
2032                           <property name="inconsistent">False</property>
2033                           <property name="draw_indicator">True</property>
2034                           <property name="group">radiobutton6</property>
2035                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
2036                         </widget>
2037                         <packing>
2038                           <property name="padding">2</property>
2039                           <property name="expand">False</property>
2040                           <property name="fill">False</property>
2041                         </packing>
2042                       </child>
2043
2044                       <child>
2045                         <widget class="GtkRadioButton" id="radiobutton9">
2046                           <property name="can_focus">True</property>
2047                           <property name="label" translatable="yes">Japanese</property>
2048                           <property name="use_underline">True</property>
2049                           <property name="relief">GTK_RELIEF_NORMAL</property>
2050                           <property name="focus_on_click">True</property>
2051                           <property name="active">False</property>
2052                           <property name="inconsistent">False</property>
2053                           <property name="draw_indicator">True</property>
2054                           <property name="group">radiobutton6</property>
2055                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
2056                         </widget>
2057                         <packing>
2058                           <property name="padding">2</property>
2059                           <property name="expand">False</property>
2060                           <property name="fill">False</property>
2061                         </packing>
2062                       </child>
2063
2064                       <child>
2065                         <widget class="GtkLabel" id="label50">
2066                           <property name="visible">True</property>
2067                           <property name="label" translatable="yes">&lt;b&gt;Adaptation:&lt;/b&gt;</property>
2068                           <property name="use_underline">False</property>
2069                           <property name="use_markup">True</property>
2070                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2071                           <property name="wrap">False</property>
2072                           <property name="selectable">False</property>
2073                           <property name="xalign">0</property>
2074                           <property name="yalign">0.5</property>
2075                           <property name="xpad">0</property>
2076                           <property name="ypad">2</property>
2077                         </widget>
2078                         <packing>
2079                           <property name="padding">2</property>
2080                           <property name="expand">False</property>
2081                           <property name="fill">False</property>
2082                         </packing>
2083                       </child>
2084
2085                       <child>
2086                         <widget class="GtkCheckButton" id="cb_adaptive">
2087                           <property name="visible">True</property>
2088                           <property name="can_focus">True</property>
2089                           <property name="label" translatable="yes">Language model adapts as you write.</property>
2090                           <property name="use_underline">True</property>
2091                           <property name="relief">GTK_RELIEF_NORMAL</property>
2092                           <property name="focus_on_click">True</property>
2093                           <property name="active">True</property>
2094                           <property name="inconsistent">False</property>
2095                           <property name="draw_indicator">True</property>
2096                         </widget>
2097                         <packing>
2098                           <property name="padding">2</property>
2099                           <property name="expand">False</property>
2100                           <property name="fill">False</property>
2101                         </packing>
2102                       </child>
2103
2104                       <child>
2105                         <widget class="GtkLabel" id="label23">
2106                           <property name="visible">True</property>
2107                           <property name="label" translatable="yes">&lt;b&gt;Smoothing:&lt;/b&gt;</property>
2108                           <property name="use_underline">False</property>
2109                           <property name="use_markup">True</property>
2110                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2111                           <property name="wrap">False</property>
2112                           <property name="selectable">False</property>
2113                           <property name="xalign">0</property>
2114                           <property name="yalign">0.5</property>
2115                           <property name="xpad">0</property>
2116                           <property name="ypad">2</property>
2117                         </widget>
2118                         <packing>
2119                           <property name="padding">0</property>
2120                           <property name="expand">False</property>
2121                           <property name="fill">False</property>
2122                         </packing>
2123                       </child>
2124
2125                       <child>
2126                         <widget class="GtkLabel" id="label25">
2127                           <property name="visible">True</property>
2128                           <property name="label" translatable="yes">Use this control to adjust the relative sizes of the
2129 letter boxes. Note that selecting high values will slow
2130 your writing speed.</property>
2131                           <property name="use_underline">False</property>
2132                           <property name="use_markup">False</property>
2133                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2134                           <property name="wrap">True</property>
2135                           <property name="selectable">False</property>
2136                           <property name="xalign">0</property>
2137                           <property name="yalign">0.5</property>
2138                           <property name="xpad">2</property>
2139                           <property name="ypad">2</property>
2140                         </widget>
2141                         <packing>
2142                           <property name="padding">0</property>
2143                           <property name="expand">False</property>
2144                           <property name="fill">False</property>
2145                         </packing>
2146                       </child>
2147
2148                       <child>
2149                         <widget class="GtkHScale" id="uniformhscale">
2150                           <property name="visible">True</property>
2151                           <property name="can_focus">True</property>
2152                           <property name="draw_value">True</property>
2153                           <property name="value_pos">GTK_POS_TOP</property>
2154                           <property name="digits">1</property>
2155                           <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
2156                           <property name="inverted">False</property>
2157                           <property name="adjustment">5 0 100 0.10000000149 0.10000000149 0</property>
2158                           <signal name="value_changed" handler="uniform_changed" last_modification_time="Tue, 23 Sep 2003 13:42:16 GMT"/>
2159                         </widget>
2160                         <packing>
2161                           <property name="padding">0</property>
2162                           <property name="expand">False</property>
2163                           <property name="fill">True</property>
2164                         </packing>
2165                       </child>
2166                     </widget>
2167                   </child>
2168                 </widget>
2169                 <packing>
2170                   <property name="tab_expand">False</property>
2171                   <property name="tab_fill">True</property>
2172                 </packing>
2173               </child>
2174
2175               <child>
2176                 <widget class="GtkLabel" id="label47">
2177                   <property name="visible">True</property>
2178                   <property name="label" translatable="yes">Prediction</property>
2179                   <property name="use_underline">False</property>
2180                   <property name="use_markup">False</property>
2181                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2182                   <property name="wrap">False</property>
2183                   <property name="selectable">False</property>
2184                   <property name="xalign">0.5</property>
2185                   <property name="yalign">0.5</property>
2186                   <property name="xpad">0</property>
2187                   <property name="ypad">0</property>
2188                 </widget>
2189                 <packing>
2190                   <property name="type">tab</property>
2191                 </packing>
2192               </child>
2193
2194               <child>
2195                 <widget class="GtkVBox" id="vbox8">
2196                   <property name="visible">True</property>
2197                   <property name="homogeneous">False</property>
2198                   <property name="spacing">0</property>
2199
2200                   <child>
2201                     <widget class="GtkAlignment" id="alignment8">
2202                       <property name="border_width">8</property>
2203                       <property name="visible">True</property>
2204                       <property name="xalign">0.5</property>
2205                       <property name="yalign">0.5</property>
2206                       <property name="xscale">1</property>
2207                       <property name="yscale">1</property>
2208                       <property name="top_padding">0</property>
2209                       <property name="bottom_padding">0</property>
2210                       <property name="left_padding">0</property>
2211                       <property name="right_padding">0</property>
2212
2213                       <child>
2214                         <widget class="GtkVBox" id="vbox18">
2215                           <property name="visible">True</property>
2216                           <property name="homogeneous">False</property>
2217                           <property name="spacing">0</property>
2218
2219                           <child>
2220                             <widget class="GtkLabel" id="label24">
2221                               <property name="visible">True</property>
2222                               <property name="label" translatable="yes">&lt;b&gt;Miscellaneous Options:&lt;/b&gt;</property>
2223                               <property name="use_underline">False</property>
2224                               <property name="use_markup">True</property>
2225                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2226                               <property name="wrap">False</property>
2227                               <property name="selectable">False</property>
2228                               <property name="xalign">0</property>
2229                               <property name="yalign">0.5</property>
2230                               <property name="xpad">0</property>
2231                               <property name="ypad">2</property>
2232                             </widget>
2233                             <packing>
2234                               <property name="padding">0</property>
2235                               <property name="expand">False</property>
2236                               <property name="fill">False</property>
2237                             </packing>
2238                           </child>
2239
2240                           <child>
2241                             <widget class="GtkCheckButton" id="timestampbutton">
2242                               <property name="border_width">2</property>
2243                               <property name="visible">True</property>
2244                               <property name="can_focus">True</property>
2245                               <property name="label" translatable="yes">Timestamp new files</property>
2246                               <property name="use_underline">True</property>
2247                               <property name="relief">GTK_RELIEF_NORMAL</property>
2248                               <property name="focus_on_click">True</property>
2249                               <property name="active">False</property>
2250                               <property name="inconsistent">False</property>
2251                               <property name="draw_indicator">True</property>
2252                               <signal name="clicked" handler="generic_bool_changed" last_modification_time="Wed, 19 Apr 2006 17:42:28 GMT"/>
2253                             </widget>
2254                             <packing>
2255                               <property name="padding">0</property>
2256                               <property name="expand">False</property>
2257                               <property name="fill">False</property>
2258                             </packing>
2259                           </child>
2260                         </widget>
2261                       </child>
2262                     </widget>
2263                     <packing>
2264                       <property name="padding">0</property>
2265                       <property name="expand">False</property>
2266                       <property name="fill">True</property>
2267                     </packing>
2268                   </child>
2269
2270                   <child>
2271                     <widget class="GtkAlignment" id="alignment10">
2272                       <property name="border_width">8</property>
2273                       <property name="visible">True</property>
2274                       <property name="xalign">0.5</property>
2275                       <property name="yalign">0.5</property>
2276                       <property name="xscale">1</property>
2277                       <property name="yscale">1</property>
2278                       <property name="top_padding">0</property>
2279                       <property name="bottom_padding">0</property>
2280                       <property name="left_padding">0</property>
2281                       <property name="right_padding">0</property>
2282
2283                       <child>
2284                         <widget class="GtkVBox" id="vbox19">
2285                           <property name="visible">True</property>
2286                           <property name="homogeneous">False</property>
2287                           <property name="spacing">0</property>
2288
2289                           <child>
2290                             <widget class="GtkLabel" id="label26">
2291                               <property name="visible">True</property>
2292                               <property name="label" translatable="yes">&lt;b&gt;Y Axis Options:&lt;/b&gt;</property>
2293                               <property name="use_underline">False</property>
2294                               <property name="use_markup">True</property>
2295                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2296                               <property name="wrap">False</property>
2297                               <property name="selectable">False</property>
2298                               <property name="xalign">0</property>
2299                               <property name="yalign">0.5</property>
2300                               <property name="xpad">2</property>
2301                               <property name="ypad">2</property>
2302                             </widget>
2303                             <packing>
2304                               <property name="padding">0</property>
2305                               <property name="expand">False</property>
2306                               <property name="fill">False</property>
2307                             </packing>
2308                           </child>
2309
2310                           <child>
2311                             <widget class="GtkLabel" id="label27">
2312                               <property name="visible">True</property>
2313                               <property name="label" translatable="yes">Distance from centerline for start on mouse position:</property>
2314                               <property name="use_underline">False</property>
2315                               <property name="use_markup">True</property>
2316                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2317                               <property name="wrap">True</property>
2318                               <property name="selectable">False</property>
2319                               <property name="xalign">0</property>
2320                               <property name="yalign">0.5</property>
2321                               <property name="xpad">0</property>
2322                               <property name="ypad">0</property>
2323                             </widget>
2324                             <packing>
2325                               <property name="padding">0</property>
2326                               <property name="expand">False</property>
2327                               <property name="fill">False</property>
2328                             </packing>
2329                           </child>
2330
2331                           <child>
2332                             <widget class="GtkHScale" id="mouseposstartscale">
2333                               <property name="visible">True</property>
2334                               <property name="can_focus">True</property>
2335                               <property name="draw_value">True</property>
2336                               <property name="value_pos">GTK_POS_TOP</property>
2337                               <property name="digits">0</property>
2338                               <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
2339                               <property name="inverted">False</property>
2340                               <property name="adjustment">100 0 500 1 1 0</property>
2341                               <signal name="value_changed" handler="mouseposstart_y_changed" last_modification_time="Fri, 26 Sep 2003 12:18:02 GMT"/>
2342                             </widget>
2343                             <packing>
2344                               <property name="padding">0</property>
2345                               <property name="expand">False</property>
2346                               <property name="fill">True</property>
2347                             </packing>
2348                           </child>
2349
2350                           <child>
2351                             <widget class="GtkLabel" id="label28">
2352                               <property name="visible">True</property>
2353                               <property name="label" translatable="yes">Scaling amount (1D mode):</property>
2354                               <property name="use_underline">False</property>
2355                               <property name="use_markup">False</property>
2356                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2357                               <property name="wrap">False</property>
2358                               <property name="selectable">False</property>
2359                               <property name="xalign">0</property>
2360                               <property name="yalign">0.5</property>
2361                               <property name="xpad">0</property>
2362                               <property name="ypad">0</property>
2363                             </widget>
2364                             <packing>
2365                               <property name="padding">0</property>
2366                               <property name="expand">False</property>
2367                               <property name="fill">False</property>
2368                             </packing>
2369                           </child>
2370
2371                           <child>
2372                             <widget class="GtkHScale" id="yaxisscale">
2373                               <property name="visible">True</property>
2374                               <property name="can_focus">True</property>
2375                               <property name="draw_value">True</property>
2376                               <property name="value_pos">GTK_POS_TOP</property>
2377                               <property name="digits">0</property>
2378                               <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
2379                               <property name="inverted">False</property>
2380                               <property name="adjustment">0 0 2000 1 1 0</property>
2381                               <signal name="value_changed" handler="y_scale_changed" last_modification_time="Fri, 26 Sep 2003 12:18:22 GMT"/>
2382                             </widget>
2383                             <packing>
2384                               <property name="padding">0</property>
2385                               <property name="expand">False</property>
2386                               <property name="fill">True</property>
2387                             </packing>
2388                           </child>
2389                         </widget>
2390                       </child>
2391                     </widget>
2392                     <packing>
2393                       <property name="padding">0</property>
2394                       <property name="expand">False</property>
2395                       <property name="fill">True</property>
2396                     </packing>
2397                   </child>
2398
2399                   <child>
2400                     <widget class="GtkVBox" id="vbox42">
2401                       <property name="border_width">8</property>
2402                       <property name="visible">True</property>
2403                       <property name="homogeneous">False</property>
2404                       <property name="spacing">0</property>
2405
2406                       <child>
2407                         <widget class="GtkLabel" id="label104">
2408                           <property name="visible">True</property>
2409                           <property name="label" translatable="yes">&lt;b&gt;Actions:&lt;/b&gt;</property>
2410                           <property name="use_underline">False</property>
2411                           <property name="use_markup">True</property>
2412                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2413                           <property name="wrap">False</property>
2414                           <property name="selectable">False</property>
2415                           <property name="xalign">0</property>
2416                           <property name="yalign">0.5</property>
2417                           <property name="xpad">2</property>
2418                           <property name="ypad">2</property>
2419                         </widget>
2420                         <packing>
2421                           <property name="padding">0</property>
2422                           <property name="expand">False</property>
2423                           <property name="fill">False</property>
2424                         </packing>
2425                       </child>
2426
2427                       <child>
2428                         <widget class="GtkScrolledWindow" id="scrolledwindow10">
2429                           <property name="visible">True</property>
2430                           <property name="can_focus">True</property>
2431                           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
2432                           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2433                           <property name="shadow_type">GTK_SHADOW_IN</property>
2434                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2435
2436                           <child>
2437                             <widget class="GtkTreeView" id="action_tree_view">
2438                               <property name="visible">True</property>
2439                               <property name="can_focus">True</property>
2440                               <property name="headers_visible">True</property>
2441                               <property name="rules_hint">False</property>
2442                               <property name="reorderable">False</property>
2443                               <property name="enable_search">True</property>
2444                             </widget>
2445                           </child>
2446                         </widget>
2447                         <packing>
2448                           <property name="padding">0</property>
2449                           <property name="expand">True</property>
2450                           <property name="fill">True</property>
2451                         </packing>
2452                       </child>
2453                     </widget>
2454                     <packing>
2455                       <property name="padding">0</property>
2456                       <property name="expand">True</property>
2457                       <property name="fill">True</property>
2458                     </packing>
2459                   </child>
2460
2461                   <child>
2462                     <widget class="GtkAlignment" id="alignment33">
2463                       <property name="border_width">8</property>
2464                       <property name="visible">True</property>
2465                       <property name="xalign">0.5</property>
2466                       <property name="yalign">0.5</property>
2467                       <property name="xscale">1</property>
2468                       <property name="yscale">1</property>
2469                       <property name="top_padding">0</property>
2470                       <property name="bottom_padding">0</property>
2471                       <property name="left_padding">0</property>
2472                       <property name="right_padding">0</property>
2473
2474                       <child>
2475                         <widget class="GtkVBox" id="vbox38">
2476                           <property name="visible">True</property>
2477                           <property name="homogeneous">False</property>
2478                           <property name="spacing">0</property>
2479
2480                           <child>
2481                             <widget class="GtkLabel" id="label101">
2482                               <property name="visible">True</property>
2483                               <property name="label" translatable="yes">&lt;b&gt;Advanced Settings:&lt;/b&gt;</property>
2484                               <property name="use_underline">False</property>
2485                               <property name="use_markup">True</property>
2486                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2487                               <property name="wrap">False</property>
2488                               <property name="selectable">False</property>
2489                               <property name="xalign">0</property>
2490                               <property name="yalign">0.5</property>
2491                               <property name="xpad">2</property>
2492                               <property name="ypad">2</property>
2493                             </widget>
2494                             <packing>
2495                               <property name="padding">0</property>
2496                               <property name="expand">False</property>
2497                               <property name="fill">False</property>
2498                             </packing>
2499                           </child>
2500
2501                           <child>
2502                             <widget class="GtkLabel" id="label106">
2503                               <property name="visible">True</property>
2504                               <property name="label" translatable="yes">Additional settings can be accessed directly using the GConf configuration database Please note that these settings are intended for advanced users only, and by changing these settings it is possible to put Dasher into an unusable state.</property>
2505                               <property name="use_underline">False</property>
2506                               <property name="use_markup">False</property>
2507                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2508                               <property name="wrap">True</property>
2509                               <property name="selectable">False</property>
2510                               <property name="xalign">0</property>
2511                               <property name="yalign">0.5</property>
2512                               <property name="xpad">0</property>
2513                               <property name="ypad">0</property>
2514                             </widget>
2515                             <packing>
2516                               <property name="padding">4</property>
2517                               <property name="expand">False</property>
2518                               <property name="fill">False</property>
2519                             </packing>
2520                           </child>
2521
2522                           <child>
2523                             <widget class="GtkLabel" id="gconfwarning">
2524                               <property name="visible">True</property>
2525                               <property name="label" translatable="yes">&lt;b&gt;&lt;i&gt;gconf-editor Not Found&lt;/i&gt;&lt;/b&gt;
2526 You must have gconf-editor installed and available in your path in order to access these settings.</property>
2527                               <property name="use_underline">False</property>
2528                               <property name="use_markup">True</property>
2529                               <property name="justify">GTK_JUSTIFY_LEFT</property>
2530                               <property name="wrap">True</property>
2531                               <property name="selectable">False</property>
2532                               <property name="xalign">0</property>
2533                               <property name="yalign">0.5</property>
2534                               <property name="xpad">0</property>
2535                               <property name="ypad">0</property>
2536                             </widget>
2537                             <packing>
2538                               <property name="padding">4</property>
2539                               <property name="expand">False</property>
2540                               <property name="fill">False</property>
2541                             </packing>
2542                           </child>
2543
2544                           <child>
2545                             <widget class="GtkAlignment" id="alignment41">
2546                               <property name="visible">True</property>
2547                               <property name="xalign">1</property>
2548                               <property name="yalign">0.5</property>
2549                               <property name="xscale">0</property>
2550                               <property name="yscale">0</property>
2551                               <property name="top_padding">0</property>
2552                               <property name="bottom_padding">0</property>
2553                               <property name="left_padding">0</property>
2554                               <property name="right_padding">0</property>
2555
2556                               <child>
2557                                 <widget class="GtkButton" id="button27">
2558                                   <property name="visible">True</property>
2559                                   <property name="can_focus">True</property>
2560                                   <property name="label" translatable="yes">Launch GConf editor</property>
2561                                   <property name="use_underline">True</property>
2562                                   <property name="relief">GTK_RELIEF_NORMAL</property>
2563                                   <property name="focus_on_click">True</property>
2564                                   <signal name="clicked" handler="advanced_preferences_show" last_modification_time="Sat, 14 Jan 2006 17:54:32 GMT"/>
2565                                 </widget>
2566                               </child>
2567                             </widget>
2568                             <packing>
2569                               <property name="padding">4</property>
2570                               <property name="expand">False</property>
2571                               <property name="fill">False</property>
2572                             </packing>
2573                           </child>
2574                         </widget>
2575                       </child>
2576                     </widget>
2577                     <packing>
2578                       <property name="padding">0</property>
2579                       <property name="expand">True</property>
2580                       <property name="fill">True</property>
2581                     </packing>
2582                   </child>
2583                 </widget>
2584                 <packing>
2585                   <property name="tab_expand">False</property>
2586                   <property name="tab_fill">True</property>
2587                 </packing>
2588               </child>
2589
2590               <child>
2591                 <widget class="GtkEventBox" id="eventbox1">
2592                   <property name="visible">True</property>
2593                   <property name="visible_window">True</property>
2594                   <property name="above_child">False</property>
2595
2596                   <child>
2597                     <widget class="GtkLabel" id="label8">
2598                       <property name="visible">True</property>
2599                       <property name="label" translatable="yes">Miscellaneous</property>
2600                       <property name="use_underline">False</property>
2601                       <property name="use_markup">False</property>
2602                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2603                       <property name="wrap">False</property>
2604                       <property name="selectable">False</property>
2605                       <property name="xalign">0.5</property>
2606                       <property name="yalign">0.5</property>
2607                       <property name="xpad">0</property>
2608                       <property name="ypad">0</property>
2609                     </widget>
2610                   </child>
2611                 </widget>
2612                 <packing>
2613                   <property name="type">tab</property>
2614                 </packing>
2615               </child>
2616             </widget>
2617           </child>
2618         </widget>
2619         <packing>
2620           <property name="padding">0</property>
2621           <property name="expand">True</property>
2622           <property name="fill">True</property>
2623         </packing>
2624       </child>
2625
2626       <child>
2627         <widget class="GtkAlignment" id="alignment2">
2628           <property name="visible">True</property>
2629           <property name="xalign">0.5</property>
2630           <property name="yalign">0.5</property>
2631           <property name="xscale">1</property>
2632           <property name="yscale">1</property>
2633           <property name="top_padding">0</property>
2634           <property name="bottom_padding">0</property>
2635           <property name="left_padding">0</property>
2636           <property name="right_padding">0</property>
2637
2638           <child>
2639             <widget class="GtkHButtonBox" id="hbuttonbox1">
2640               <property name="visible">True</property>
2641               <property name="layout_style">GTK_BUTTONBOX_END</property>
2642               <property name="spacing">0</property>
2643
2644               <child>
2645                 <widget class="GtkButton" id="button11">
2646                   <property name="border_width">5</property>
2647                   <property name="visible">True</property>
2648                   <property name="can_default">True</property>
2649                   <property name="can_focus">True</property>
2650                   <property name="label">gtk-close</property>
2651                   <property name="use_stock">True</property>
2652                   <property name="relief">GTK_RELIEF_NORMAL</property>
2653                   <property name="focus_on_click">True</property>
2654                   <signal name="clicked" handler="preferences_hide" last_modification_time="Tue, 23 Sep 2003 22:55:19 GMT"/>
2655                 </widget>
2656               </child>
2657             </widget>
2658           </child>
2659         </widget>
2660         <packing>
2661           <property name="padding">0</property>
2662           <property name="expand">False</property>
2663           <property name="fill">True</property>
2664         </packing>
2665       </child>
2666     </widget>
2667   </child>
2668 </widget>
2669
2670 <widget class="GtkFileSelection" id="open_fileselector">
2671   <property name="border_width">10</property>
2672   <property name="title" translatable="yes">Select File</property>
2673   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2674   <property name="window_position">GTK_WIN_POS_NONE</property>
2675   <property name="modal">False</property>
2676   <property name="resizable">True</property>
2677   <property name="destroy_with_parent">True</property>
2678   <property name="decorated">True</property>
2679   <property name="skip_taskbar_hint">False</property>
2680   <property name="skip_pager_hint">False</property>
2681   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2682   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2683   <property name="show_fileops">True</property>
2684   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
2685
2686   <child internal-child="cancel_button">
2687     <widget class="GtkButton" id="cancel_button1">
2688       <property name="visible">True</property>
2689       <property name="can_default">True</property>
2690       <property name="can_focus">True</property>
2691       <property name="relief">GTK_RELIEF_NORMAL</property>
2692       <property name="focus_on_click">True</property>
2693     </widget>
2694   </child>
2695
2696   <child internal-child="ok_button">
2697     <widget class="GtkButton" id="ok_button1">
2698       <property name="visible">True</property>
2699       <property name="can_default">True</property>
2700       <property name="can_focus">True</property>
2701       <property name="relief">GTK_RELIEF_NORMAL</property>
2702       <property name="focus_on_click">True</property>
2703     </widget>
2704   </child>
2705 </widget>
2706
2707 <widget class="GtkFontSelectionDialog" id="dasher_fontselector">
2708   <property name="border_width">4</property>
2709   <property name="title" translatable="yes">Select Font</property>
2710   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2711   <property name="window_position">GTK_WIN_POS_NONE</property>
2712   <property name="modal">False</property>
2713   <property name="resizable">True</property>
2714   <property name="destroy_with_parent">False</property>
2715   <property name="decorated">True</property>
2716   <property name="skip_taskbar_hint">False</property>
2717   <property name="skip_pager_hint">False</property>
2718   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2719   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2720   <signal name="delete_event" handler="fontsel_hide" last_modification_time="Tue, 23 Sep 2003 18:16:56 GMT"/>
2721
2722   <child internal-child="cancel_button">
2723     <widget class="GtkButton" id="cancel_butto">
2724       <property name="can_default">True</property>
2725       <property name="can_focus">True</property>
2726       <property name="relief">GTK_RELIEF_NORMAL</property>
2727       <property name="focus_on_click">True</property>
2728       <signal name="clicked" handler="fontsel_hide" last_modification_time="Tue, 23 Sep 2003 18:11:49 GMT"/>
2729     </widget>
2730   </child>
2731
2732   <child internal-child="apply_button">
2733     <widget class="GtkButton" id="cancel_button2">
2734       <property name="can_default">True</property>
2735       <property name="can_focus">True</property>
2736       <property name="label">gtk-cancel</property>
2737       <property name="use_stock">True</property>
2738       <property name="relief">GTK_RELIEF_NORMAL</property>
2739       <property name="focus_on_click">True</property>
2740       <signal name="clicked" handler="fontsel_hide" last_modification_time="Sat, 04 Oct 2003 14:42:00 GMT"/>
2741     </widget>
2742   </child>
2743
2744   <child internal-child="ok_button">
2745     <widget class="GtkButton" id="ok_button2">
2746       <property name="visible">True</property>
2747       <property name="can_default">True</property>
2748       <property name="can_focus">True</property>
2749       <property name="relief">GTK_RELIEF_NORMAL</property>
2750       <property name="focus_on_click">True</property>
2751     </widget>
2752   </child>
2753
2754   <child internal-child="font_selection">
2755     <widget class="GtkFontSelection" id="font_selection1">
2756       <property name="border_width">4</property>
2757       <property name="visible">True</property>
2758       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
2759     </widget>
2760     <packing>
2761       <property name="padding">0</property>
2762       <property name="expand">True</property>
2763       <property name="fill">True</property>
2764     </packing>
2765   </child>
2766 </widget>
2767
2768 <widget class="GtkFontSelectionDialog" id="edit_fontselector">
2769   <property name="border_width">4</property>
2770   <property name="title" translatable="yes">Select Font</property>
2771   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2772   <property name="window_position">GTK_WIN_POS_NONE</property>
2773   <property name="modal">False</property>
2774   <property name="resizable">True</property>
2775   <property name="destroy_with_parent">False</property>
2776   <property name="decorated">True</property>
2777   <property name="skip_taskbar_hint">False</property>
2778   <property name="skip_pager_hint">False</property>
2779   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2780   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2781
2782   <child internal-child="cancel_button">
2783     <widget class="GtkButton" id="cancel_butto3">
2784       <property name="can_default">True</property>
2785       <property name="can_focus">True</property>
2786       <property name="relief">GTK_RELIEF_NORMAL</property>
2787       <property name="focus_on_click">True</property>
2788       <signal name="clicked" handler="edit_fontsel_hide" last_modification_time="Fri, 17 Oct 2003 16:12:24 GMT"/>
2789     </widget>
2790   </child>
2791
2792   <child internal-child="apply_button">
2793     <widget class="GtkButton" id="button22">
2794       <property name="visible">True</property>
2795       <property name="can_default">True</property>
2796       <property name="can_focus">True</property>
2797       <property name="relief">GTK_RELIEF_NORMAL</property>
2798       <property name="focus_on_click">True</property>
2799     </widget>
2800   </child>
2801
2802   <child internal-child="ok_button">
2803     <widget class="GtkButton" id="ok_button3">
2804       <property name="visible">True</property>
2805       <property name="can_default">True</property>
2806       <property name="can_focus">True</property>
2807       <property name="relief">GTK_RELIEF_NORMAL</property>
2808       <property name="focus_on_click">True</property>
2809     </widget>
2810   </child>
2811
2812   <child internal-child="font_selection">
2813     <widget class="GtkFontSelection" id="font_selection_2">
2814       <property name="border_width">4</property>
2815       <property name="visible">True</property>
2816       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
2817     </widget>
2818     <packing>
2819       <property name="padding">0</property>
2820       <property name="expand">True</property>
2821       <property name="fill">True</property>
2822     </packing>
2823   </child>
2824 </widget>
2825
2826 <widget class="GtkDialog" id="trainwindow">
2827   <property name="title" translatable="yes">Training</property>
2828   <property name="type">GTK_WINDOW_POPUP</property>
2829   <property name="window_position">GTK_WIN_POS_CENTER</property>
2830   <property name="modal">False</property>
2831   <property name="resizable">True</property>
2832   <property name="destroy_with_parent">False</property>
2833   <property name="decorated">True</property>
2834   <property name="skip_taskbar_hint">False</property>
2835   <property name="skip_pager_hint">False</property>
2836   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2837   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2838   <property name="has_separator">False</property>
2839
2840   <child internal-child="vbox">
2841     <widget class="GtkVBox" id="dialog-vbox1">
2842       <property name="visible">True</property>
2843       <property name="homogeneous">False</property>
2844       <property name="spacing">0</property>
2845
2846       <child internal-child="action_area">
2847         <widget class="GtkHButtonBox" id="dialog-action_area1">
2848           <property name="visible">True</property>
2849           <property name="layout_style">GTK_BUTTONBOX_END</property>
2850         </widget>
2851         <packing>
2852           <property name="padding">0</property>
2853           <property name="expand">False</property>
2854           <property name="fill">True</property>
2855           <property name="pack_type">GTK_PACK_END</property>
2856         </packing>
2857       </child>
2858
2859       <child>
2860         <widget class="GtkLabel" id="label46">
2861           <property name="visible">True</property>
2862           <property name="can_focus">True</property>
2863           <property name="label" translatable="yes">Training Dasher... please wait</property>
2864           <property name="use_underline">False</property>
2865           <property name="use_markup">False</property>
2866           <property name="justify">GTK_JUSTIFY_LEFT</property>
2867           <property name="wrap">False</property>
2868           <property name="selectable">False</property>
2869           <property name="xalign">0.5</property>
2870           <property name="yalign">0.5</property>
2871           <property name="xpad">0</property>
2872           <property name="ypad">0</property>
2873         </widget>
2874         <packing>
2875           <property name="padding">0</property>
2876           <property name="expand">False</property>
2877           <property name="fill">False</property>
2878         </packing>
2879       </child>
2880     </widget>
2881   </child>
2882 </widget>
2883
2884 <widget class="GtkFileSelection" id="save_fileselector">
2885   <property name="border_width">10</property>
2886   <property name="title" translatable="yes">Select File</property>
2887   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2888   <property name="window_position">GTK_WIN_POS_NONE</property>
2889   <property name="modal">False</property>
2890   <property name="resizable">True</property>
2891   <property name="destroy_with_parent">True</property>
2892   <property name="decorated">True</property>
2893   <property name="skip_taskbar_hint">False</property>
2894   <property name="skip_pager_hint">False</property>
2895   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2896   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2897   <property name="show_fileops">True</property>
2898   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
2899
2900   <child internal-child="cancel_button">
2901     <widget class="GtkButton" id="button14">
2902       <property name="visible">True</property>
2903       <property name="can_default">True</property>
2904       <property name="can_focus">True</property>
2905       <property name="relief">GTK_RELIEF_NORMAL</property>
2906       <property name="focus_on_click">True</property>
2907     </widget>
2908   </child>
2909
2910   <child internal-child="ok_button">
2911     <widget class="GtkButton" id="button15">
2912       <property name="visible">True</property>
2913       <property name="can_default">True</property>
2914       <property name="can_focus">True</property>
2915       <property name="relief">GTK_RELIEF_NORMAL</property>
2916       <property name="focus_on_click">True</property>
2917     </widget>
2918   </child>
2919 </widget>
2920
2921 <widget class="GtkFileSelection" id="append_fileselector">
2922   <property name="border_width">10</property>
2923   <property name="title" translatable="yes">Select File</property>
2924   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2925   <property name="window_position">GTK_WIN_POS_NONE</property>
2926   <property name="modal">False</property>
2927   <property name="resizable">True</property>
2928   <property name="destroy_with_parent">True</property>
2929   <property name="decorated">True</property>
2930   <property name="skip_taskbar_hint">False</property>
2931   <property name="skip_pager_hint">False</property>
2932   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2933   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2934   <property name="show_fileops">True</property>
2935   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
2936
2937   <child internal-child="cancel_button">
2938     <widget class="GtkButton" id="button16">
2939       <property name="visible">True</property>
2940       <property name="can_default">True</property>
2941       <property name="can_focus">True</property>
2942       <property name="relief">GTK_RELIEF_NORMAL</property>
2943       <property name="focus_on_click">True</property>
2944     </widget>
2945   </child>
2946
2947   <child internal-child="ok_button">
2948     <widget class="GtkButton" id="button17">
2949       <property name="visible">True</property>
2950       <property name="can_default">True</property>
2951       <property name="can_focus">True</property>
2952       <property name="relief">GTK_RELIEF_NORMAL</property>
2953       <property name="focus_on_click">True</property>
2954     </widget>
2955   </child>
2956 </widget>
2957
2958 <widget class="GtkFileSelection" id="import_fileselector">
2959   <property name="border_width">10</property>
2960   <property name="title" translatable="yes">Select File</property>
2961   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2962   <property name="window_position">GTK_WIN_POS_NONE</property>
2963   <property name="modal">False</property>
2964   <property name="resizable">True</property>
2965   <property name="destroy_with_parent">True</property>
2966   <property name="decorated">True</property>
2967   <property name="skip_taskbar_hint">False</property>
2968   <property name="skip_pager_hint">False</property>
2969   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2970   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2971   <property name="show_fileops">True</property>
2972   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
2973
2974   <child internal-child="cancel_button">
2975     <widget class="GtkButton" id="button18">
2976       <property name="visible">True</property>
2977       <property name="can_default">True</property>
2978       <property name="can_focus">True</property>
2979       <property name="relief">GTK_RELIEF_NORMAL</property>
2980       <property name="focus_on_click">True</property>
2981     </widget>
2982   </child>
2983
2984   <child internal-child="ok_button">
2985     <widget class="GtkButton" id="button19">
2986       <property name="visible">True</property>
2987       <property name="can_default">True</property>
2988       <property name="can_focus">True</property>
2989       <property name="relief">GTK_RELIEF_NORMAL</property>
2990       <property name="focus_on_click">True</property>
2991     </widget>
2992   </child>
2993 </widget>
2994
2995 <widget class="GtkFileSelection" id="save_and_quit_fileselector">
2996   <property name="border_width">10</property>
2997   <property name="title" translatable="yes">Select File</property>
2998   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2999   <property name="window_position">GTK_WIN_POS_NONE</property>
3000   <property name="modal">False</property>
3001   <property name="resizable">True</property>
3002   <property name="destroy_with_parent">True</property>
3003   <property name="decorated">True</property>
3004   <property name="skip_taskbar_hint">False</property>
3005   <property name="skip_pager_hint">False</property>
3006   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3007   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3008   <property name="show_fileops">True</property>
3009   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
3010
3011   <child internal-child="cancel_button">
3012     <widget class="GtkButton" id="button20">
3013       <property name="visible">True</property>
3014       <property name="can_default">True</property>
3015       <property name="can_focus">True</property>
3016       <property name="relief">GTK_RELIEF_NORMAL</property>
3017       <property name="focus_on_click">True</property>
3018     </widget>
3019   </child>
3020
3021   <child internal-child="ok_button">
3022     <widget class="GtkButton" id="button21">
3023       <property name="visible">True</property>
3024       <property name="can_default">True</property>
3025       <property name="can_focus">True</property>
3026       <property name="relief">GTK_RELIEF_NORMAL</property>
3027       <property name="focus_on_click">True</property>
3028     </widget>
3029   </child>
3030 </widget>
3031
3032 <widget class="GtkWindow" id="window1">
3033   <property name="width_request">420</property>
3034   <property name="title" translatable="yes">Button Preferences</property>
3035   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3036   <property name="window_position">GTK_WIN_POS_NONE</property>
3037   <property name="modal">False</property>
3038   <property name="resizable">True</property>
3039   <property name="destroy_with_parent">False</property>
3040   <property name="decorated">True</property>
3041   <property name="skip_taskbar_hint">False</property>
3042   <property name="skip_pager_hint">False</property>
3043   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3044   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3045
3046   <child>
3047     <widget class="GtkAlignment" id="alignment30">
3048       <property name="visible">True</property>
3049       <property name="xalign">0.5</property>
3050       <property name="yalign">0.5</property>
3051       <property name="xscale">1</property>
3052       <property name="yscale">1</property>
3053       <property name="top_padding">0</property>
3054       <property name="bottom_padding">0</property>
3055       <property name="left_padding">0</property>
3056       <property name="right_padding">0</property>
3057
3058       <child>
3059         <widget class="GtkVBox" id="vbox34">
3060           <property name="visible">True</property>
3061           <property name="homogeneous">False</property>
3062           <property name="spacing">0</property>
3063
3064           <child>
3065             <widget class="GtkTable" id="table8">
3066               <property name="border_width">8</property>
3067               <property name="visible">True</property>
3068               <property name="n_rows">15</property>
3069               <property name="n_columns">2</property>
3070               <property name="homogeneous">False</property>
3071               <property name="row_spacing">0</property>
3072               <property name="column_spacing">0</property>
3073
3074               <child>
3075                 <widget class="GtkLabel" id="label80">
3076                   <property name="visible">True</property>
3077                   <property name="label" translatable="yes">&lt;b&gt;Compass Mode&lt;/b&gt;</property>
3078                   <property name="use_underline">False</property>
3079                   <property name="use_markup">True</property>
3080                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3081                   <property name="wrap">False</property>
3082                   <property name="selectable">False</property>
3083                   <property name="xalign">0</property>
3084                   <property name="yalign">0.5</property>
3085                   <property name="xpad">2</property>
3086                   <property name="ypad">2</property>
3087                 </widget>
3088                 <packing>
3089                   <property name="left_attach">0</property>
3090                   <property name="right_attach">2</property>
3091                   <property name="top_attach">2</property>
3092                   <property name="bottom_attach">3</property>
3093                   <property name="x_options">fill</property>
3094                   <property name="y_options"></property>
3095                 </packing>
3096               </child>
3097
3098               <child>
3099                 <widget class="GtkHScale" id="rightzoomscale">
3100                   <property name="visible">True</property>
3101                   <property name="can_focus">True</property>
3102                   <property name="draw_value">True</property>
3103                   <property name="value_pos">GTK_POS_TOP</property>
3104                   <property name="digits">1</property>
3105                   <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
3106                   <property name="inverted">False</property>
3107                   <property name="adjustment">4 1 9 0.10000000149 0.10000000149 0</property>
3108                   <signal name="value_changed" handler="rightzoom_changed" last_modification_time="Tue, 19 Apr 2005 17:03:50 GMT"/>
3109                 </widget>
3110                 <packing>
3111                   <property name="left_attach">1</property>
3112                   <property name="right_attach">2</property>
3113                   <property name="top_attach">3</property>
3114                   <property name="bottom_attach">4</property>
3115                   <property name="x_padding">1</property>
3116                   <property name="y_padding">2</property>
3117                   <property name="y_options">fill</property>
3118                 </packing>
3119               </child>
3120
3121               <child>
3122                 <widget class="GtkLabel" id="label77">
3123                   <property name="visible">True</property>
3124                   <property name="label" translatable="yes">Right zoom:  </property>
3125                   <property name="use_underline">False</property>
3126                   <property name="use_markup">False</property>
3127                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3128                   <property name="wrap">False</property>
3129                   <property name="selectable">False</property>
3130                   <property name="xalign">0</property>
3131                   <property name="yalign">0.5</property>
3132                   <property name="xpad">0</property>
3133                   <property name="ypad">0</property>
3134                 </widget>
3135                 <packing>
3136                   <property name="left_attach">0</property>
3137                   <property name="right_attach">1</property>
3138                   <property name="top_attach">3</property>
3139                   <property name="bottom_attach">4</property>
3140                   <property name="x_padding">2</property>
3141                   <property name="y_padding">2</property>
3142                   <property name="x_options">fill</property>
3143                   <property name="y_options"></property>
3144                 </packing>
3145               </child>
3146
3147               <child>
3148                 <widget class="GtkLabel" id="label81">
3149                   <property name="visible">True</property>
3150                   <property name="label" translatable="yes">&lt;b&gt;Direct Mode And Menu Mode&lt;/b&gt;</property>
3151                   <property name="use_underline">False</property>
3152                   <property name="use_markup">True</property>
3153                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3154                   <property name="wrap">False</property>
3155                   <property name="selectable">False</property>
3156                   <property name="xalign">0</property>
3157                   <property name="yalign">0.5</property>
3158                   <property name="xpad">0</property>
3159                   <property name="ypad">0</property>
3160                 </widget>
3161                 <packing>
3162                   <property name="left_attach">0</property>
3163                   <property name="right_attach">2</property>
3164                   <property name="top_attach">4</property>
3165                   <property name="bottom_attach">5</property>
3166                   <property name="x_padding">2</property>
3167                   <property name="y_padding">2</property>
3168                   <property name="x_options">fill</property>
3169                   <property name="y_options"></property>
3170                 </packing>
3171               </child>
3172
3173               <child>
3174                 <widget class="GtkLabel" id="label49">
3175                   <property name="visible">True</property>
3176                   <property name="label" translatable="yes">Number of boxes:</property>
3177                   <property name="use_underline">False</property>
3178                   <property name="use_markup">True</property>
3179                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3180                   <property name="wrap">False</property>
3181                   <property name="selectable">False</property>
3182                   <property name="xalign">0</property>
3183                   <property name="yalign">0.5</property>
3184                   <property name="xpad">0</property>
3185                   <property name="ypad">0</property>
3186                 </widget>
3187                 <packing>
3188                   <property name="left_attach">0</property>
3189                   <property name="right_attach">1</property>
3190                   <property name="top_attach">5</property>
3191                   <property name="bottom_attach">6</property>
3192                   <property name="x_padding">2</property>
3193                   <property name="y_padding">2</property>
3194                   <property name="x_options">fill</property>
3195                   <property name="y_options"></property>
3196                 </packing>
3197               </child>
3198
3199               <child>
3200                 <widget class="GtkHScale" id="numberofboxesscale">
3201                   <property name="visible">True</property>
3202                   <property name="can_focus">True</property>
3203                   <property name="draw_value">True</property>
3204                   <property name="value_pos">GTK_POS_TOP</property>
3205                   <property name="digits">0</property>
3206                   <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
3207                   <property name="inverted">False</property>
3208                   <property name="adjustment">4 2 10 1 1 0</property>
3209                   <signal name="value_changed" handler="numberofboxes_changed" last_modification_time="Thu, 19 Aug 2004 16:43:11 GMT"/>
3210                 </widget>
3211                 <packing>
3212                   <property name="left_attach">1</property>
3213                   <property name="right_attach">2</property>
3214                   <property name="top_attach">5</property>
3215                   <property name="bottom_attach">6</property>
3216                   <property name="x_padding">2</property>
3217                   <property name="y_padding">2</property>
3218                   <property name="x_options">fill</property>
3219                   <property name="y_options">fill</property>
3220                 </packing>
3221               </child>
3222
3223               <child>
3224                 <widget class="GtkLabel" id="label50">
3225                   <property name="visible">True</property>
3226                   <property name="label" translatable="yes">Safety margin:</property>
3227                   <property name="use_underline">False</property>
3228                   <property name="use_markup">True</property>
3229                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3230                   <property name="wrap">False</property>
3231                   <property name="selectable">False</property>
3232                   <property name="xalign">0</property>
3233                   <property name="yalign">0.5</property>
3234                   <property name="xpad">0</property>
3235                   <property name="ypad">0</property>
3236                 </widget>
3237                 <packing>
3238                   <property name="left_attach">0</property>
3239                   <property name="right_attach">1</property>
3240                   <property name="top_attach">6</property>
3241                   <property name="bottom_attach">7</property>
3242                   <property name="x_padding">2</property>
3243                   <property name="y_padding">2</property>
3244                   <property name="x_options">fill</property>
3245                   <property name="y_options"></property>
3246                 </packing>
3247               </child>
3248
3249               <child>
3250                 <widget class="GtkHScale" id="sparameterscale">
3251                   <property name="visible">True</property>
3252                   <property name="can_focus">True</property>
3253                   <property name="draw_value">True</property>
3254                   <property name="value_pos">GTK_POS_TOP</property>
3255                   <property name="digits">0</property>
3256                   <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
3257                   <property name="inverted">False</property>
3258                   <property name="adjustment">25 0 256 1 1 0</property>
3259                   <signal name="value_changed" handler="sparameter_changed" last_modification_time="Thu, 19 Aug 2004 16:43:11 GMT"/>
3260                 </widget>
3261                 <packing>
3262                   <property name="left_attach">1</property>
3263                   <property name="right_attach">2</property>
3264                   <property name="top_attach">6</property>
3265                   <property name="bottom_attach">7</property>
3266                   <property name="x_padding">2</property>
3267                   <property name="y_padding">2</property>
3268                   <property name="x_options">fill</property>
3269                   <property name="y_options">fill</property>
3270                 </packing>
3271               </child>
3272
3273               <child>
3274                 <widget class="GtkLabel" id="label51">
3275                   <property name="label" translatable="yes">Number of &quot;zoom-out boxes&quot;:</property>
3276                   <property name="use_underline">False</property>
3277                   <property name="use_markup">True</property>
3278                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3279                   <property name="wrap">False</property>
3280                   <property name="selectable">False</property>
3281                   <property name="xalign">0</property>
3282                   <property name="yalign">0.5</property>
3283                   <property name="xpad">0</property>
3284                   <property name="ypad">0</property>
3285                 </widget>
3286                 <packing>
3287                   <property name="left_attach">0</property>
3288                   <property name="right_attach">1</property>
3289                   <property name="top_attach">7</property>
3290                   <property name="bottom_attach">8</property>
3291                   <property name="x_padding">2</property>
3292                   <property name="y_padding">2</property>
3293                   <property name="x_options">fill</property>
3294                   <property name="y_options"></property>
3295                 </packing>
3296               </child>
3297
3298               <child>
3299                 <widget class="GtkHScale" id="zparameterscale">
3300                   <property name="can_focus">True</property>
3301                   <property name="draw_value">True</property>
3302                   <property name="value_pos">GTK_POS_TOP</property>
3303                   <property name="digits">0</property>
3304                   <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
3305                   <property name="inverted">False</property>
3306                   <property name="adjustment">0 0 1 1 1 0</property>
3307                   <signal name="value_changed" handler="zparameter_changed" last_modification_time="Sat, 27 Sep 2003 22:29:00 GMT"/>
3308                 </widget>
3309                 <packing>
3310                   <property name="left_attach">1</property>
3311                   <property name="right_attach">2</property>
3312                   <property name="top_attach">7</property>
3313                   <property name="bottom_attach">8</property>
3314                   <property name="x_padding">2</property>
3315                   <property name="y_padding">2</property>
3316                   <property name="x_options">fill</property>
3317                   <property name="y_options">fill</property>
3318                 </packing>
3319               </child>
3320
3321               <child>
3322                 <widget class="GtkLabel" id="label52">
3323                   <property name="visible">True</property>
3324                   <property name="label" translatable="yes">Box non-uniformity:</property>
3325                   <property name="use_underline">False</property>
3326                   <property name="use_markup">True</property>
3327                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3328                   <property name="wrap">False</property>
3329                   <property name="selectable">False</property>
3330                   <property name="xalign">0</property>
3331                   <property name="yalign">0.5</property>
3332                   <property name="xpad">0</property>
3333                   <property name="ypad">0</property>
3334                 </widget>
3335                 <packing>
3336                   <property name="left_attach">0</property>
3337                   <property name="right_attach">1</property>
3338                   <property name="top_attach">8</property>
3339                   <property name="bottom_attach">9</property>
3340                   <property name="x_padding">2</property>
3341                   <property name="y_padding">2</property>
3342                   <property name="x_options">fill</property>
3343                   <property name="y_options"></property>
3344                 </packing>
3345               </child>
3346
3347               <child>
3348                 <widget class="GtkHScale" id="rparameterscale">
3349                   <property name="visible">True</property>
3350                   <property name="can_focus">True</property>
3351                   <property name="draw_value">True</property>
3352                   <property name="value_pos">GTK_POS_TOP</property>
3353                   <property name="digits">0</property>
3354                   <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
3355                   <property name="inverted">False</property>
3356                   <property name="adjustment">0 -400 400 1 10 10</property>
3357                   <signal name="value_changed" handler="rparameter_changed" last_modification_time="Sat, 27 Sep 2003 22:29:00 GMT"/>
3358                 </widget>
3359                 <packing>
3360                   <property name="left_attach">1</property>
3361                   <property name="right_attach">2</property>
3362                   <property name="top_attach">8</property>
3363                   <property name="bottom_attach">9</property>
3364                   <property name="x_padding">2</property>
3365                   <property name="y_padding">2</property>
3366                   <property name="x_options">fill</property>
3367                   <property name="y_options">fill</property>
3368                 </packing>
3369               </child>
3370
3371               <child>
3372                 <widget class="GtkLabel" id="label82">
3373                   <property name="label" translatable="yes">&lt;b&gt;One-Button Static Mode&lt;/b&gt;</property>
3374                   <property name="use_underline">False</property>
3375                   <property name="use_markup">True</property>
3376                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3377                   <property name="wrap">False</property>
3378                   <property name="selectable">False</property>
3379                   <property name="xalign">0</property>
3380                   <property name="yalign">0.5</property>
3381                   <property name="xpad">0</property>
3382                   <property name="ypad">0</property>
3383                 </widget>
3384                 <packing>
3385                   <property name="left_attach">0</property>
3386                   <property name="right_attach">2</property>
3387                   <property name="top_attach">9</property>
3388                   <property name="bottom_attach">10</property>
3389                   <property name="x_padding">2</property>
3390                   <property name="y_padding">2</property>
3391                   <property name="x_options">fill</property>
3392                   <property name="y_options"></property>
3393                 </packing>
3394               </child>
3395
3396               <child>
3397                 <widget class="GtkLabel" id="label47">
3398                   <property name="label" translatable="yes">Zoom:</property>
3399                   <property name="use_underline">False</property>
3400                   <property name="use_markup">True</property>
3401                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3402                   <property name="wrap">False</property>
3403                   <property name="selectable">False</property>
3404                   <property name="xalign">0</property>
3405                   <property name="yalign">0.5</property>
3406                   <property name="xpad">0</property>
3407                   <property name="ypad">0</property>
3408                 </widget>
3409                 <packing>
3410                   <property name="left_attach">0</property>
3411                   <property name="right_attach">1</property>
3412                   <property name="top_attach">10</property>
3413                   <property name="bottom_attach">11</property>
3414                   <property name="x_padding">2</property>
3415                   <property name="y_padding">2</property>
3416                   <property name="x_options">fill</property>
3417                   <property name="y_options"></property>
3418                 </packing>
3419               </child>
3420
3421               <child>
3422                 <widget class="GtkHScale" id="zoomfactorscale">
3423                   <property name="can_focus">True</property>
3424                   <property name="draw_value">True</property>
3425                   <property name="value_pos">GTK_POS_TOP</property>
3426                   <property name="digits">1</property>
3427                   <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
3428                   <property name="inverted">False</property>
3429                   <property name="adjustment">6000 0 90000 1 1 0</property>
3430                   <signal name="value_changed" handler="zoomfactor_changed" last_modification_time="Thu, 19 Aug 2004 16:43:00 GMT"/>
3431                 </widget>
3432                 <packing>
3433                   <property name="left_attach">1</property>
3434                   <property name="right_attach">2</property>
3435                   <property name="top_attach">10</property>
3436                   <property name="bottom_attach">11</property>
3437                   <property name="x_padding">2</property>
3438                   <property name="y_padding">2</property>
3439                   <property name="x_options">fill</property>
3440                   <property name="y_options">fill</property>
3441                 </packing>
3442               </child>
3443
3444               <child>
3445                 <widget class="GtkHScale" id="droptimescale">
3446                   <property name="can_focus">True</property>
3447                   <property name="draw_value">True</property>
3448                   <property name="value_pos">GTK_POS_TOP</property>
3449                   <property name="digits">1</property>
3450                   <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
3451                   <property name="inverted">False</property>
3452                   <property name="adjustment">1.2 0 100 0.10000000149 0.10000000149 0</property>
3453                   <signal name="value_changed" handler="droptime_changed" last_modification_time="Thu, 19 Aug 2004 16:43:11 GMT"/>
3454                 </widget>
3455                 <packing>
3456                   <property name="left_attach">1</property>
3457                   <property name="right_attach">2</property>
3458                   <property name="top_attach">11</property>
3459                   <property name="bottom_attach">12</property>
3460                   <property name="x_padding">2</property>
3461                   <property name="y_padding">2</property>
3462                   <property name="x_options">fill</property>
3463                   <property name="y_options">fill</property>
3464                 </packing>
3465               </child>
3466
3467               <child>
3468                 <widget class="GtkLabel" id="label48">
3469                   <property name="label" translatable="yes">Drop time:  </property>
3470                   <property name="use_underline">False</property>
3471                   <property name="use_markup">True</property>
3472                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3473                   <property name="wrap">False</property>
3474                   <property name="selectable">False</property>
3475                   <property name="xalign">0</property>
3476                   <property name="yalign">0.5</property>
3477                   <property name="xpad">0</property>
3478                   <property name="ypad">0</property>
3479                 </widget>
3480                 <packing>
3481                   <property name="left_attach">0</property>
3482                   <property name="right_attach">1</property>
3483                   <property name="top_attach">11</property>
3484                   <property name="bottom_attach">12</property>
3485                   <property name="x_padding">2</property>
3486                   <property name="y_padding">2</property>
3487                   <property name="x_options">fill</property>
3488                   <property name="y_options"></property>
3489                 </packing>
3490               </child>
3491
3492               <child>
3493                 <widget class="GtkLabel" id="label83">
3494                   <property name="label" translatable="yes">&lt;b&gt;One-Button Dynamic Mode&lt;/b&gt;</property>
3495                   <property name="use_underline">False</property>
3496                   <property name="use_markup">True</property>
3497                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3498                   <property name="wrap">False</property>
3499                   <property name="selectable">False</property>
3500                   <property name="xalign">0</property>
3501                   <property name="yalign">0.5</property>
3502                   <property name="xpad">2</property>
3503                   <property name="ypad">2</property>
3504                 </widget>
3505                 <packing>
3506                   <property name="left_attach">0</property>
3507                   <property name="right_attach">2</property>
3508                   <property name="top_attach">12</property>
3509                   <property name="bottom_attach">13</property>
3510                   <property name="x_padding">2</property>
3511                   <property name="y_padding">2</property>
3512                   <property name="x_options">fill</property>
3513                   <property name="y_options"></property>
3514                 </packing>
3515               </child>
3516
3517               <child>
3518                 <widget class="GtkRadioButton" id="pulsingmodebutton">
3519                   <property name="can_focus">True</property>
3520                   <property name="label" translatable="yes">Pulsing mode</property>
3521                   <property name="use_underline">True</property>
3522                   <property name="relief">GTK_RELIEF_NORMAL</property>
3523                   <property name="focus_on_click">True</property>
3524                   <property name="active">False</property>
3525                   <property name="inconsistent">False</property>
3526                   <property name="draw_indicator">True</property>
3527                 </widget>
3528                 <packing>
3529                   <property name="left_attach">0</property>
3530                   <property name="right_attach">2</property>
3531                   <property name="top_attach">13</property>
3532                   <property name="bottom_attach">14</property>
3533                   <property name="x_padding">2</property>
3534                   <property name="y_padding">3</property>
3535                   <property name="x_options">fill</property>
3536                   <property name="y_options"></property>
3537                 </packing>
3538               </child>
3539
3540               <child>
3541                 <widget class="GtkRadioButton" id="steadymodebutton">
3542                   <property name="can_focus">True</property>
3543                   <property name="label" translatable="yes">Steady mode</property>
3544                   <property name="use_underline">True</property>
3545                   <property name="relief">GTK_RELIEF_NORMAL</property>
3546                   <property name="focus_on_click">True</property>
3547                   <property name="active">False</property>
3548                   <property name="inconsistent">False</property>
3549                   <property name="draw_indicator">True</property>
3550                   <property name="group">pulsingmodebutton</property>
3551                 </widget>
3552                 <packing>
3553                   <property name="left_attach">0</property>
3554                   <property name="right_attach">2</property>
3555                   <property name="top_attach">14</property>
3556                   <property name="bottom_attach">15</property>
3557                   <property name="x_padding">2</property>
3558                   <property name="y_padding">2</property>
3559                   <property name="x_options">fill</property>
3560                   <property name="y_options"></property>
3561                 </packing>
3562               </child>
3563
3564               <child>
3565                 <widget class="GtkHScale" id="zoomstepsscale">
3566                   <property name="visible">True</property>
3567                   <property name="can_focus">True</property>
3568                   <property name="draw_value">True</property>
3569                   <property name="value_pos">GTK_POS_TOP</property>
3570                   <property name="digits">0</property>
3571                   <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
3572                   <property name="inverted">False</property>
3573                   <property name="adjustment">32 0 63 1 1 0</property>
3574                   <signal name="value_changed" handler="zoomsteps_changed" last_modification_time="Thu, 19 Aug 2004 16:43:11 GMT"/>
3575                 </widget>
3576                 <packing>
3577                   <property name="left_attach">0</property>
3578                   <property name="right_attach">2</property>
3579                   <property name="top_attach">1</property>
3580                   <property name="bottom_attach">2</property>
3581                   <property name="x_options">fill</property>
3582                 </packing>
3583               </child>
3584
3585               <child>
3586                 <widget class="GtkLabel" id="label54">
3587                   <property name="visible">True</property>
3588                   <property name="label" translatable="yes">&lt;b&gt;Zoom steps&lt;/b&gt;</property>
3589                   <property name="use_underline">False</property>
3590                   <property name="use_markup">True</property>
3591                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3592                   <property name="wrap">False</property>
3593                   <property name="selectable">False</property>
3594                   <property name="xalign">0</property>
3595                   <property name="yalign">0.5</property>
3596                   <property name="xpad">2</property>
3597                   <property name="ypad">2</property>
3598                 </widget>
3599                 <packing>
3600                   <property name="left_attach">0</property>
3601                   <property name="right_attach">2</property>
3602                   <property name="top_attach">0</property>
3603                   <property name="bottom_attach">1</property>
3604                   <property name="x_options">fill</property>
3605                   <property name="y_options"></property>
3606                 </packing>
3607               </child>
3608             </widget>
3609             <packing>
3610               <property name="padding">0</property>
3611               <property name="expand">True</property>
3612               <property name="fill">True</property>
3613             </packing>
3614           </child>
3615
3616           <child>
3617             <widget class="GtkAlignment" id="alignment29">
3618               <property name="visible">True</property>
3619               <property name="xalign">0.5</property>
3620               <property name="yalign">0.5</property>
3621               <property name="xscale">1</property>
3622               <property name="yscale">1</property>
3623               <property name="top_padding">0</property>
3624               <property name="bottom_padding">0</property>
3625               <property name="left_padding">0</property>
3626               <property name="right_padding">0</property>
3627
3628               <child>
3629                 <widget class="GtkHButtonBox" id="hbuttonbox3">
3630                   <property name="visible">True</property>
3631                   <property name="layout_style">GTK_BUTTONBOX_END</property>
3632                   <property name="spacing">0</property>
3633
3634                   <child>
3635                     <widget class="GtkButton" id="button23">
3636                       <property name="border_width">5</property>
3637                       <property name="visible">True</property>
3638                       <property name="can_default">True</property>
3639                       <property name="can_focus">True</property>
3640                       <property name="label">gtk-close</property>
3641                       <property name="use_stock">True</property>
3642                       <property name="relief">GTK_RELIEF_NORMAL</property>
3643                       <property name="focus_on_click">True</property>
3644                       <signal name="clicked" handler="button_preferences_hide" last_modification_time="Fri, 06 Jan 2006 12:53:13 GMT"/>
3645                     </widget>
3646                   </child>
3647                 </widget>
3648               </child>
3649             </widget>
3650             <packing>
3651               <property name="padding">0</property>
3652               <property name="expand">True</property>
3653               <property name="fill">True</property>
3654             </packing>
3655           </child>
3656         </widget>
3657       </child>
3658     </widget>
3659   </child>
3660 </widget>
3661
3662 <widget class="GtkWindow" id="window2">
3663   <property name="title" translatable="yes">Socket Preferences</property>
3664   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3665   <property name="window_position">GTK_WIN_POS_NONE</property>
3666   <property name="modal">False</property>
3667   <property name="resizable">True</property>
3668   <property name="destroy_with_parent">False</property>
3669   <property name="decorated">True</property>
3670   <property name="skip_taskbar_hint">False</property>
3671   <property name="skip_pager_hint">False</property>
3672   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3673   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3674
3675   <child>
3676     <widget class="GtkVBox" id="vbox35">
3677       <property name="visible">True</property>
3678       <property name="homogeneous">False</property>
3679       <property name="spacing">0</property>
3680
3681       <child>
3682         <widget class="GtkAlignment" id="alignment28">
3683           <property name="visible">True</property>
3684           <property name="xalign">0.5</property>
3685           <property name="yalign">0.5</property>
3686           <property name="xscale">1</property>
3687           <property name="yscale">1</property>
3688           <property name="top_padding">0</property>
3689           <property name="bottom_padding">0</property>
3690           <property name="left_padding">8</property>
3691           <property name="right_padding">0</property>
3692
3693           <child>
3694             <widget class="GtkVBox" id="vbox33">
3695               <property name="visible">True</property>
3696               <property name="homogeneous">False</property>
3697               <property name="spacing">0</property>
3698
3699               <child>
3700                 <widget class="GtkLabel" id="label85">
3701                   <property name="visible">True</property>
3702                   <property name="label" translatable="yes">&lt;b&gt;Socket Input&lt;/b&gt;</property>
3703                   <property name="use_underline">False</property>
3704                   <property name="use_markup">True</property>
3705                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3706                   <property name="wrap">False</property>
3707                   <property name="selectable">False</property>
3708                   <property name="xalign">0</property>
3709                   <property name="yalign">0.5</property>
3710                   <property name="xpad">0</property>
3711                   <property name="ypad">8</property>
3712                 </widget>
3713                 <packing>
3714                   <property name="padding">0</property>
3715                   <property name="expand">False</property>
3716                   <property name="fill">False</property>
3717                 </packing>
3718               </child>
3719
3720               <child>
3721                 <widget class="GtkAlignment" id="alignment27">
3722                   <property name="visible">True</property>
3723                   <property name="xalign">0.5</property>
3724                   <property name="yalign">0.5</property>
3725                   <property name="xscale">1</property>
3726                   <property name="yscale">1</property>
3727                   <property name="top_padding">0</property>
3728                   <property name="bottom_padding">0</property>
3729                   <property name="left_padding">5</property>
3730                   <property name="right_padding">0</property>
3731
3732                   <child>
3733                     <widget class="GtkHBox" id="hbox2">
3734                       <property name="visible">True</property>
3735                       <property name="homogeneous">False</property>
3736                       <property name="spacing">10</property>
3737
3738                       <child>
3739                         <widget class="GtkLabel" id="label86">
3740                           <property name="visible">True</property>
3741                           <property name="label" translatable="yes">Port</property>
3742                           <property name="use_underline">False</property>
3743                           <property name="use_markup">False</property>
3744                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3745                           <property name="wrap">False</property>
3746                           <property name="selectable">False</property>
3747                           <property name="xalign">0</property>
3748                           <property name="yalign">0.5</property>
3749                           <property name="xpad">0</property>
3750                           <property name="ypad">0</property>
3751                         </widget>
3752                         <packing>
3753                           <property name="padding">0</property>
3754                           <property name="expand">False</property>
3755                           <property name="fill">False</property>
3756                         </packing>
3757                       </child>
3758
3759                       <child>
3760                         <widget class="GtkSpinButton" id="socketport">
3761                           <property name="width_request">84</property>
3762                           <property name="visible">True</property>
3763                           <property name="can_focus">True</property>
3764                           <property name="climb_rate">1</property>
3765                           <property name="digits">0</property>
3766                           <property name="numeric">True</property>
3767                           <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3768                           <property name="snap_to_ticks">True</property>
3769                           <property name="wrap">True</property>
3770                           <property name="adjustment">12345 0 65535 1 10 10</property>
3771                           <signal name="value_changed" handler="socketport_changed" last_modification_time="Wed, 14 Sep 2005 17:48:19 GMT"/>
3772                         </widget>
3773                         <packing>
3774                           <property name="padding">0</property>
3775                           <property name="expand">False</property>
3776                           <property name="fill">True</property>
3777                         </packing>
3778                       </child>
3779                     </widget>
3780                   </child>
3781                 </widget>
3782                 <packing>
3783                   <property name="padding">0</property>
3784                   <property name="expand">False</property>
3785                   <property name="fill">False</property>
3786                 </packing>
3787               </child>
3788
3789               <child>
3790                 <widget class="GtkFrame" id="frame1">
3791                   <property name="visible">True</property>
3792                   <property name="label_xalign">0</property>
3793                   <property name="label_yalign">0.5</property>
3794                   <property name="shadow_type">GTK_SHADOW_NONE</property>
3795
3796                   <child>
3797                     <widget class="GtkAlignment" id="alignment24">
3798                       <property name="visible">True</property>
3799                       <property name="xalign">0.5</property>
3800                       <property name="yalign">0.5</property>
3801                       <property name="xscale">1</property>
3802                       <property name="yscale">1</property>
3803                       <property name="top_padding">0</property>
3804                       <property name="bottom_padding">0</property>
3805                       <property name="left_padding">12</property>
3806                       <property name="right_padding">0</property>
3807
3808                       <child>
3809                         <widget class="GtkTable" id="table10">
3810                           <property name="visible">True</property>
3811                           <property name="n_rows">3</property>
3812                           <property name="n_columns">2</property>
3813                           <property name="homogeneous">False</property>
3814                           <property name="row_spacing">5</property>
3815                           <property name="column_spacing">10</property>
3816
3817                           <child>
3818                             <widget class="GtkLabel" id="label95">
3819                               <property name="visible">True</property>
3820                               <property name="label" translatable="yes">Label</property>
3821                               <property name="use_underline">False</property>
3822                               <property name="use_markup">False</property>
3823                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3824                               <property name="wrap">False</property>
3825                               <property name="selectable">False</property>
3826                               <property name="xalign">0</property>
3827                               <property name="yalign">0.5</property>
3828                               <property name="xpad">0</property>
3829                               <property name="ypad">0</property>
3830                             </widget>
3831                             <packing>
3832                               <property name="left_attach">0</property>
3833                               <property name="right_attach">1</property>
3834                               <property name="top_attach">0</property>
3835                               <property name="bottom_attach">1</property>
3836                               <property name="x_options">fill</property>
3837                               <property name="y_options"></property>
3838                             </packing>
3839                           </child>
3840
3841                           <child>
3842                             <widget class="GtkLabel" id="label96">
3843                               <property name="visible">True</property>
3844                               <property name="label" translatable="yes">Min</property>
3845                               <property name="use_underline">False</property>
3846                               <property name="use_markup">False</property>
3847                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3848                               <property name="wrap">False</property>
3849                               <property name="selectable">False</property>
3850                               <property name="xalign">0</property>
3851                               <property name="yalign">0.5</property>
3852                               <property name="xpad">0</property>
3853                               <property name="ypad">0</property>
3854                             </widget>
3855                             <packing>
3856                               <property name="left_attach">0</property>
3857                               <property name="right_attach">1</property>
3858                               <property name="top_attach">1</property>
3859                               <property name="bottom_attach">2</property>
3860                               <property name="x_options">fill</property>
3861                               <property name="y_options"></property>
3862                             </packing>
3863                           </child>
3864
3865                           <child>
3866                             <widget class="GtkLabel" id="label97">
3867                               <property name="visible">True</property>
3868                               <property name="label" translatable="yes">Max</property>
3869                               <property name="use_underline">False</property>
3870                               <property name="use_markup">False</property>
3871                               <property name="justify">GTK_JUSTIFY_LEFT</property>
3872                               <property name="wrap">False</property>
3873                               <property name="selectable">False</property>
3874                               <property name="xalign">0</property>
3875                               <property name="yalign">0.5</property>
3876                               <property name="xpad">0</property>
3877                               <property name="ypad">0</property>
3878                             </widget>
3879                             <packing>
3880                               <property name="left_attach">0</property>
3881                               <property name="right_attach">1</property>
3882                               <property name="top_attach">2</property>
3883                               <property name="bottom_attach">3</property>
3884                               <property name="x_options">fill</property>
3885                               <property name="y_options"></property>
3886                             </packing>
3887                           </child>
3888
3889                           <child>
3890                             <widget class="GtkEntry" id="entrysocketxlabel">
3891                               <property name="visible">True</property>
3892                               <property name="can_focus">True</property>
3893                               <property name="editable">True</property>
3894                               <property name="visibility">True</property>
3895                               <property name="max_length">127</property>
3896                               <property name="text" translatable="yes"></property>
3897                               <property name="has_frame">True</property>
3898                               <property name="invisible_char">*</property>
3899                               <property name="activates_default">False</property>
3900                               <signal name="changed" handler="socketxlabel_changed" last_modification_time="Wed, 14 Sep 2005 15:40:03 GMT"/>
3901                             </widget>
3902                             <packing>
3903                               <property name="left_attach">1</property>
3904                               <property name="right_attach">2</property>
3905                               <property name="top_attach">0</property>
3906                               <property name="bottom_attach">1</property>
3907                               <property name="x_options">shrink</property>
3908                               <property name="y_options"></property>
3909                             </packing>
3910                           </child>
3911
3912                           <child>
3913                             <widget class="GtkSpinButton" id="socketxmin">
3914                               <property name="width_request">160</property>
3915                               <property name="visible">True</property>
3916                               <property name="can_focus">True</property>
3917                               <property name="climb_rate">1</property>
3918                               <property name="digits">3</property>
3919                               <property name="numeric">True</property>
3920                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3921                               <property name="snap_to_ticks">False</property>
3922                               <property name="wrap">False</property>
3923                               <property name="adjustment">0 -2147483.75 2147483.75 1 10 10</property>
3924                               <signal name="value_changed" handler="socketxmin_changed" last_modification_time="Wed, 14 Sep 2005 17:08:01 GMT"/>
3925                             </widget>
3926                             <packing>
3927                               <property name="left_attach">1</property>
3928                               <property name="right_attach">2</property>
3929                               <property name="top_attach">1</property>
3930                               <property name="bottom_attach">2</property>
3931                               <property name="x_options">shrink</property>
3932                               <property name="y_options"></property>
3933                             </packing>
3934                           </child>
3935
3936                           <child>
3937                             <widget class="GtkSpinButton" id="socketxmax">
3938                               <property name="width_request">160</property>
3939                               <property name="visible">True</property>
3940                               <property name="can_focus">True</property>
3941                               <property name="climb_rate">1</property>
3942                               <property name="digits">3</property>
3943                               <property name="numeric">True</property>
3944                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3945                               <property name="snap_to_ticks">False</property>
3946                               <property name="wrap">False</property>
3947                               <property name="adjustment">1 -2147483.75 2147483.75 1 10 10</property>
3948                               <signal name="value_changed" handler="socketxmax_changed" last_modification_time="Wed, 14 Sep 2005 17:08:17 GMT"/>
3949                             </widget>
3950                             <packing>
3951                               <property name="left_attach">1</property>
3952                               <property name="right_attach">2</property>
3953                               <property name="top_attach">2</property>
3954                               <property name="bottom_attach">3</property>
3955                               <property name="x_options">shrink</property>
3956                               <property name="y_options"></property>
3957                             </packing>
3958                           </child>
3959                         </widget>
3960                       </child>
3961                     </widget>
3962                   </child>
3963
3964                   <child>
3965                     <widget class="GtkLabel" id="label90">
3966                       <property name="visible">True</property>
3967                       <property name="label" translatable="yes">&lt;b&gt;X Coordinate&lt;/b&gt;</property>
3968                       <property name="use_underline">False</property>
3969                       <property name="use_markup">True</property>
3970                       <property name="justify">GTK_JUSTIFY_LEFT</property>
3971                       <property name="wrap">False</property>
3972                       <property name="selectable">False</property>
3973                       <property name="xalign">0.5</property>
3974                       <property name="yalign">0.5</property>
3975                       <property name="xpad">0</property>
3976                       <property name="ypad">5</property>
3977                     </widget>
3978                     <packing>
3979                       <property name="type">label_item</property>
3980                     </packing>
3981                   </child>
3982                 </widget>
3983                 <packing>
3984                   <property name="padding">10</property>
3985                   <property name="expand">False</property>
3986                   <property name="fill">False</property>
3987                 </packing>
3988               </child>
3989
3990               <child>
3991                 <widget class="GtkFrame" id="frame2">
3992                   <property name="visible">True</property>
3993                   <property name="label_xalign">0</property>
3994                   <property name="label_yalign">0.5</property>
3995                   <property name="shadow_type">GTK_SHADOW_NONE</property>
3996
3997                   <child>
3998                     <widget class="GtkAlignment" id="alignment25">
3999                       <property name="visible">True</property>
4000                       <property name="xalign">0.5</property>
4001                       <property name="yalign">0.5</property>
4002                       <property name="xscale">1</property>
4003                       <property name="yscale">1</property>
4004                       <property name="top_padding">0</property>
4005                       <property name="bottom_padding">0</property>
4006                       <property name="left_padding">12</property>
4007                       <property name="right_padding">0</property>
4008
4009                       <child>
4010                         <widget class="GtkTable" id="table9">
4011                           <property name="visible">True</property>
4012                           <property name="n_rows">3</property>
4013                           <property name="n_columns">2</property>
4014                           <property name="homogeneous">False</property>
4015                           <property name="row_spacing">5</property>
4016                           <property name="column_spacing">10</property>
4017
4018                           <child>
4019                             <widget class="GtkLabel" id="label92">
4020                               <property name="visible">True</property>
4021                               <property name="label" translatable="yes">Label</property>
4022                               <property name="use_underline">False</property>
4023                               <property name="use_markup">False</property>
4024                               <property name="justify">GTK_JUSTIFY_LEFT</property>
4025                               <property name="wrap">False</property>
4026                               <property name="selectable">False</property>
4027                               <property name="xalign">0</property>
4028                               <property name="yalign">0.5</property>
4029                               <property name="xpad">0</property>
4030                               <property name="ypad">0</property>
4031                             </widget>
4032                             <packing>
4033                               <property name="left_attach">0</property>
4034                               <property name="right_attach">1</property>
4035                               <property name="top_attach">0</property>
4036                               <property name="bottom_attach">1</property>
4037                               <property name="x_options">fill</property>
4038                               <property name="y_options"></property>
4039                             </packing>
4040                           </child>
4041
4042                           <child>
4043                             <widget class="GtkLabel" id="label93">
4044                               <property name="visible">True</property>
4045                               <property name="label" translatable="yes">Min</property>
4046                               <property name="use_underline">False</property>
4047                               <property name="use_markup">False</property>
4048                               <property name="justify">GTK_JUSTIFY_LEFT</property>
4049                               <property name="wrap">False</property>
4050                               <property name="selectable">False</property>
4051                               <property name="xalign">0</property>
4052                               <property name="yalign">0.5</property>
4053                               <property name="xpad">0</property>
4054                               <property name="ypad">0</property>
4055                             </widget>
4056                             <packing>
4057                               <property name="left_attach">0</property>
4058                               <property name="right_attach">1</property>
4059                               <property name="top_attach">1</property>
4060                               <property name="bottom_attach">2</property>
4061                               <property name="x_options">fill</property>
4062                               <property name="y_options"></property>
4063                             </packing>
4064                           </child>
4065
4066                           <child>
4067                             <widget class="GtkLabel" id="label94">
4068                               <property name="visible">True</property>
4069                               <property name="label" translatable="yes">Max</property>
4070                               <property name="use_underline">False</property>
4071                               <property name="use_markup">False</property>
4072                               <property name="justify">GTK_JUSTIFY_LEFT</property>
4073                               <property name="wrap">False</property>
4074                               <property name="selectable">False</property>
4075                               <property name="xalign">0</property>
4076                               <property name="yalign">0.5</property>
4077                               <property name="xpad">0</property>
4078                               <property name="ypad">0</property>
4079                             </widget>
4080                             <packing>
4081                               <property name="left_attach">0</property>
4082                               <property name="right_attach">1</property>
4083                               <property name="top_attach">2</property>
4084                               <property name="bottom_attach">3</property>
4085                               <property name="x_options">fill</property>
4086                               <property name="y_options"></property>
4087                             </packing>
4088                           </child>
4089
4090                           <child>
4091                             <widget class="GtkEntry" id="entrysocketylabel">
4092                               <property name="visible">True</property>
4093                               <property name="can_focus">True</property>
4094                               <property name="editable">True</property>
4095                               <property name="visibility">True</property>
4096                               <property name="max_length">0</property>
4097                               <property name="text" translatable="yes"></property>
4098                               <property name="has_frame">True</property>
4099                               <property name="invisible_char">*</property>
4100                               <property name="activates_default">False</property>
4101                               <signal name="changed" handler="socketylabel_changed" last_modification_time="Wed, 14 Sep 2005 15:40:39 GMT"/>
4102                             </widget>
4103                             <packing>
4104                               <property name="left_attach">1</property>
4105                               <property name="right_attach">2</property>
4106                               <property name="top_attach">0</property>
4107                               <property name="bottom_attach">1</property>
4108                               <property name="x_options">shrink</property>
4109                               <property name="y_options"></property>
4110                             </packing>
4111                           </child>
4112
4113                           <child>
4114                             <widget class="GtkSpinButton" id="socketymax">
4115                               <property name="visible">True</property>
4116                               <property name="can_focus">True</property>
4117                               <property name="climb_rate">1</property>
4118                               <property name="digits">3</property>
4119                               <property name="numeric">True</property>
4120                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
4121                               <property name="snap_to_ticks">False</property>
4122                               <property name="wrap">False</property>
4123                               <property name="adjustment">1 -2147483.75 2147480 1 10 10</property>
4124                               <signal name="value_changed" handler="socketymax_changed" last_modification_time="Wed, 14 Sep 2005 17:08:47 GMT"/>
4125                             </widget>
4126                             <packing>
4127                               <property name="left_attach">1</property>
4128                               <property name="right_attach">2</property>
4129                               <property name="top_attach">2</property>
4130                               <property name="bottom_attach">3</property>
4131                               <property name="x_options">fill</property>
4132                               <property name="y_options"></property>
4133                             </packing>
4134                           </child>
4135
4136                           <child>
4137                             <widget class="GtkSpinButton" id="socketymin">
4138                               <property name="visible">True</property>
4139                               <property name="can_focus">True</property>
4140                               <property name="climb_rate">1</property>
4141                               <property name="digits">3</property>
4142                               <property name="numeric">True</property>
4143                               <property name="update_policy">GTK_UPDATE_ALWAYS</property>
4144                               <property name="snap_to_ticks">False</property>
4145                               <property name="wrap">False</property>
4146                               <property name="adjustment">0 -2147480 2147483.75 1 10 10</property>
4147                               <signal name="value_changed" handler="socketymin_changed" last_modification_time="Wed, 14 Sep 2005 17:08:47 GMT"/>
4148                             </widget>
4149                             <packing>
4150                               <property name="left_attach">1</property>
4151                               <property name="right_attach">2</property>
4152                               <property name="top_attach">1</property>
4153                               <property name="bottom_attach">2</property>
4154                               <property name="x_options">fill</property>
4155                               <property name="y_options"></property>
4156                             </packing>
4157                           </child>
4158                         </widget>
4159                       </child>
4160                     </widget>
4161                   </child>
4162
4163                   <child>
4164                     <widget class="GtkLabel" id="label91">
4165                       <property name="visible">True</property>
4166                       <property name="label" translatable="yes">&lt;b&gt;Y Coordinate&lt;/b&gt;</property>
4167                       <property name="use_underline">False</property>
4168                       <property name="use_markup">True</property>
4169                       <property name="justify">GTK_JUSTIFY_LEFT</property>
4170                       <property name="wrap">False</property>
4171                       <property name="selectable">False</property>
4172                       <property name="xalign">0.5</property>
4173                       <property name="yalign">0.5</property>
4174                       <property name="xpad">0</property>
4175                       <property name="ypad">5</property>
4176                     </widget>
4177                     <packing>
4178                       <property name="type">label_item</property>
4179                     </packing>
4180                   </child>
4181                 </widget>
4182                 <packing>
4183                   <property name="padding">10</property>
4184                   <property name="expand">False</property>
4185                   <property name="fill">False</property>
4186                 </packing>
4187               </child>
4188
4189               <child>
4190                 <widget class="GtkCheckButton" id="cb_socketdebug">
4191                   <property name="visible">True</property>
4192                   <property name="can_focus">True</property>
4193                   <property name="label" translatable="yes">Print socket-related debugging information to console</property>
4194                   <property name="use_underline">True</property>
4195                   <property name="relief">GTK_RELIEF_NORMAL</property>
4196                   <property name="focus_on_click">True</property>
4197                   <property name="active">False</property>
4198                   <property name="inconsistent">False</property>
4199                   <property name="draw_indicator">True</property>
4200                   <signal name="toggled" handler="socketdebug_toggled" last_modification_time="Wed, 14 Sep 2005 15:41:31 GMT"/>
4201                 </widget>
4202                 <packing>
4203                   <property name="padding">10</property>
4204                   <property name="expand">False</property>
4205                   <property name="fill">False</property>
4206                 </packing>
4207               </child>
4208             </widget>
4209           </child>
4210         </widget>
4211         <packing>
4212           <property name="padding">0</property>
4213           <property name="expand">True</property>
4214           <property name="fill">True</property>
4215         </packing>
4216       </child>
4217
4218       <child>
4219         <widget class="GtkHButtonBox" id="hbuttonbox4">
4220           <property name="visible">True</property>
4221           <property name="layout_style">GTK_BUTTONBOX_END</property>
4222           <property name="spacing">0</property>
4223
4224           <child>
4225             <widget class="GtkButton" id="button24">
4226               <property name="border_width">5</property>
4227               <property name="visible">True</property>
4228               <property name="can_default">True</property>
4229               <property name="can_focus">True</property>
4230               <property name="label">gtk-close</property>
4231               <property name="use_stock">True</property>
4232               <property name="relief">GTK_RELIEF_NORMAL</property>
4233               <property name="focus_on_click">True</property>
4234               <signal name="clicked" handler="socket_preferences_hide" last_modification_time="Fri, 06 Jan 2006 12:53:38 GMT"/>
4235             </widget>
4236           </child>
4237         </widget>
4238         <packing>
4239           <property name="padding">0</property>
4240           <property name="expand">True</property>
4241           <property name="fill">True</property>
4242         </packing>
4243       </child>
4244     </widget>
4245   </child>
4246 </widget>
4247
4248 <widget class="GtkWindow" id="window3">
4249   <property name="width_request">420</property>
4250   <property name="height_request">512</property>
4251   <property name="title" translatable="yes">Advanced Settings</property>
4252   <property name="type">GTK_WINDOW_TOPLEVEL</property>
4253   <property name="window_position">GTK_WIN_POS_NONE</property>
4254   <property name="modal">False</property>
4255   <property name="resizable">True</property>
4256   <property name="destroy_with_parent">False</property>
4257   <property name="decorated">True</property>
4258   <property name="skip_taskbar_hint">False</property>
4259   <property name="skip_pager_hint">False</property>
4260   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
4261   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
4262
4263   <child>
4264     <widget class="GtkVBox" id="vbox37">
4265       <property name="visible">True</property>
4266       <property name="homogeneous">False</property>
4267       <property name="spacing">0</property>
4268
4269       <child>
4270         <widget class="GtkVBox" id="vbox25">
4271           <property name="visible">True</property>
4272           <property name="homogeneous">False</property>
4273           <property name="spacing">0</property>
4274
4275           <child>
4276             <widget class="GtkLabel" id="label52">
4277               <property name="visible">True</property>
4278               <property name="label" translatable="yes">&lt;b&gt;Advanced Settings:&lt;/b&gt;</property>
4279               <property name="use_underline">False</property>
4280               <property name="use_markup">True</property>
4281               <property name="justify">GTK_JUSTIFY_LEFT</property>
4282               <property name="wrap">False</property>
4283               <property name="selectable">False</property>
4284               <property name="xalign">0</property>
4285               <property name="yalign">0.5</property>
4286               <property name="xpad">8</property>
4287               <property name="ypad">8</property>
4288             </widget>
4289             <packing>
4290               <property name="padding">0</property>
4291               <property name="expand">False</property>
4292               <property name="fill">False</property>
4293             </packing>
4294           </child>
4295
4296           <child>
4297             <widget class="GtkAlignment" id="alignment18">
4298               <property name="border_width">8</property>
4299               <property name="visible">True</property>
4300               <property name="xalign">0.5</property>
4301               <property name="yalign">0.5</property>
4302               <property name="xscale">1</property>
4303               <property name="yscale">1</property>
4304               <property name="top_padding">0</property>
4305               <property name="bottom_padding">0</property>
4306               <property name="left_padding">0</property>
4307               <property name="right_padding">0</property>
4308
4309               <child>
4310                 <widget class="GtkScrolledWindow" id="scrolledwindow7">
4311                   <property name="visible">True</property>
4312                   <property name="can_focus">True</property>
4313                   <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
4314                   <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
4315                   <property name="shadow_type">GTK_SHADOW_NONE</property>
4316                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
4317
4318                   <child>
4319                     <widget class="GtkViewport" id="viewport5">
4320                       <property name="visible">True</property>
4321                       <property name="shadow_type">GTK_SHADOW_IN</property>
4322
4323                       <child>
4324                         <widget class="GtkTreeView" id="advancedtree">
4325                           <property name="visible">True</property>
4326                           <property name="can_focus">True</property>
4327                           <property name="headers_visible">False</property>
4328                           <property name="rules_hint">True</property>
4329                           <property name="reorderable">False</property>
4330                           <property name="enable_search">False</property>
4331                         </widget>
4332                       </child>
4333                     </widget>
4334                   </child>
4335                 </widget>
4336               </child>
4337             </widget>
4338             <packing>
4339               <property name="padding">0</property>
4340               <property name="expand">True</property>
4341               <property name="fill">True</property>
4342             </packing>
4343           </child>
4344         </widget>
4345         <packing>
4346           <property name="padding">0</property>
4347           <property name="expand">True</property>
4348           <property name="fill">True</property>
4349         </packing>
4350       </child>
4351
4352       <child>
4353         <widget class="GtkHButtonBox" id="hbuttonbox5">
4354           <property name="visible">True</property>
4355           <property name="layout_style">GTK_BUTTONBOX_END</property>
4356           <property name="spacing">0</property>
4357
4358           <child>
4359             <widget class="GtkButton" id="button26">
4360               <property name="border_width">5</property>
4361               <property name="visible">True</property>
4362               <property name="can_default">True</property>
4363               <property name="can_focus">True</property>
4364               <property name="label">gtk-close</property>
4365               <property name="use_stock">True</property>
4366               <property name="relief">GTK_RELIEF_NORMAL</property>
4367               <property name="focus_on_click">True</property>
4368               <signal name="clicked" handler="advanced_preferences_hide" last_modification_time="Sat, 14 Jan 2006 17:54:17 GMT"/>
4369             </widget>
4370           </child>
4371         </widget>
4372         <packing>
4373           <property name="padding">0</property>
4374           <property name="expand">False</property>
4375           <property name="fill">False</property>
4376         </packing>
4377       </child>
4378     </widget>
4379   </child>
4380 </widget>
4381
4382 <widget class="GtkWindow" id="HiddenWindow">
4383   <property name="width_request">128</property>
4384   <property name="height_request">64</property>
4385   <property name="title" translatable="yes">Dasher</property>
4386   <property name="type">GTK_WINDOW_TOPLEVEL</property>
4387   <property name="window_position">GTK_WIN_POS_NONE</property>
4388   <property name="modal">False</property>
4389   <property name="resizable">False</property>
4390   <property name="destroy_with_parent">False</property>
4391   <property name="decorated">True</property>
4392   <property name="skip_taskbar_hint">False</property>
4393   <property name="skip_pager_hint">False</property>
4394   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
4395   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
4396
4397   <child>
4398     <widget class="GtkButton" id="RestoreButton">
4399       <property name="visible">True</property>
4400       <property name="can_focus">True</property>
4401       <property name="label" translatable="yes">Dasher</property>
4402       <property name="use_underline">True</property>
4403       <property name="relief">GTK_RELIEF_NORMAL</property>
4404       <property name="focus_on_click">True</property>
4405     </widget>
4406   </child>
4407 </widget>
4408
4409 <widget class="GtkWindow" id="lock_window">
4410   <property name="visible">True</property>
4411   <property name="title" translatable="yes">Please Wait...</property>
4412   <property name="type">GTK_WINDOW_TOPLEVEL</property>
4413   <property name="window_position">GTK_WIN_POS_NONE</property>
4414   <property name="modal">False</property>
4415   <property name="resizable">True</property>
4416   <property name="destroy_with_parent">False</property>
4417   <property name="decorated">True</property>
4418   <property name="skip_taskbar_hint">False</property>
4419   <property name="skip_pager_hint">False</property>
4420   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
4421   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
4422
4423   <child>
4424     <widget class="GtkVBox" id="vbox43">
4425       <property name="visible">True</property>
4426       <property name="homogeneous">False</property>
4427       <property name="spacing">0</property>
4428
4429       <child>
4430         <widget class="GtkLabel" id="lock_message">
4431           <property name="visible">True</property>
4432           <property name="label" translatable="yes">(Message Placeholder - no need to translate)</property>
4433           <property name="use_underline">False</property>
4434           <property name="use_markup">False</property>
4435           <property name="justify">GTK_JUSTIFY_LEFT</property>
4436           <property name="wrap">False</property>
4437           <property name="selectable">False</property>
4438           <property name="xalign">0.5</property>
4439           <property name="yalign">0.5</property>
4440           <property name="xpad">0</property>
4441           <property name="ypad">0</property>
4442         </widget>
4443         <packing>
4444           <property name="padding">8</property>
4445           <property name="expand">False</property>
4446           <property name="fill">False</property>
4447         </packing>
4448       </child>
4449
4450       <child>
4451         <widget class="GtkAlignment" id="alignment38">
4452           <property name="border_width">8</property>
4453           <property name="visible">True</property>
4454           <property name="xalign">0.5</property>
4455           <property name="yalign">0.5</property>
4456           <property name="xscale">1</property>
4457           <property name="yscale">1</property>
4458           <property name="top_padding">0</property>
4459           <property name="bottom_padding">0</property>
4460           <property name="left_padding">0</property>
4461           <property name="right_padding">0</property>
4462
4463           <child>
4464             <widget class="GtkProgressBar" id="lock_progress">
4465               <property name="visible">True</property>
4466               <property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
4467               <property name="fraction">0</property>
4468               <property name="pulse_step">0.10000000149</property>
4469             </widget>
4470           </child>
4471         </widget>
4472         <packing>
4473           <property name="padding">0</property>
4474           <property name="expand">False</property>
4475           <property name="fill">False</property>
4476         </packing>
4477       </child>
4478     </widget>
4479   </child>
4480 </widget>
4481
4482 </glade-interface>