trunk/Data/glade/dasher.fullscreen.glade

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