Src/Gtk2/dashermaemofullscreen.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="width_request">500</property>
   8   <property name="height_request">150</property>
   9   <property name="title" translatable="yes">Dasher</property>
  10   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  11   <property name="window_position">GTK_WIN_POS_NONE</property>
  12   <property name="modal">False</property>
  13   <property name="resizable">True</property>
  14   <property name="destroy_with_parent">False</property>
  15   <property name="decorated">True</property>
  16   <property name="skip_taskbar_hint">False</property>
  17   <property name="skip_pager_hint">False</property>
  18   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  19   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  20   <property name="focus_on_map">True</property>
  21   <property name="urgency_hint">False</property>
  22   <signal name="delete_event" handler="ask_save_before_exit" last_modification_time="Mon, 22 Sep 2003 19:53:44 GMT"/>
  23   <signal name="realize" handler="on_window_map" last_modification_time="Mon, 22 Sep 2003 19:53:44 GMT"/>
  24
  25   <child>
  26     <widget class="GtkVBox" id="vbox45">
  27       <property name="visible">True</property>
  28       <property name="homogeneous">False</property>
  29       <property name="spacing">0</property>
  30
  31       <child>
  32         <widget class="GtkMenuBar" id="dasher_menu_bar">
  33           <property name="visible">True</property>
  34           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
  35           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
  36
  37           <child>
  38             <widget class="GtkMenuItem" id="menuitem4">
  39               <property name="visible">True</property>
  40               <property name="label" translatable="yes">_File</property>
  41               <property name="use_underline">True</property>
  42
  43               <child>
  44                 <widget class="GtkMenu" id="menuitem4_menu">
  45
  46                   <child>
  47                     <widget class="GtkImageMenuItem" id="menunew">
  48                       <property name="visible">True</property>
  49                       <property name="label">gtk-new</property>
  50                       <property name="use_stock">True</property>
  51                       <signal name="activate" handler="select_new_file" last_modification_time="Tue, 23 Sep 2003 11:16:26 GMT"/>
  52                     </widget>
  53                   </child>
  54
  55                   <child>
  56                     <widget class="GtkImageMenuItem" id="menuquit">
  57                       <property name="visible">True</property>
  58                       <property name="label">gtk-quit</property>
  59                       <property name="use_stock">True</property>
  60                       <signal name="activate" handler="ask_save_before_exit" last_modification_time="Tue, 23 Sep 2003 11:17:37 GMT"/>
  61                     </widget>
  62                   </child>
  63                 </widget>
  64               </child>
  65             </widget>
  66           </child>
  67
  68           <child>
  69             <widget class="GtkMenuItem" id="menuitem5">
  70               <property name="visible">True</property>
  71               <property name="label" translatable="yes">_Edit</property>
  72               <property name="use_underline">True</property>
  73
  74               <child>
  75                 <widget class="GtkMenu" id="menuitem5_menu">
  76
  77                   <child>
  78                     <widget class="GtkImageMenuItem" id="menucut">
  79                       <property name="visible">True</property>
  80                       <property name="label">gtk-cut</property>
  81                       <property name="use_stock">True</property>
  82                       <signal name="activate" handler="clipboard_cut" last_modification_time="Tue, 23 Sep 2003 11:19:57 GMT"/>
  83                     </widget>
  84                   </child>
  85
  86                   <child>
  87                     <widget class="GtkImageMenuItem" id="menucopy">
  88                       <property name="visible">True</property>
  89                       <property name="label">gtk-copy</property>
  90                       <property name="use_stock">True</property>
  91                       <signal name="activate" handler="clipboard_copy" last_modification_time="Tue, 23 Sep 2003 11:20:12 GMT"/>
  92                     </widget>
  93                   </child>
  94
  95                   <child>
  96                     <widget class="GtkImageMenuItem" id="menupaste">
  97                       <property name="visible">True</property>
  98                       <property name="label">gtk-paste</property>
  99                       <property name="use_stock">True</property>
 100                       <signal name="activate" handler="clipboard_paste" last_modification_time="Tue, 23 Sep 2003 11:20:26 GMT"/>
 101                     </widget>
 102                   </child>
 103
 104                   <child>
 105                     <widget class="GtkMenuItem" id="menucopyall">
 106                       <property name="visible">True</property>
 107                       <property name="label" translatable="yes">Copy _All</property>
 108                       <property name="use_underline">True</property>
 109                       <signal name="activate" handler="clipboard_copy_all" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 110                     </widget>
 111                   </child>
 112                 </widget>
 113               </child>
 114             </widget>
 115           </child>
 116
 117           <child>
 118             <widget class="GtkMenuItem" id="options1">
 119               <property name="visible">True</property>
 120               <property name="label" translatable="yes">_Options</property>
 121               <property name="use_underline">True</property>
 122
 123               <child>
 124                 <widget class="GtkMenu" id="options1_menu">
 125
 126                   <child>
 127                     <widget class="GtkImageMenuItem" id="menupreferences">
 128                       <property name="visible">True</property>
 129                       <property name="label">gtk-preferences</property>
 130                       <property name="use_stock">True</property>
 131                       <signal name="activate" handler="preferences_display" last_modification_time="Tue, 23 Sep 2003 00:29:06 GMT"/>
 132                     </widget>
 133                   </child>
 134
 135                   <child>
 136                     <widget class="GtkMenuItem" id="edit_font1">
 137                       <property name="visible">True</property>
 138                       <property name="label" translatable="yes">_Edit Font</property>
 139                       <property name="use_underline">True</property>
 140                       <signal name="activate" handler="set_edit_font" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 141                     </widget>
 142                   </child>
 143
 144                   <child>
 145                     <widget class="GtkMenuItem" id="dasher_font1">
 146                       <property name="visible">True</property>
 147                       <property name="label" translatable="yes">_Dasher Font</property>
 148                       <property name="use_underline">True</property>
 149                       <signal name="activate" handler="set_dasher_font" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 150                     </widget>
 151                   </child>
 152
 153                   <child>
 154                     <widget class="GtkMenuItem" id="dasher_font_size1">
 155                       <property name="visible">True</property>
 156                       <property name="label" translatable="yes">_Dasher Font Size</property>
 157                       <property name="use_underline">True</property>
 158
 159                       <child>
 160                         <widget class="GtkMenu" id="dasher_font_size1_menu">
 161
 162                           <child>
 163                             <widget class="GtkRadioMenuItem" id="fontsizenormal">
 164                               <property name="visible">True</property>
 165                               <property name="label" translatable="yes">Normal</property>
 166                               <property name="use_underline">True</property>
 167                               <property name="active">True</property>
 168                               <signal name="activate" handler="set_dasher_fontsize" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 169                             </widget>
 170                           </child>
 171
 172                           <child>
 173                             <widget class="GtkRadioMenuItem" id="fontsizelarge">
 174                               <property name="visible">True</property>
 175                               <property name="label" translatable="yes">Large</property>
 176                               <property name="use_underline">True</property>
 177                               <property name="active">True</property>
 178                               <property name="group">fontsizenormal</property>
 179                               <signal name="activate" handler="set_dasher_fontsize" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 180                             </widget>
 181                           </child>
 182
 183                           <child>
 184                             <widget class="GtkRadioMenuItem" id="fontsizevlarge">
 185                               <property name="visible">True</property>
 186                               <property name="label" translatable="yes">Very Large</property>
 187                               <property name="use_underline">True</property>
 188                               <property name="active">True</property>
 189                               <property name="group">fontsizenormal</property>
 190                               <signal name="activate" handler="set_dasher_fontsize" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 191                             </widget>
 192                           </child>
 193                         </widget>
 194                       </child>
 195                     </widget>
 196                   </child>
 197
 198                   <child>
 199                     <widget class="GtkMenuItem" id="reset_fonts1">
 200                       <property name="visible">True</property>
 201                       <property name="label" translatable="yes">_Reset fonts</property>
 202                       <property name="use_underline">True</property>
 203                       <signal name="activate" handler="reset_fonts" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 204                     </widget>
 205                   </child>
 206                 </widget>
 207               </child>
 208             </widget>
 209           </child>
 210
 211           <child>
 212             <widget class="GtkMenuItem" id="menuitem7">
 213               <property name="visible">True</property>
 214               <property name="label" translatable="yes">_Help</property>
 215               <property name="use_underline">True</property>
 216
 217               <child>
 218                 <widget class="GtkMenu" id="menuitem7_menu">
 219
 220                   <child>
 221                     <widget class="GtkMenuItem" id="menuabout">
 222                       <property name="visible">True</property>
 223                       <property name="label" translatable="yes">_About</property>
 224                       <property name="use_underline">True</property>
 225                       <signal name="activate" handler="about_dasher" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 226                     </widget>
 227                   </child>
 228                 </widget>
 229               </child>
 230             </widget>
 231           </child>
 232         </widget>
 233         <packing>
 234           <property name="padding">0</property>
 235           <property name="expand">False</property>
 236           <property name="fill">False</property>
 237         </packing>
 238       </child>
 239
 240       <child>
 241         <widget class="GtkHPaned" id="hpaned1">
 242           <property name="visible">True</property>
 243           <property name="can_focus">True</property>
 244
 245           <child>
 246             <widget class="Custom" id="DasherControl">
 247               <property name="width_request">175</property>
 248               <property name="visible">True</property>
 249               <property name="creation_function">create_dasher_control</property>
 250               <property name="int1">0</property>
 251               <property name="int2">0</property>
 252               <property name="last_modification_time">Wed, 29 Mar 2006 17:31:58 GMT</property>
 253               <signal name="dasher_changed" handler="parameter_notification" last_modification_time="Sun, 05 Mar 2006 19:45:23 GMT"/>
 254               <signal name="dasher_start" handler="handle_start_event" last_modification_time="Sun, 05 Mar 2006 19:45:35 GMT"/>
 255               <signal name="dasher_stop" handler="handle_stop_event" last_modification_time="Sun, 05 Mar 2006 19:45:43 GMT"/>
 256               <signal name="dasher_control" handler="handle_control_event" last_modification_time="Sun, 05 Mar 2006 19:45:53 GMT"/>
 257               <signal name="dasher_edit_insert" handler="gtk2_edit_output_callback" last_modification_time="Sun, 05 Mar 2006 19:46:13 GMT"/>
 258               <signal name="dasher_edit_delete" handler="gtk2_edit_delete_callback" last_modification_time="Sun, 05 Mar 2006 19:46:32 GMT"/>
 259               <signal name="dasher_context_request" handler="handle_context_request" last_modification_time="Sun, 05 Mar 2006 19:46:54 GMT"/>
 260               <signal name="dasher_request_settings" handler="handle_request_settings" last_modification_time="Sun, 05 Mar 2006 19:47:12 GMT"/>
 261               <signal name="focus_in_event" handler="focus_in_event" last_modification_time="Sun, 05 Mar 2006 19:47:28 GMT"/>
 262               <signal name="dasher_lock_info" handler="on_lock_info" last_modification_time="Wed, 22 Mar 2006 10:38:44 GMT"/>
 263               <signal name="dasher_message" handler="on_message" last_modification_time="Wed, 22 Mar 2006 14:24:04 GMT"/>
 264               <signal name="dasher_edit_convert" handler="convert_cb" last_modification_time="Tue, 30 May 2006 14:21:15 GMT"/>
 265               <signal name="dasher_edit_protect" handler="protect_cb" last_modification_time="Tue, 30 May 2006 14:21:26 GMT"/>
 266             </widget>
 267             <packing>
 268               <property name="shrink">True</property>
 269               <property name="resize">False</property>
 270             </packing>
 271           </child>
 272
 273           <child>
 274             <widget class="GtkScrolledWindow" id="scrolledwindow5">
 275               <property name="visible">True</property>
 276               <property name="can_focus">True</property>
 277               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 278               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 279               <property name="shadow_type">GTK_SHADOW_IN</property>
 280               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 281
 282               <child>
 283                 <widget class="GtkTextView" id="the_text_view">
 284                   <property name="visible">True</property>
 285                   <property name="can_focus">True</property>
 286                   <property name="editable">True</property>
 287                   <property name="overwrite">False</property>
 288                   <property name="accepts_tab">True</property>
 289                   <property name="justification">GTK_JUSTIFY_LEFT</property>
 290                   <property name="wrap_mode">GTK_WRAP_WORD</property>
 291                   <property name="cursor_visible">True</property>
 292                   <property name="pixels_above_lines">0</property>
 293                   <property name="pixels_below_lines">0</property>
 294                   <property name="pixels_inside_wrap">0</property>
 295                   <property name="left_margin">0</property>
 296                   <property name="right_margin">0</property>
 297                   <property name="indent">0</property>
 298                   <property name="text" translatable="yes"></property>
 299                 </widget>
 300               </child>
 301             </widget>
 302             <packing>
 303               <property name="shrink">True</property>
 304               <property name="resize">True</property>
 305             </packing>
 306           </child>
 307         </widget>
 308         <packing>
 309           <property name="padding">0</property>
 310           <property name="expand">True</property>
 311           <property name="fill">True</property>
 312         </packing>
 313       </child>
 314     </widget>
 315   </child>
 316 </widget>
 317
 318 <widget class="GtkWindow" id="preferences">
 319   <property name="title" translatable="yes">Dasher Preferences</property>
 320   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 321   <property name="window_position">GTK_WIN_POS_NONE</property>
 322   <property name="modal">False</property>
 323   <property name="resizable">True</property>
 324   <property name="destroy_with_parent">False</property>
 325   <property name="decorated">True</property>
 326   <property name="skip_taskbar_hint">False</property>
 327   <property name="skip_pager_hint">False</property>
 328   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 329   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 330   <property name="focus_on_map">True</property>
 331   <property name="urgency_hint">False</property>
 332   <signal name="delete_event" handler="preferences_hide" last_modification_time="Tue, 23 Sep 2003 00:37:43 GMT"/>
 333
 334   <child>
 335     <widget class="GtkVBox" id="vbox2">
 336       <property name="visible">True</property>
 337       <property name="homogeneous">False</property>
 338       <property name="spacing">0</property>
 339
 340       <child>
 341         <widget class="GtkAlignment" id="alignment15">
 342           <property name="visible">True</property>
 343           <property name="xalign">0.5</property>
 344           <property name="yalign">0.5</property>
 345           <property name="xscale">1</property>
 346           <property name="yscale">1</property>
 347           <property name="top_padding">0</property>
 348           <property name="bottom_padding">0</property>
 349           <property name="left_padding">0</property>
 350           <property name="right_padding">0</property>
 351
 352           <child>
 353             <widget class="GtkNotebook" id="notebook1">
 354               <property name="visible">True</property>
 355               <property name="can_focus">True</property>
 356               <property name="show_tabs">True</property>
 357               <property name="show_border">True</property>
 358               <property name="tab_pos">GTK_POS_TOP</property>
 359               <property name="scrollable">False</property>
 360               <property name="enable_popup">False</property>
 361
 362               <child>
 363                 <widget class="GtkVBox" id="vbox9">
 364                   <property name="visible">True</property>
 365                   <property name="homogeneous">False</property>
 366                   <property name="spacing">0</property>
 367
 368                   <child>
 369                     <widget class="GtkVBox" id="vbox28">
 370                       <property name="border_width">8</property>
 371                       <property name="visible">True</property>
 372                       <property name="homogeneous">False</property>
 373                       <property name="spacing">0</property>
 374
 375                       <child>
 376                         <widget class="GtkLabel" id="label15">
 377                           <property name="visible">True</property>
 378                           <property name="label" translatable="yes">&lt;b&gt;Alphabet Selection:&lt;/b&gt;</property>
 379                           <property name="use_underline">False</property>
 380                           <property name="use_markup">True</property>
 381                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 382                           <property name="wrap">False</property>
 383                           <property name="selectable">False</property>
 384                           <property name="xalign">0</property>
 385                           <property name="yalign">0.5</property>
 386                           <property name="xpad">0</property>
 387                           <property name="ypad">4</property>
 388                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 389                           <property name="width_chars">-1</property>
 390                           <property name="single_line_mode">False</property>
 391                           <property name="angle">0</property>
 392                         </widget>
 393                         <packing>
 394                           <property name="padding">0</property>
 395                           <property name="expand">False</property>
 396                           <property name="fill">False</property>
 397                         </packing>
 398                       </child>
 399
 400                       <child>
 401                         <widget class="GtkScrolledWindow" id="scrolledwindow8">
 402                           <property name="height_request">360</property>
 403                           <property name="visible">True</property>
 404                           <property name="can_focus">True</property>
 405                           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 406                           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 407                           <property name="shadow_type">GTK_SHADOW_NONE</property>
 408                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 409
 410                           <child>
 411                             <widget class="GtkViewport" id="viewport6">
 412                               <property name="visible">True</property>
 413                               <property name="shadow_type">GTK_SHADOW_IN</property>
 414
 415                               <child>
 416                                 <widget class="GtkTreeView" id="AlphabetTree">
 417                                   <property name="visible">True</property>
 418                                   <property name="can_focus">True</property>
 419                                   <property name="headers_visible">False</property>
 420                                   <property name="rules_hint">True</property>
 421                                   <property name="reorderable">False</property>
 422                                   <property name="enable_search">False</property>
 423                                   <property name="fixed_height_mode">False</property>
 424                                   <property name="hover_selection">False</property>
 425                                   <property name="hover_expand">False</property>
 426                                 </widget>
 427                               </child>
 428                             </widget>
 429                           </child>
 430                         </widget>
 431                         <packing>
 432                           <property name="padding">0</property>
 433                           <property name="expand">True</property>
 434                           <property name="fill">True</property>
 435                         </packing>
 436                       </child>
 437                     </widget>
 438                     <packing>
 439                       <property name="padding">0</property>
 440                       <property name="expand">True</property>
 441                       <property name="fill">True</property>
 442                     </packing>
 443                   </child>
 444
 445                   <child>
 446                     <widget class="GtkVBox" id="vbox26">
 447                       <property name="border_width">8</property>
 448                       <property name="visible">True</property>
 449                       <property name="homogeneous">False</property>
 450                       <property name="spacing">0</property>
 451
 452                       <child>
 453                         <widget class="GtkCheckButton" id="manual_colour">
 454                           <property name="visible">True</property>
 455                           <property name="can_focus">True</property>
 456                           <property name="label" translatable="yes">Custom colour scheme:</property>
 457                           <property name="use_underline">True</property>
 458                           <property name="relief">GTK_RELIEF_NORMAL</property>
 459                           <property name="focus_on_click">True</property>
 460                           <property name="active">False</property>
 461                           <property name="inconsistent">False</property>
 462                           <property name="draw_indicator">True</property>
 463                           <signal name="toggled" handler="autocolour_clicked" last_modification_time="Wed, 19 Apr 2006 16:41:05 GMT"/>
 464                         </widget>
 465                         <packing>
 466                           <property name="padding">0</property>
 467                           <property name="expand">False</property>
 468                           <property name="fill">False</property>
 469                         </packing>
 470                       </child>
 471
 472                       <child>
 473                         <widget class="GtkScrolledWindow" id="scrolledwindow9">
 474                           <property name="height_request">110</property>
 475                           <property name="visible">True</property>
 476                           <property name="can_focus">True</property>
 477                           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 478                           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 479                           <property name="shadow_type">GTK_SHADOW_NONE</property>
 480                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 481
 482                           <child>
 483                             <widget class="GtkViewport" id="viewport7">
 484                               <property name="visible">True</property>
 485                               <property name="shadow_type">GTK_SHADOW_IN</property>
 486
 487                               <child>
 488                                 <widget class="GtkTreeView" id="ColorTree">
 489                                   <property name="visible">True</property>
 490                                   <property name="can_focus">True</property>
 491                                   <property name="headers_visible">False</property>
 492                                   <property name="rules_hint">True</property>
 493                                   <property name="reorderable">False</property>
 494                                   <property name="enable_search">False</property>
 495                                   <property name="fixed_height_mode">False</property>
 496                                   <property name="hover_selection">False</property>
 497                                   <property name="hover_expand">False</property>
 498                                 </widget>
 499                               </child>
 500                             </widget>
 501                           </child>
 502                         </widget>
 503                         <packing>
 504                           <property name="padding">0</property>
 505                           <property name="expand">True</property>
 506                           <property name="fill">True</property>
 507                         </packing>
 508                       </child>
 509                     </widget>
 510                     <packing>
 511                       <property name="padding">0</property>
 512                       <property name="expand">False</property>
 513                       <property name="fill">False</property>
 514                     </packing>
 515                   </child>
 516                 </widget>
 517                 <packing>
 518                   <property name="tab_expand">False</property>
 519                   <property name="tab_fill">True</property>
 520                 </packing>
 521               </child>
 522
 523               <child>
 524                 <widget class="GtkLabel" id="labelalpha">
 525                   <property name="visible">True</property>
 526                   <property name="label" translatable="yes">Alphabet</property>
 527                   <property name="use_underline">False</property>
 528                   <property name="use_markup">False</property>
 529                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 530                   <property name="wrap">False</property>
 531                   <property name="selectable">False</property>
 532                   <property name="xalign">0.5</property>
 533                   <property name="yalign">0.5</property>
 534                   <property name="xpad">0</property>
 535                   <property name="ypad">0</property>
 536                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 537                   <property name="width_chars">-1</property>
 538                   <property name="single_line_mode">False</property>
 539                   <property name="angle">0</property>
 540                 </widget>
 541                 <packing>
 542                   <property name="type">tab</property>
 543                 </packing>
 544               </child>
 545
 546               <child>
 547                 <widget class="GtkAlignment" id="alignment31">
 548                   <property name="visible">True</property>
 549                   <property name="xalign">0.5</property>
 550                   <property name="yalign">0.5</property>
 551                   <property name="xscale">1</property>
 552                   <property name="yscale">1</property>
 553                   <property name="top_padding">0</property>
 554                   <property name="bottom_padding">0</property>
 555                   <property name="left_padding">0</property>
 556                   <property name="right_padding">0</property>
 557
 558                   <child>
 559                     <widget class="GtkVBox" id="vbox11">
 560                       <property name="visible">True</property>
 561                       <property name="homogeneous">False</property>
 562                       <property name="spacing">0</property>
 563
 564                       <child>
 565                         <widget class="GtkAlignment" id="alignment20">
 566                           <property name="border_width">8</property>
 567                           <property name="visible">True</property>
 568                           <property name="xalign">0.5</property>
 569                           <property name="yalign">0.5</property>
 570                           <property name="xscale">1</property>
 571                           <property name="yscale">1</property>
 572                           <property name="top_padding">0</property>
 573                           <property name="bottom_padding">0</property>
 574                           <property name="left_padding">0</property>
 575                           <property name="right_padding">0</property>
 576
 577                           <child>
 578                             <widget class="GtkVBox" id="vbox29">
 579                               <property name="visible">True</property>
 580                               <property name="homogeneous">False</property>
 581                               <property name="spacing">0</property>
 582
 583                               <child>
 584                                 <widget class="GtkLabel" id="label55">
 585                                   <property name="visible">True</property>
 586                                   <property name="label" translatable="yes">&lt;b&gt;Speed:&lt;/b&gt;</property>
 587                                   <property name="use_underline">False</property>
 588                                   <property name="use_markup">True</property>
 589                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 590                                   <property name="wrap">False</property>
 591                                   <property name="selectable">False</property>
 592                                   <property name="xalign">0</property>
 593                                   <property name="yalign">0.5</property>
 594                                   <property name="xpad">0</property>
 595                                   <property name="ypad">2</property>
 596                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 597                                   <property name="width_chars">-1</property>
 598                                   <property name="single_line_mode">False</property>
 599                                   <property name="angle">0</property>
 600                                 </widget>
 601                                 <packing>
 602                                   <property name="padding">0</property>
 603                                   <property name="expand">False</property>
 604                                   <property name="fill">False</property>
 605                                 </packing>
 606                               </child>
 607
 608                               <child>
 609                                 <widget class="GtkCheckButton" id="adaptivebutton">
 610                                   <property name="border_width">2</property>
 611                                   <property name="visible">True</property>
 612                                   <property name="can_focus">True</property>
 613                                   <property name="label" translatable="yes">Adapt speed automatically</property>
 614                                   <property name="use_underline">True</property>
 615                                   <property name="relief">GTK_RELIEF_NORMAL</property>
 616                                   <property name="focus_on_click">True</property>
 617                                   <property name="active">True</property>
 618                                   <property name="inconsistent">False</property>
 619                                   <property name="draw_indicator">True</property>
 620                                   <signal name="clicked" handler="adaptive" last_modification_time="Wed, 03 Aug 2005 13:01:05 GMT"/>
 621                                 </widget>
 622                                 <packing>
 623                                   <property name="padding">0</property>
 624                                   <property name="expand">False</property>
 625                                   <property name="fill">False</property>
 626                                 </packing>
 627                               </child>
 628
 629                               <child>
 630                                 <widget class="GtkHScale" id="hscale1">
 631                                   <property name="visible">True</property>
 632                                   <property name="can_focus">True</property>
 633                                   <property name="draw_value">True</property>
 634                                   <property name="value_pos">GTK_POS_TOP</property>
 635                                   <property name="digits">1</property>
 636                                   <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
 637                                   <property name="inverted">False</property>
 638                                   <property name="adjustment">0 0.10000000149 8 0.10000000149 1 0</property>
 639                                   <signal name="value_changed" handler="PrefsSpeedSliderChanged" last_modification_time="Wed, 03 Aug 2005 13:03:05 GMT"/>
 640                                 </widget>
 641                                 <packing>
 642                                   <property name="padding">0</property>
 643                                   <property name="expand">False</property>
 644                                   <property name="fill">False</property>
 645                                 </packing>
 646                               </child>
 647                             </widget>
 648                           </child>
 649                         </widget>
 650                         <packing>
 651                           <property name="padding">0</property>
 652                           <property name="expand">False</property>
 653                           <property name="fill">False</property>
 654                         </packing>
 655                       </child>
 656                     </widget>
 657                   </child>
 658                 </widget>
 659                 <packing>
 660                   <property name="tab_expand">False</property>
 661                   <property name="tab_fill">True</property>
 662                 </packing>
 663               </child>
 664
 665               <child>
 666                 <widget class="GtkLabel" id="label17">
 667                   <property name="visible">True</property>
 668                   <property name="label" translatable="yes">Control</property>
 669                   <property name="use_underline">False</property>
 670                   <property name="use_markup">False</property>
 671                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 672                   <property name="wrap">False</property>
 673                   <property name="selectable">False</property>
 674                   <property name="xalign">0.5</property>
 675                   <property name="yalign">0.5</property>
 676                   <property name="xpad">0</property>
 677                   <property name="ypad">0</property>
 678                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 679                   <property name="width_chars">-1</property>
 680                   <property name="single_line_mode">False</property>
 681                   <property name="angle">0</property>
 682                 </widget>
 683                 <packing>
 684                   <property name="type">tab</property>
 685                 </packing>
 686               </child>
 687
 688               <child>
 689                 <widget class="GtkAlignment" id="alignment36">
 690                   <property name="visible">True</property>
 691                   <property name="xalign">0.5</property>
 692                   <property name="yalign">0.5</property>
 693                   <property name="xscale">1</property>
 694                   <property name="yscale">1</property>
 695                   <property name="top_padding">0</property>
 696                   <property name="bottom_padding">0</property>
 697                   <property name="left_padding">0</property>
 698                   <property name="right_padding">0</property>
 699
 700                   <child>
 701                     <widget class="GtkVBox" id="vbox14">
 702                       <property name="visible">True</property>
 703                       <property name="homogeneous">False</property>
 704                       <property name="spacing">0</property>
 705
 706                       <child>
 707                         <widget class="GtkAlignment" id="alignment6">
 708                           <property name="border_width">8</property>
 709                           <property name="visible">True</property>
 710                           <property name="xalign">0.5</property>
 711                           <property name="yalign">0.5</property>
 712                           <property name="xscale">1</property>
 713                           <property name="yscale">1</property>
 714                           <property name="top_padding">0</property>
 715                           <property name="bottom_padding">0</property>
 716                           <property name="left_padding">0</property>
 717                           <property name="right_padding">0</property>
 718
 719                           <child>
 720                             <widget class="GtkVBox" id="vbox15">
 721                               <property name="visible">True</property>
 722                               <property name="homogeneous">False</property>
 723                               <property name="spacing">0</property>
 724
 725                               <child>
 726                                 <widget class="GtkLabel" id="label21">
 727                                   <property name="visible">True</property>
 728                                   <property name="label" translatable="yes">&lt;b&gt;Orientation:&lt;/b&gt;</property>
 729                                   <property name="use_underline">False</property>
 730                                   <property name="use_markup">True</property>
 731                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 732                                   <property name="wrap">False</property>
 733                                   <property name="selectable">False</property>
 734                                   <property name="xalign">0</property>
 735                                   <property name="yalign">0.5</property>
 736                                   <property name="xpad">0</property>
 737                                   <property name="ypad">2</property>
 738                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 739                                   <property name="width_chars">-1</property>
 740                                   <property name="single_line_mode">False</property>
 741                                   <property name="angle">0</property>
 742                                 </widget>
 743                                 <packing>
 744                                   <property name="padding">0</property>
 745                                   <property name="expand">False</property>
 746                                   <property name="fill">False</property>
 747                                 </packing>
 748                               </child>
 749
 750                               <child>
 751                                 <widget class="GtkRadioButton" id="radiobutton1">
 752                                   <property name="border_width">2</property>
 753                                   <property name="visible">True</property>
 754                                   <property name="can_focus">True</property>
 755                                   <property name="label" translatable="yes">Alphabet Default</property>
 756                                   <property name="use_underline">True</property>
 757                                   <property name="relief">GTK_RELIEF_NORMAL</property>
 758                                   <property name="focus_on_click">True</property>
 759                                   <property name="active">False</property>
 760                                   <property name="inconsistent">False</property>
 761                                   <property name="draw_indicator">True</property>
 762                                   <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:43 GMT"/>
 763                                 </widget>
 764                                 <packing>
 765                                   <property name="padding">0</property>
 766                                   <property name="expand">False</property>
 767                                   <property name="fill">False</property>
 768                                 </packing>
 769                               </child>
 770
 771                               <child>
 772                                 <widget class="GtkRadioButton" id="radiobutton12">
 773                                   <property name="border_width">2</property>
 774                                   <property name="visible">True</property>
 775                                   <property name="can_focus">True</property>
 776                                   <property name="label" translatable="yes">Custom:</property>
 777                                   <property name="use_underline">True</property>
 778                                   <property name="relief">GTK_RELIEF_NORMAL</property>
 779                                   <property name="focus_on_click">True</property>
 780                                   <property name="active">False</property>
 781                                   <property name="inconsistent">False</property>
 782                                   <property name="draw_indicator">True</property>
 783                                   <property name="group">radiobutton1</property>
 784                                   <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:43 GMT"/>
 785                                 </widget>
 786                                 <packing>
 787                                   <property name="padding">0</property>
 788                                   <property name="expand">False</property>
 789                                   <property name="fill">False</property>
 790                                 </packing>
 791                               </child>
 792
 793                               <child>
 794                                 <widget class="GtkAlignment" id="alignment19">
 795                                   <property name="visible">True</property>
 796                                   <property name="xalign">0.5</property>
 797                                   <property name="yalign">0.5</property>
 798                                   <property name="xscale">1</property>
 799                                   <property name="yscale">1</property>
 800                                   <property name="top_padding">0</property>
 801                                   <property name="bottom_padding">0</property>
 802                                   <property name="left_padding">16</property>
 803                                   <property name="right_padding">0</property>
 804
 805                                   <child>
 806                                     <widget class="GtkVBox" id="vbox27">
 807                                       <property name="visible">True</property>
 808                                       <property name="homogeneous">False</property>
 809                                       <property name="spacing">0</property>
 810
 811                                       <child>
 812                                         <widget class="GtkRadioButton" id="radiobutton2">
 813                                           <property name="border_width">2</property>
 814                                           <property name="visible">True</property>
 815                                           <property name="can_focus">True</property>
 816                                           <property name="label" translatable="yes">Left to Right</property>
 817                                           <property name="use_underline">True</property>
 818                                           <property name="relief">GTK_RELIEF_NORMAL</property>
 819                                           <property name="focus_on_click">True</property>
 820                                           <property name="active">False</property>
 821                                           <property name="inconsistent">False</property>
 822                                           <property name="draw_indicator">True</property>
 823                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:50 GMT"/>
 824                                         </widget>
 825                                         <packing>
 826                                           <property name="padding">0</property>
 827                                           <property name="expand">False</property>
 828                                           <property name="fill">False</property>
 829                                         </packing>
 830                                       </child>
 831
 832                                       <child>
 833                                         <widget class="GtkRadioButton" id="radiobutton3">
 834                                           <property name="border_width">2</property>
 835                                           <property name="visible">True</property>
 836                                           <property name="can_focus">True</property>
 837                                           <property name="label" translatable="yes">Right to Left</property>
 838                                           <property name="use_underline">True</property>
 839                                           <property name="relief">GTK_RELIEF_NORMAL</property>
 840                                           <property name="focus_on_click">True</property>
 841                                           <property name="active">False</property>
 842                                           <property name="inconsistent">False</property>
 843                                           <property name="draw_indicator">True</property>
 844                                           <property name="group">radiobutton2</property>
 845                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:57:57 GMT"/>
 846                                         </widget>
 847                                         <packing>
 848                                           <property name="padding">0</property>
 849                                           <property name="expand">False</property>
 850                                           <property name="fill">False</property>
 851                                         </packing>
 852                                       </child>
 853
 854                                       <child>
 855                                         <widget class="GtkRadioButton" id="radiobutton4">
 856                                           <property name="border_width">2</property>
 857                                           <property name="visible">True</property>
 858                                           <property name="can_focus">True</property>
 859                                           <property name="label" translatable="yes">Top to Bottom</property>
 860                                           <property name="use_underline">True</property>
 861                                           <property name="relief">GTK_RELIEF_NORMAL</property>
 862                                           <property name="focus_on_click">True</property>
 863                                           <property name="active">False</property>
 864                                           <property name="inconsistent">False</property>
 865                                           <property name="draw_indicator">True</property>
 866                                           <property name="group">radiobutton2</property>
 867                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:58:03 GMT"/>
 868                                         </widget>
 869                                         <packing>
 870                                           <property name="padding">0</property>
 871                                           <property name="expand">False</property>
 872                                           <property name="fill">False</property>
 873                                         </packing>
 874                                       </child>
 875
 876                                       <child>
 877                                         <widget class="GtkRadioButton" id="radiobutton5">
 878                                           <property name="border_width">2</property>
 879                                           <property name="visible">True</property>
 880                                           <property name="can_focus">True</property>
 881                                           <property name="label" translatable="yes">Bottom to Top</property>
 882                                           <property name="use_underline">True</property>
 883                                           <property name="relief">GTK_RELIEF_NORMAL</property>
 884                                           <property name="focus_on_click">True</property>
 885                                           <property name="active">False</property>
 886                                           <property name="inconsistent">False</property>
 887                                           <property name="draw_indicator">True</property>
 888                                           <property name="group">radiobutton2</property>
 889                                           <signal name="clicked" handler="orientation" last_modification_time="Tue, 23 Sep 2003 22:58:11 GMT"/>
 890                                         </widget>
 891                                         <packing>
 892                                           <property name="padding">0</property>
 893                                           <property name="expand">False</property>
 894                                           <property name="fill">False</property>
 895                                         </packing>
 896                                       </child>
 897                                     </widget>
 898                                   </child>
 899                                 </widget>
 900                                 <packing>
 901                                   <property name="padding">0</property>
 902                                   <property name="expand">True</property>
 903                                   <property name="fill">True</property>
 904                                 </packing>
 905                               </child>
 906                             </widget>
 907                           </child>
 908                         </widget>
 909                         <packing>
 910                           <property name="padding">0</property>
 911                           <property name="expand">False</property>
 912                           <property name="fill">True</property>
 913                         </packing>
 914                       </child>
 915                     </widget>
 916                   </child>
 917                 </widget>
 918                 <packing>
 919                   <property name="tab_expand">False</property>
 920                   <property name="tab_fill">True</property>
 921                 </packing>
 922               </child>
 923
 924               <child>
 925                 <widget class="GtkLabel" id="label20">
 926                   <property name="visible">True</property>
 927                   <property name="label" translatable="yes">View</property>
 928                   <property name="use_underline">False</property>
 929                   <property name="use_markup">False</property>
 930                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 931                   <property name="wrap">False</property>
 932                   <property name="selectable">False</property>
 933                   <property name="xalign">0.5</property>
 934                   <property name="yalign">0.5</property>
 935                   <property name="xpad">0</property>
 936                   <property name="ypad">0</property>
 937                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 938                   <property name="width_chars">-1</property>
 939                   <property name="single_line_mode">False</property>
 940                   <property name="angle">0</property>
 941                 </widget>
 942                 <packing>
 943                   <property name="type">tab</property>
 944                 </packing>
 945               </child>
 946
 947               <child>
 948                 <widget class="GtkAlignment" id="alignment16">
 949                   <property name="border_width">8</property>
 950                   <property name="visible">True</property>
 951                   <property name="xalign">0.5</property>
 952                   <property name="yalign">0.5</property>
 953                   <property name="xscale">1</property>
 954                   <property name="yscale">1</property>
 955                   <property name="top_padding">0</property>
 956                   <property name="bottom_padding">0</property>
 957                   <property name="left_padding">0</property>
 958                   <property name="right_padding">0</property>
 959
 960                   <child>
 961                     <widget class="GtkVBox" id="vbox24">
 962                       <property name="visible">True</property>
 963                       <property name="homogeneous">False</property>
 964                       <property name="spacing">0</property>
 965
 966                       <child>
 967                         <widget class="GtkLabel" id="label48">
 968                           <property name="label" translatable="yes">&lt;b&gt;Language Model:&lt;/b&gt;</property>
 969                           <property name="use_underline">False</property>
 970                           <property name="use_markup">True</property>
 971                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 972                           <property name="wrap">False</property>
 973                           <property name="selectable">False</property>
 974                           <property name="xalign">0</property>
 975                           <property name="yalign">0.5</property>
 976                           <property name="xpad">0</property>
 977                           <property name="ypad">2</property>
 978                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 979                           <property name="width_chars">-1</property>
 980                           <property name="single_line_mode">False</property>
 981                           <property name="angle">0</property>
 982                         </widget>
 983                         <packing>
 984                           <property name="padding">2</property>
 985                           <property name="expand">False</property>
 986                           <property name="fill">False</property>
 987                         </packing>
 988                       </child>
 989
 990                       <child>
 991                         <widget class="GtkRadioButton" id="radiobutton6">
 992                           <property name="can_focus">True</property>
 993                           <property name="label" translatable="yes">Standard letter-based PPM</property>
 994                           <property name="use_underline">True</property>
 995                           <property name="relief">GTK_RELIEF_NORMAL</property>
 996                           <property name="focus_on_click">True</property>
 997                           <property name="active">False</property>
 998                           <property name="inconsistent">False</property>
 999                           <property name="draw_indicator">True</property>
1000                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:00 GMT"/>
1001                         </widget>
1002                         <packing>
1003                           <property name="padding">2</property>
1004                           <property name="expand">False</property>
1005                           <property name="fill">False</property>
1006                         </packing>
1007                       </child>
1008
1009                       <child>
1010                         <widget class="GtkRadioButton" id="radiobutton7">
1011                           <property name="can_focus">True</property>
1012                           <property name="label" translatable="yes">Word-based model</property>
1013                           <property name="use_underline">True</property>
1014                           <property name="relief">GTK_RELIEF_NORMAL</property>
1015                           <property name="focus_on_click">True</property>
1016                           <property name="active">False</property>
1017                           <property name="inconsistent">False</property>
1018                           <property name="draw_indicator">True</property>
1019                           <property name="group">radiobutton6</property>
1020                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
1021                         </widget>
1022                         <packing>
1023                           <property name="padding">2</property>
1024                           <property name="expand">False</property>
1025                           <property name="fill">False</property>
1026                         </packing>
1027                       </child>
1028
1029                       <child>
1030                         <widget class="GtkRadioButton" id="radiobutton8">
1031                           <property name="can_focus">True</property>
1032                           <property name="label" translatable="yes">Mixture model (PPM/dictionary)</property>
1033                           <property name="use_underline">True</property>
1034                           <property name="relief">GTK_RELIEF_NORMAL</property>
1035                           <property name="focus_on_click">True</property>
1036                           <property name="active">False</property>
1037                           <property name="inconsistent">False</property>
1038                           <property name="draw_indicator">True</property>
1039                           <property name="group">radiobutton6</property>
1040                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
1041                         </widget>
1042                         <packing>
1043                           <property name="padding">2</property>
1044                           <property name="expand">False</property>
1045                           <property name="fill">False</property>
1046                         </packing>
1047                       </child>
1048
1049                       <child>
1050                         <widget class="GtkRadioButton" id="radiobutton9">
1051                           <property name="can_focus">True</property>
1052                           <property name="label" translatable="yes">Japanese</property>
1053                           <property name="use_underline">True</property>
1054                           <property name="relief">GTK_RELIEF_NORMAL</property>
1055                           <property name="focus_on_click">True</property>
1056                           <property name="active">False</property>
1057                           <property name="inconsistent">False</property>
1058                           <property name="draw_indicator">True</property>
1059                           <property name="group">radiobutton6</property>
1060                           <signal name="clicked" handler="languagemodel" last_modification_time="Thu, 21 Apr 2005 16:52:22 GMT"/>
1061                         </widget>
1062                         <packing>
1063                           <property name="padding">2</property>
1064                           <property name="expand">False</property>
1065                           <property name="fill">False</property>
1066                         </packing>
1067                       </child>
1068
1069                       <child>
1070                         <widget class="GtkLabel" id="label50">
1071                           <property name="visible">True</property>
1072                           <property name="label" translatable="yes">&lt;b&gt;Adaptation:&lt;/b&gt;</property>
1073                           <property name="use_underline">False</property>
1074                           <property name="use_markup">True</property>
1075                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1076                           <property name="wrap">False</property>
1077                           <property name="selectable">False</property>
1078                           <property name="xalign">0</property>
1079                           <property name="yalign">0.5</property>
1080                           <property name="xpad">0</property>
1081                           <property name="ypad">2</property>
1082                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1083                           <property name="width_chars">-1</property>
1084                           <property name="single_line_mode">False</property>
1085                           <property name="angle">0</property>
1086                         </widget>
1087                         <packing>
1088                           <property name="padding">2</property>
1089                           <property name="expand">False</property>
1090                           <property name="fill">False</property>
1091                         </packing>
1092                       </child>
1093
1094                       <child>
1095                         <widget class="GtkCheckButton" id="cb_adaptive">
1096                           <property name="visible">True</property>
1097                           <property name="can_focus">True</property>
1098                           <property name="label" translatable="yes">Language model adapts as you write.</property>
1099                           <property name="use_underline">True</property>
1100                           <property name="relief">GTK_RELIEF_NORMAL</property>
1101                           <property name="focus_on_click">True</property>
1102                           <property name="active">True</property>
1103                           <property name="inconsistent">False</property>
1104                           <property name="draw_indicator">True</property>
1105                         </widget>
1106                         <packing>
1107                           <property name="padding">2</property>
1108                           <property name="expand">False</property>
1109                           <property name="fill">False</property>
1110                         </packing>
1111                       </child>
1112
1113                       <child>
1114                         <widget class="GtkLabel" id="label23">
1115                           <property name="visible">True</property>
1116                           <property name="label" translatable="yes">&lt;b&gt;Smoothing:&lt;/b&gt;</property>
1117                           <property name="use_underline">False</property>
1118                           <property name="use_markup">True</property>
1119                           <property name="justify">GTK_JUSTIFY_LEFT</property>
1120                           <property name="wrap">False</property>
1121                           <property name="selectable">False</property>
1122                           <property name="xalign">0</property>
1123                           <property name="yalign">0.5</property>
1124                           <property name="xpad">0</property>
1125                           <property name="ypad">2</property>
1126                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1127                           <property name="width_chars">-1</property>
1128                           <property name="single_line_mode">False</property>
1129                           <property name="angle">0</property>
1130                         </widget>
1131                         <packing>
1132                           <property name="padding">0</property>
1133                           <property name="expand">False</property>
1134                           <property name="fill">False</property>
1135                         </packing>
1136                       </child>
1137
1138                       <child>
1139                         <widget class="GtkHScale" id="uniformhscale">
1140                           <property name="visible">True</property>
1141                           <property name="can_focus">True</property>
1142                           <property name="draw_value">True</property>
1143                           <property name="value_pos">GTK_POS_TOP</property>
1144                           <property name="digits">1</property>
1145                           <property name="update_policy">GTK_UPDATE_DISCONTINUOUS</property>
1146                           <property name="inverted">False</property>
1147                           <property name="adjustment">5 0 100 0.10000000149 0.10000000149 0</property>
1148                           <signal name="value_changed" handler="uniform_changed" last_modification_time="Tue, 23 Sep 2003 13:42:16 GMT"/>
1149                         </widget>
1150                         <packing>
1151                           <property name="padding">0</property>
1152                           <property name="expand">False</property>
1153                           <property name="fill">True</property>
1154                         </packing>
1155                       </child>
1156                     </widget>
1157                   </child>
1158                 </widget>
1159                 <packing>
1160                   <property name="tab_expand">False</property>
1161                   <property name="tab_fill">True</property>
1162                 </packing>
1163               </child>
1164
1165               <child>
1166                 <widget class="GtkLabel" id="label47">
1167                   <property name="visible">True</property>
1168                   <property name="label" translatable="yes">Prediction</property>
1169                   <property name="use_underline">False</property>
1170                   <property name="use_markup">False</property>
1171                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1172                   <property name="wrap">False</property>
1173                   <property name="selectable">False</property>
1174                   <property name="xalign">0.5</property>
1175                   <property name="yalign">0.5</property>
1176                   <property name="xpad">0</property>
1177                   <property name="ypad">0</property>
1178                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1179                   <property name="width_chars">-1</property>
1180                   <property name="single_line_mode">False</property>
1181                   <property name="angle">0</property>
1182                 </widget>
1183                 <packing>
1184                   <property name="type">tab</property>
1185                 </packing>
1186               </child>
1187             </widget>
1188           </child>
1189         </widget>
1190         <packing>
1191           <property name="padding">0</property>
1192           <property name="expand">True</property>
1193           <property name="fill">True</property>
1194         </packing>
1195       </child>
1196
1197       <child>
1198         <widget class="GtkAlignment" id="alignment2">
1199           <property name="visible">True</property>
1200           <property name="xalign">0.5</property>
1201           <property name="yalign">0.5</property>
1202           <property name="xscale">1</property>
1203           <property name="yscale">1</property>
1204           <property name="top_padding">0</property>
1205           <property name="bottom_padding">0</property>
1206           <property name="left_padding">0</property>
1207           <property name="right_padding">0</property>
1208
1209           <child>
1210             <widget class="GtkHButtonBox" id="hbuttonbox1">
1211               <property name="visible">True</property>
1212               <property name="layout_style">GTK_BUTTONBOX_END</property>
1213               <property name="spacing">0</property>
1214
1215               <child>
1216                 <widget class="GtkButton" id="button11">
1217                   <property name="border_width">5</property>
1218                   <property name="visible">True</property>
1219                   <property name="can_default">True</property>
1220                   <property name="can_focus">True</property>
1221                   <property name="label">gtk-close</property>
1222                   <property name="use_stock">True</property>
1223                   <property name="relief">GTK_RELIEF_NORMAL</property>
1224                   <property name="focus_on_click">True</property>
1225                   <signal name="clicked" handler="preferences_hide" last_modification_time="Tue, 23 Sep 2003 22:55:19 GMT"/>
1226                 </widget>
1227               </child>
1228             </widget>
1229           </child>
1230         </widget>
1231         <packing>
1232           <property name="padding">0</property>
1233           <property name="expand">False</property>
1234           <property name="fill">True</property>
1235         </packing>
1236       </child>
1237     </widget>
1238   </child>
1239 </widget>
1240
1241 <widget class="GtkFileSelection" id="open_fileselector">
1242   <property name="border_width">10</property>
1243   <property name="title" translatable="yes">Select File</property>
1244   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1245   <property name="window_position">GTK_WIN_POS_NONE</property>
1246   <property name="modal">False</property>
1247   <property name="resizable">True</property>
1248   <property name="destroy_with_parent">True</property>
1249   <property name="decorated">True</property>
1250   <property name="skip_taskbar_hint">False</property>
1251   <property name="skip_pager_hint">False</property>
1252   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1253   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1254   <property name="focus_on_map">True</property>
1255   <property name="urgency_hint">False</property>
1256   <property name="show_fileops">True</property>
1257   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
1258
1259   <child internal-child="cancel_button">
1260     <widget class="GtkButton" id="cancel_button1">
1261       <property name="visible">True</property>
1262       <property name="can_default">True</property>
1263       <property name="can_focus">True</property>
1264       <property name="relief">GTK_RELIEF_NORMAL</property>
1265       <property name="focus_on_click">True</property>
1266     </widget>
1267   </child>
1268
1269   <child internal-child="ok_button">
1270     <widget class="GtkButton" id="ok_button1">
1271       <property name="visible">True</property>
1272       <property name="can_default">True</property>
1273       <property name="can_focus">True</property>
1274       <property name="relief">GTK_RELIEF_NORMAL</property>
1275       <property name="focus_on_click">True</property>
1276     </widget>
1277   </child>
1278 </widget>
1279
1280 <widget class="GtkFontSelectionDialog" id="dasher_fontselector">
1281   <property name="border_width">4</property>
1282   <property name="title" translatable="yes">Select Font</property>
1283   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1284   <property name="window_position">GTK_WIN_POS_NONE</property>
1285   <property name="modal">False</property>
1286   <property name="resizable">True</property>
1287   <property name="destroy_with_parent">False</property>
1288   <property name="decorated">True</property>
1289   <property name="skip_taskbar_hint">False</property>
1290   <property name="skip_pager_hint">False</property>
1291   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1292   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1293   <property name="focus_on_map">True</property>
1294   <property name="urgency_hint">False</property>
1295   <signal name="delete_event" handler="dasher_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:22:16 GMT"/>
1296
1297   <child internal-child="cancel_button">
1298     <widget class="GtkButton" id="dasher_font_cancel">
1299       <property name="visible">True</property>
1300       <property name="can_default">True</property>
1301       <property name="can_focus">True</property>
1302       <property name="label">gtk-cancel</property>
1303       <property name="use_stock">True</property>
1304       <property name="relief">GTK_RELIEF_NORMAL</property>
1305       <property name="focus_on_click">True</property>
1306       <signal name="clicked" handler="dasher_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:21:14 GMT"/>
1307     </widget>
1308   </child>
1309
1310   <child internal-child="apply_button">
1311     <widget class="GtkButton" id="dasher_font_apply">
1312       <property name="visible">True</property>
1313       <property name="can_default">True</property>
1314       <property name="can_focus">True</property>
1315       <property name="label">gtk-apply</property>
1316       <property name="use_stock">True</property>
1317       <property name="relief">GTK_RELIEF_NORMAL</property>
1318       <property name="focus_on_click">True</property>
1319       <signal name="clicked" handler="dasher_font_apply_cb" last_modification_time="Thu, 11 May 2006 15:21:38 GMT"/>
1320     </widget>
1321   </child>
1322
1323   <child internal-child="ok_button">
1324     <widget class="GtkButton" id="dasher_font_ok">
1325       <property name="visible">True</property>
1326       <property name="can_default">True</property>
1327       <property name="can_focus">True</property>
1328       <property name="label">gtk-ok</property>
1329       <property name="use_stock">True</property>
1330       <property name="relief">GTK_RELIEF_NORMAL</property>
1331       <property name="focus_on_click">True</property>
1332       <signal name="clicked" handler="dasher_font_ok_cb" last_modification_time="Thu, 11 May 2006 15:22:03 GMT"/>
1333     </widget>
1334   </child>
1335
1336   <child internal-child="font_selection">
1337     <widget class="GtkFontSelection" id="font_selection1">
1338       <property name="border_width">4</property>
1339       <property name="visible">True</property>
1340       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
1341     </widget>
1342     <packing>
1343       <property name="padding">0</property>
1344       <property name="expand">True</property>
1345       <property name="fill">True</property>
1346     </packing>
1347   </child>
1348 </widget>
1349
1350 <widget class="GtkFontSelectionDialog" id="edit_fontselector">
1351   <property name="border_width">4</property>
1352   <property name="title" translatable="yes">Select Font</property>
1353   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1354   <property name="window_position">GTK_WIN_POS_NONE</property>
1355   <property name="modal">False</property>
1356   <property name="resizable">True</property>
1357   <property name="destroy_with_parent">False</property>
1358   <property name="decorated">True</property>
1359   <property name="skip_taskbar_hint">False</property>
1360   <property name="skip_pager_hint">False</property>
1361   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1362   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1363   <property name="focus_on_map">True</property>
1364   <property name="urgency_hint">False</property>
1365   <signal name="close" handler="edit_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:22:37 GMT"/>
1366
1367   <child internal-child="cancel_button">
1368     <widget class="GtkButton" id="edit_font_cancel">
1369       <property name="visible">True</property>
1370       <property name="can_default">True</property>
1371       <property name="can_focus">True</property>
1372       <property name="label">gtk-cancel</property>
1373       <property name="use_stock">True</property>
1374       <property name="relief">GTK_RELIEF_NORMAL</property>
1375       <property name="focus_on_click">True</property>
1376       <signal name="clicked" handler="edit_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:20:27 GMT"/>
1377     </widget>
1378   </child>
1379
1380   <child internal-child="apply_button">
1381     <widget class="GtkButton" id="edit_font_apply">
1382       <property name="visible">True</property>
1383       <property name="can_default">True</property>
1384       <property name="can_focus">True</property>
1385       <property name="label">gtk-apply</property>
1386       <property name="use_stock">True</property>
1387       <property name="relief">GTK_RELIEF_NORMAL</property>
1388       <property name="focus_on_click">True</property>
1389       <signal name="clicked" handler="edit_font_apply_cb" last_modification_time="Thu, 11 May 2006 15:20:19 GMT"/>
1390     </widget>
1391   </child>
1392
1393   <child internal-child="ok_button">
1394     <widget class="GtkButton" id="edit_font_ok">
1395       <property name="visible">True</property>
1396       <property name="can_default">True</property>
1397       <property name="can_focus">True</property>
1398       <property name="label">gtk-ok</property>
1399       <property name="use_stock">True</property>
1400       <property name="relief">GTK_RELIEF_NORMAL</property>
1401       <property name="focus_on_click">True</property>
1402       <signal name="clicked" handler="edit_font_ok_cb" last_modification_time="Thu, 11 May 2006 15:19:55 GMT"/>
1403     </widget>
1404   </child>
1405
1406   <child internal-child="font_selection">
1407     <widget class="GtkFontSelection" id="font_selection_2">
1408       <property name="border_width">4</property>
1409       <property name="visible">True</property>
1410       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
1411     </widget>
1412     <packing>
1413       <property name="padding">0</property>
1414       <property name="expand">True</property>
1415       <property name="fill">True</property>
1416     </packing>
1417   </child>
1418 </widget>
1419
1420 <widget class="GtkFileSelection" id="save_fileselector">
1421   <property name="border_width">10</property>
1422   <property name="title" translatable="yes">Select File</property>
1423   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1424   <property name="window_position">GTK_WIN_POS_NONE</property>
1425   <property name="modal">False</property>
1426   <property name="resizable">True</property>
1427   <property name="destroy_with_parent">True</property>
1428   <property name="decorated">True</property>
1429   <property name="skip_taskbar_hint">False</property>
1430   <property name="skip_pager_hint">False</property>
1431   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1432   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1433   <property name="focus_on_map">True</property>
1434   <property name="urgency_hint">False</property>
1435   <property name="show_fileops">True</property>
1436   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
1437
1438   <child internal-child="cancel_button">
1439     <widget class="GtkButton" id="button14">
1440       <property name="visible">True</property>
1441       <property name="can_default">True</property>
1442       <property name="can_focus">True</property>
1443       <property name="relief">GTK_RELIEF_NORMAL</property>
1444       <property name="focus_on_click">True</property>
1445     </widget>
1446   </child>
1447
1448   <child internal-child="ok_button">
1449     <widget class="GtkButton" id="button15">
1450       <property name="visible">True</property>
1451       <property name="can_default">True</property>
1452       <property name="can_focus">True</property>
1453       <property name="relief">GTK_RELIEF_NORMAL</property>
1454       <property name="focus_on_click">True</property>
1455     </widget>
1456   </child>
1457 </widget>
1458
1459 <widget class="GtkFileSelection" id="append_fileselector">
1460   <property name="border_width">10</property>
1461   <property name="title" translatable="yes">Select File</property>
1462   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1463   <property name="window_position">GTK_WIN_POS_NONE</property>
1464   <property name="modal">False</property>
1465   <property name="resizable">True</property>
1466   <property name="destroy_with_parent">True</property>
1467   <property name="decorated">True</property>
1468   <property name="skip_taskbar_hint">False</property>
1469   <property name="skip_pager_hint">False</property>
1470   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1471   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1472   <property name="focus_on_map">True</property>
1473   <property name="urgency_hint">False</property>
1474   <property name="show_fileops">True</property>
1475   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
1476
1477   <child internal-child="cancel_button">
1478     <widget class="GtkButton" id="button16">
1479       <property name="visible">True</property>
1480       <property name="can_default">True</property>
1481       <property name="can_focus">True</property>
1482       <property name="relief">GTK_RELIEF_NORMAL</property>
1483       <property name="focus_on_click">True</property>
1484     </widget>
1485   </child>
1486
1487   <child internal-child="ok_button">
1488     <widget class="GtkButton" id="button17">
1489       <property name="visible">True</property>
1490       <property name="can_default">True</property>
1491       <property name="can_focus">True</property>
1492       <property name="relief">GTK_RELIEF_NORMAL</property>
1493       <property name="focus_on_click">True</property>
1494     </widget>
1495   </child>
1496 </widget>
1497
1498 <widget class="GtkFileSelection" id="import_fileselector">
1499   <property name="border_width">10</property>
1500   <property name="title" translatable="yes">Select File</property>
1501   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1502   <property name="window_position">GTK_WIN_POS_NONE</property>
1503   <property name="modal">False</property>
1504   <property name="resizable">True</property>
1505   <property name="destroy_with_parent">True</property>
1506   <property name="decorated">True</property>
1507   <property name="skip_taskbar_hint">False</property>
1508   <property name="skip_pager_hint">False</property>
1509   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1510   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1511   <property name="focus_on_map">True</property>
1512   <property name="urgency_hint">False</property>
1513   <property name="show_fileops">True</property>
1514   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
1515
1516   <child internal-child="cancel_button">
1517     <widget class="GtkButton" id="button18">
1518       <property name="visible">True</property>
1519       <property name="can_default">True</property>
1520       <property name="can_focus">True</property>
1521       <property name="relief">GTK_RELIEF_NORMAL</property>
1522       <property name="focus_on_click">True</property>
1523     </widget>
1524   </child>
1525
1526   <child internal-child="ok_button">
1527     <widget class="GtkButton" id="button19">
1528       <property name="visible">True</property>
1529       <property name="can_default">True</property>
1530       <property name="can_focus">True</property>
1531       <property name="relief">GTK_RELIEF_NORMAL</property>
1532       <property name="focus_on_click">True</property>
1533     </widget>
1534   </child>
1535 </widget>
1536
1537 <widget class="GtkFileSelection" id="save_and_quit_fileselector">
1538   <property name="border_width">10</property>
1539   <property name="title" translatable="yes">Select File</property>
1540   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1541   <property name="window_position">GTK_WIN_POS_NONE</property>
1542   <property name="modal">False</property>
1543   <property name="resizable">True</property>
1544   <property name="destroy_with_parent">True</property>
1545   <property name="decorated">True</property>
1546   <property name="skip_taskbar_hint">False</property>
1547   <property name="skip_pager_hint">False</property>
1548   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1549   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1550   <property name="focus_on_map">True</property>
1551   <property name="urgency_hint">False</property>
1552   <property name="show_fileops">True</property>
1553   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
1554
1555   <child internal-child="cancel_button">
1556     <widget class="GtkButton" id="button20">
1557       <property name="visible">True</property>
1558       <property name="can_default">True</property>
1559       <property name="can_focus">True</property>
1560       <property name="relief">GTK_RELIEF_NORMAL</property>
1561       <property name="focus_on_click">True</property>
1562     </widget>
1563   </child>
1564
1565   <child internal-child="ok_button">
1566     <widget class="GtkButton" id="button21">
1567       <property name="visible">True</property>
1568       <property name="can_default">True</property>
1569       <property name="can_focus">True</property>
1570       <property name="relief">GTK_RELIEF_NORMAL</property>
1571       <property name="focus_on_click">True</property>
1572     </widget>
1573   </child>
1574 </widget>
1575
1576 </glade-interface>