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