Src/Gtk2/dashergpe.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">160</property>
   8   <property name="height_request">100</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
  24   <child>
  25     <widget class="GtkVBox" id="vbox1">
  26       <property name="visible">True</property>
  27       <property name="homogeneous">False</property>
  28       <property name="spacing">0</property>
  29
  30       <child>
  31         <widget class="GtkMenuBar" id="dasher_menu_bar">
  32           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
  33           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
  34
  35           <child>
  36             <widget class="GtkMenuItem" id="menuitem4">
  37               <property name="visible">True</property>
  38               <property name="label" translatable="yes">_File</property>
  39               <property name="use_underline">True</property>
  40
  41               <child>
  42                 <widget class="GtkMenu" id="menuitem4_menu">
  43
  44                   <child>
  45                     <widget class="GtkImageMenuItem" id="menunew">
  46                       <property name="visible">True</property>
  47                       <property name="label">gtk-new</property>
  48                       <property name="use_stock">True</property>
  49                       <signal name="activate" handler="select_new_file" last_modification_time="Tue, 23 Sep 2003 11:16:26 GMT"/>
  50                     </widget>
  51                   </child>
  52
  53                   <child>
  54                     <widget class="GtkImageMenuItem" id="menuopen">
  55                       <property name="visible">True</property>
  56                       <property name="label">gtk-open</property>
  57                       <property name="use_stock">True</property>
  58                       <signal name="activate" handler="select_open_file" last_modification_time="Tue, 23 Sep 2003 11:16:40 GMT"/>
  59                     </widget>
  60                   </child>
  61
  62                   <child>
  63                     <widget class="GtkImageMenuItem" id="menusave">
  64                       <property name="visible">True</property>
  65                       <property name="label">gtk-save</property>
  66                       <property name="use_stock">True</property>
  67                       <signal name="activate" handler="save_file" last_modification_time="Tue, 23 Sep 2003 11:16:59 GMT"/>
  68                     </widget>
  69                   </child>
  70
  71                   <child>
  72                     <widget class="GtkImageMenuItem" id="menusaveas">
  73                       <property name="visible">True</property>
  74                       <property name="label">gtk-save-as</property>
  75                       <property name="use_stock">True</property>
  76                       <signal name="activate" handler="select_save_file_as" last_modification_time="Tue, 23 Sep 2003 11:17:19 GMT"/>
  77                     </widget>
  78                   </child>
  79
  80                   <child>
  81                     <widget class="GtkMenuItem" id="menuappend">
  82                       <property name="visible">True</property>
  83                       <property name="label" translatable="yes">_Append to file</property>
  84                       <property name="use_underline">True</property>
  85                       <signal name="activate" handler="select_append_file" last_modification_time="Tue, 23 Sep 2003 11:19:29 GMT"/>
  86                     </widget>
  87                   </child>
  88
  89                   <child>
  90                     <widget class="GtkMenuItem" id="separator1">
  91                       <property name="visible">True</property>
  92                     </widget>
  93                   </child>
  94
  95                   <child>
  96                     <widget class="GtkMenuItem" id="menuimport">
  97                       <property name="visible">True</property>
  98                       <property name="label" translatable="yes">_Import Training Text</property>
  99                       <property name="use_underline">True</property>
 100                       <signal name="activate" handler="select_import_file" last_modification_time="Tue, 23 Sep 2003 11:19:29 GMT"/>
 101                     </widget>
 102                   </child>
 103
 104                   <child>
 105                     <widget class="GtkImageMenuItem" id="menuquit">
 106                       <property name="visible">True</property>
 107                       <property name="label">gtk-quit</property>
 108                       <property name="use_stock">True</property>
 109                       <signal name="activate" handler="ask_save_before_exit" last_modification_time="Tue, 23 Sep 2003 11:17:37 GMT"/>
 110                     </widget>
 111                   </child>
 112                 </widget>
 113               </child>
 114             </widget>
 115           </child>
 116
 117           <child>
 118             <widget class="GtkMenuItem" id="menuitem5">
 119               <property name="visible">True</property>
 120               <property name="label" translatable="yes">_Edit</property>
 121               <property name="use_underline">True</property>
 122
 123               <child>
 124                 <widget class="GtkMenu" id="menuitem5_menu">
 125
 126                   <child>
 127                     <widget class="GtkImageMenuItem" id="menucut">
 128                       <property name="visible">True</property>
 129                       <property name="label">gtk-cut</property>
 130                       <property name="use_stock">True</property>
 131                       <signal name="activate" handler="clipboard_cut" last_modification_time="Tue, 23 Sep 2003 11:19:57 GMT"/>
 132                     </widget>
 133                   </child>
 134
 135                   <child>
 136                     <widget class="GtkImageMenuItem" id="menucopy">
 137                       <property name="visible">True</property>
 138                       <property name="label">gtk-copy</property>
 139                       <property name="use_stock">True</property>
 140                       <signal name="activate" handler="clipboard_copy" last_modification_time="Tue, 23 Sep 2003 11:20:12 GMT"/>
 141                     </widget>
 142                   </child>
 143
 144                   <child>
 145                     <widget class="GtkImageMenuItem" id="menupaste">
 146                       <property name="visible">True</property>
 147                       <property name="label">gtk-paste</property>
 148                       <property name="use_stock">True</property>
 149                       <signal name="activate" handler="clipboard_paste" last_modification_time="Tue, 23 Sep 2003 11:20:26 GMT"/>
 150                     </widget>
 151                   </child>
 152
 153                   <child>
 154                     <widget class="GtkMenuItem" id="menucopyall">
 155                       <property name="visible">True</property>
 156                       <property name="label" translatable="yes">Copy _All</property>
 157                       <property name="use_underline">True</property>
 158                       <signal name="activate" handler="clipboard_copy_all" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 159                     </widget>
 160                   </child>
 161                 </widget>
 162               </child>
 163             </widget>
 164           </child>
 165
 166           <child>
 167             <widget class="GtkMenuItem" id="options1">
 168               <property name="visible">True</property>
 169               <property name="label" translatable="yes">_Options</property>
 170               <property name="use_underline">True</property>
 171
 172               <child>
 173                 <widget class="GtkMenu" id="options1_menu">
 174
 175                   <child>
 176                     <widget class="GtkImageMenuItem" id="menupreferences">
 177                       <property name="visible">True</property>
 178                       <property name="label">gtk-preferences</property>
 179                       <property name="use_stock">True</property>
 180                       <signal name="activate" handler="preferences_display" last_modification_time="Tue, 23 Sep 2003 00:29:06 GMT"/>
 181                     </widget>
 182                   </child>
 183
 184                   <child>
 185                     <widget class="GtkMenuItem" id="edit_font1">
 186                       <property name="visible">True</property>
 187                       <property name="label" translatable="yes">_Edit Font</property>
 188                       <property name="use_underline">True</property>
 189                       <signal name="activate" handler="set_edit_font" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 190                     </widget>
 191                   </child>
 192
 193                   <child>
 194                     <widget class="GtkMenuItem" id="dasher_font1">
 195                       <property name="visible">True</property>
 196                       <property name="label" translatable="yes">_Dasher Font</property>
 197                       <property name="use_underline">True</property>
 198                       <signal name="activate" handler="set_dasher_font" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 199                     </widget>
 200                   </child>
 201
 202                   <child>
 203                     <widget class="GtkMenuItem" id="dasher_font_size1">
 204                       <property name="visible">True</property>
 205                       <property name="label" translatable="yes">_Dasher Font Size</property>
 206                       <property name="use_underline">True</property>
 207
 208                       <child>
 209                         <widget class="GtkMenu" id="dasher_font_size1_menu">
 210
 211                           <child>
 212                             <widget class="GtkRadioMenuItem" id="fontsizenormal">
 213                               <property name="visible">True</property>
 214                               <property name="label" translatable="yes">Normal</property>
 215                               <property name="use_underline">True</property>
 216                               <property name="active">True</property>
 217                               <signal name="activate" handler="set_dasher_fontsize" after="yes" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 218                             </widget>
 219                           </child>
 220
 221                           <child>
 222                             <widget class="GtkRadioMenuItem" id="fontsizelarge">
 223                               <property name="visible">True</property>
 224                               <property name="label" translatable="yes">Large</property>
 225                               <property name="use_underline">True</property>
 226                               <property name="active">False</property>
 227                               <property name="group">fontsizenormal</property>
 228                               <signal name="activate" handler="set_dasher_fontsize" after="yes" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 229                             </widget>
 230                           </child>
 231
 232                           <child>
 233                             <widget class="GtkRadioMenuItem" id="fontsizevlarge">
 234                               <property name="visible">True</property>
 235                               <property name="label" translatable="yes">Very Large</property>
 236                               <property name="use_underline">True</property>
 237                               <property name="active">False</property>
 238                               <property name="group">fontsizenormal</property>
 239                               <signal name="activate" handler="set_dasher_fontsize" after="yes" last_modification_time="Wed, 24 Sep 2003 12:21:00 GMT"/>
 240                             </widget>
 241                           </child>
 242                         </widget>
 243                       </child>
 244                     </widget>
 245                   </child>
 246
 247                   <child>
 248                     <widget class="GtkMenuItem" id="reset_fonts1">
 249                       <property name="visible">True</property>
 250                       <property name="label" translatable="yes">_Reset fonts</property>
 251                       <property name="use_underline">True</property>
 252                       <signal name="activate" handler="reset_fonts" last_modification_time="Tue, 23 Sep 2003 17:57:37 GMT"/>
 253                     </widget>
 254                   </child>
 255
 256                   <child>
 257                     <widget class="GtkMenuItem" id="separator2">
 258                       <property name="visible">True</property>
 259                     </widget>
 260                   </child>
 261
 262                   <child>
 263                     <widget class="GtkCheckMenuItem" id="keyboardmode">
 264                       <property name="visible">True</property>
 265                       <property name="label" translatable="yes">Enter text into other windows</property>
 266                       <property name="use_underline">True</property>
 267                       <property name="active">False</property>
 268                       <signal name="activate" handler="keyboardmode" last_modification_time="Wed, 24 Sep 2003 12:44:11 GMT"/>
 269                     </widget>
 270                   </child>
 271
 272                   <child>
 273                     <widget class="GtkCheckMenuItem" id="controlmode">
 274                       <property name="visible">True</property>
 275                       <property name="label" translatable="yes">Control mode</property>
 276                       <property name="use_underline">True</property>
 277                       <property name="active">False</property>
 278                       <signal name="activate" handler="controlmode" last_modification_time="Wed, 24 Sep 2003 12:44:11 GMT"/>
 279                     </widget>
 280                   </child>
 281                 </widget>
 282               </child>
 283             </widget>
 284           </child>
 285
 286           <child>
 287             <widget class="GtkMenuItem" id="menuitem7">
 288               <property name="visible">True</property>
 289               <property name="label" translatable="yes">_Help</property>
 290               <property name="use_underline">True</property>
 291
 292               <child>
 293                 <widget class="GtkMenu" id="menuitem7_menu">
 294
 295                   <child>
 296                     <widget class="GtkMenuItem" id="menuabout">
 297                       <property name="visible">True</property>
 298                       <property name="label" translatable="yes">_About</property>
 299                       <property name="use_underline">True</property>
 300                       <signal name="activate" handler="about_dasher" last_modification_time="Tue, 23 Sep 2003 11:21:50 GMT"/>
 301                     </widget>
 302                   </child>
 303                 </widget>
 304               </child>
 305             </widget>
 306           </child>
 307         </widget>
 308         <packing>
 309           <property name="padding">0</property>
 310           <property name="expand">False</property>
 311           <property name="fill">False</property>
 312         </packing>
 313       </child>
 314
 315       <child>
 316         <widget class="GtkToolbar" id="toolbar">
 317           <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 318           <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 319           <property name="tooltips">True</property>
 320           <property name="show_arrow">True</property>
 321
 322           <child>
 323             <widget class="GtkToolButton" id="New">
 324               <property name="tooltip" translatable="yes">New file</property>
 325               <property name="stock_id">gtk-new</property>
 326               <property name="visible_horizontal">True</property>
 327               <property name="visible_vertical">True</property>
 328               <property name="is_important">False</property>
 329               <signal name="clicked" handler="select_new_file" last_modification_time="Mon, 22 Sep 2003 23:40:14 GMT"/>
 330             </widget>
 331             <packing>
 332               <property name="expand">False</property>
 333               <property name="homogeneous">True</property>
 334             </packing>
 335           </child>
 336
 337           <child>
 338             <widget class="GtkToolButton" id="Open">
 339               <property name="tooltip" translatable="yes">Open file</property>
 340               <property name="stock_id">gtk-open</property>
 341               <property name="visible_horizontal">True</property>
 342               <property name="visible_vertical">True</property>
 343               <property name="is_important">False</property>
 344               <signal name="clicked" handler="select_open_file" last_modification_time="Mon, 22 Sep 2003 23:40:28 GMT"/>
 345             </widget>
 346             <packing>
 347               <property name="expand">False</property>
 348               <property name="homogeneous">True</property>
 349             </packing>
 350           </child>
 351
 352           <child>
 353             <widget class="GtkToolButton" id="Save">
 354               <property name="tooltip" translatable="yes">Save file</property>
 355               <property name="stock_id">gtk-save</property>
 356               <property name="visible_horizontal">True</property>
 357               <property name="visible_vertical">True</property>
 358               <property name="is_important">False</property>
 359               <signal name="clicked" handler="save_file" last_modification_time="Mon, 22 Sep 2003 23:40:42 GMT"/>
 360             </widget>
 361             <packing>
 362               <property name="expand">False</property>
 363               <property name="homogeneous">True</property>
 364             </packing>
 365           </child>
 366
 367           <child>
 368             <widget class="GtkToolButton" id="SaveAs">
 369               <property name="tooltip" translatable="yes">Save file as</property>
 370               <property name="stock_id">gtk-save-as</property>
 371               <property name="visible_horizontal">True</property>
 372               <property name="visible_vertical">True</property>
 373               <property name="is_important">False</property>
 374               <signal name="clicked" handler="select_save_file_as" last_modification_time="Mon, 22 Sep 2003 23:40:58 GMT"/>
 375             </widget>
 376             <packing>
 377               <property name="expand">False</property>
 378               <property name="homogeneous">True</property>
 379             </packing>
 380           </child>
 381
 382           <child>
 383             <widget class="GtkSeparatorToolItem" id="separatortoolitem1">
 384               <property name="visible">True</property>
 385               <property name="draw">True</property>
 386               <property name="visible_horizontal">True</property>
 387               <property name="visible_vertical">True</property>
 388             </widget>
 389             <packing>
 390               <property name="expand">False</property>
 391               <property name="homogeneous">False</property>
 392             </packing>
 393           </child>
 394
 395           <child>
 396             <widget class="GtkToolButton" id="Cut">
 397               <property name="tooltip" translatable="yes">Cut</property>
 398               <property name="stock_id">gtk-cut</property>
 399               <property name="visible_horizontal">True</property>
 400               <property name="visible_vertical">True</property>
 401               <property name="is_important">False</property>
 402               <signal name="clicked" handler="clipboard_cut" last_modification_time="Mon, 22 Sep 2003 23:41:37 GMT"/>
 403             </widget>
 404             <packing>
 405               <property name="expand">False</property>
 406               <property name="homogeneous">True</property>
 407             </packing>
 408           </child>
 409
 410           <child>
 411             <widget class="GtkToolButton" id="Copy">
 412               <property name="tooltip" translatable="yes">Copy</property>
 413               <property name="stock_id">gtk-copy</property>
 414               <property name="visible_horizontal">True</property>
 415               <property name="visible_vertical">True</property>
 416               <property name="is_important">False</property>
 417               <signal name="clicked" handler="clipboard_copy" last_modification_time="Mon, 22 Sep 2003 23:41:29 GMT"/>
 418             </widget>
 419             <packing>
 420               <property name="expand">False</property>
 421               <property name="homogeneous">True</property>
 422             </packing>
 423           </child>
 424
 425           <child>
 426             <widget class="GtkToolButton" id="Paste">
 427               <property name="tooltip" translatable="yes">Paste</property>
 428               <property name="stock_id">gtk-paste</property>
 429               <property name="visible_horizontal">True</property>
 430               <property name="visible_vertical">True</property>
 431               <property name="is_important">False</property>
 432               <signal name="clicked" handler="clipboard_paste" last_modification_time="Mon, 22 Sep 2003 23:41:50 GMT"/>
 433             </widget>
 434             <packing>
 435               <property name="expand">False</property>
 436               <property name="homogeneous">True</property>
 437             </packing>
 438           </child>
 439         </widget>
 440         <packing>
 441           <property name="padding">0</property>
 442           <property name="expand">False</property>
 443           <property name="fill">False</property>
 444         </packing>
 445       </child>
 446
 447       <child>
 448         <widget class="GtkVPaned" id="vpaned1">
 449           <property name="can_focus">True</property>
 450           <property name="position">1</property>
 451
 452           <child>
 453             <widget class="GtkScrolledWindow" id="scrolledwindow5">
 454               <property name="visible">True</property>
 455               <property name="can_focus">True</property>
 456               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 457               <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
 458               <property name="shadow_type">GTK_SHADOW_NONE</property>
 459               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 460
 461               <child>
 462                 <widget class="GtkViewport" id="viewport4">
 463                   <property name="visible">True</property>
 464                   <property name="shadow_type">GTK_SHADOW_IN</property>
 465
 466                   <child>
 467                     <widget class="GtkScrolledWindow" id="text_scrolled_window">
 468                       <property name="visible">True</property>
 469                       <property name="can_focus">True</property>
 470                       <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 471                       <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 472                       <property name="shadow_type">GTK_SHADOW_NONE</property>
 473                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 474                     </widget>
 475                   </child>
 476                 </widget>
 477               </child>
 478             </widget>
 479             <packing>
 480               <property name="shrink">True</property>
 481               <property name="resize">False</property>
 482             </packing>
 483           </child>
 484         </widget>
 485         <packing>
 486           <property name="padding">0</property>
 487           <property name="expand">True</property>
 488           <property name="fill">True</property>
 489         </packing>
 490       </child>
 491     </widget>
 492   </child>
 493 </widget>
 494
 495 <widget class="GtkWindow" id="preferences">
 496   <property name="width_request">240</property>
 497   <property name="height_request">320</property>
 498   <property name="title" translatable="yes"></property>
 499   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 500   <property name="window_position">GTK_WIN_POS_NONE</property>
 501   <property name="modal">False</property>
 502   <property name="resizable">True</property>
 503   <property name="destroy_with_parent">False</property>
 504   <property name="decorated">True</property>
 505   <property name="skip_taskbar_hint">False</property>
 506   <property name="skip_pager_hint">False</property>
 507   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 508   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 509   <property name="focus_on_map">True</property>
 510   <property name="urgency_hint">False</property>
 511   <signal name="delete_event" handler="preferences_hide" last_modification_time="Tue, 23 Sep 2003 00:37:43 GMT"/>
 512 </widget>
 513
 514 <widget class="GtkFileSelection" id="open_fileselector">
 515   <property name="border_width">10</property>
 516   <property name="title" translatable="yes">Select File</property>
 517   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 518   <property name="window_position">GTK_WIN_POS_NONE</property>
 519   <property name="modal">False</property>
 520   <property name="resizable">True</property>
 521   <property name="destroy_with_parent">False</property>
 522   <property name="decorated">True</property>
 523   <property name="skip_taskbar_hint">False</property>
 524   <property name="skip_pager_hint">False</property>
 525   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 526   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 527   <property name="focus_on_map">True</property>
 528   <property name="urgency_hint">False</property>
 529   <property name="show_fileops">True</property>
 530   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
 531
 532   <child internal-child="cancel_button">
 533     <widget class="GtkButton" id="button1">
 534       <property name="visible">True</property>
 535       <property name="can_default">True</property>
 536       <property name="can_focus">True</property>
 537       <property name="relief">GTK_RELIEF_NORMAL</property>
 538       <property name="focus_on_click">True</property>
 539     </widget>
 540   </child>
 541
 542   <child internal-child="ok_button">
 543     <widget class="GtkButton" id="button2">
 544       <property name="visible">True</property>
 545       <property name="can_default">True</property>
 546       <property name="can_focus">True</property>
 547       <property name="relief">GTK_RELIEF_NORMAL</property>
 548       <property name="focus_on_click">True</property>
 549     </widget>
 550   </child>
 551 </widget>
 552
 553 <widget class="GtkFontSelectionDialog" id="dasher_fontselector">
 554   <property name="border_width">4</property>
 555   <property name="title" translatable="yes">Select Font</property>
 556   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 557   <property name="window_position">GTK_WIN_POS_NONE</property>
 558   <property name="modal">False</property>
 559   <property name="resizable">True</property>
 560   <property name="destroy_with_parent">False</property>
 561   <property name="decorated">True</property>
 562   <property name="skip_taskbar_hint">False</property>
 563   <property name="skip_pager_hint">False</property>
 564   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 565   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 566   <property name="focus_on_map">True</property>
 567   <property name="urgency_hint">False</property>
 568   <signal name="delete_event" handler="fontsel_hide" last_modification_time="Tue, 23 Sep 2003 18:16:56 GMT"/>
 569
 570   <child internal-child="cancel_button">
 571     <widget class="GtkButton" id="button3">
 572       <property name="visible">True</property>
 573       <property name="can_default">True</property>
 574       <property name="can_focus">True</property>
 575       <property name="relief">GTK_RELIEF_NORMAL</property>
 576       <property name="focus_on_click">True</property>
 577     </widget>
 578   </child>
 579
 580   <child internal-child="apply_button">
 581     <widget class="GtkButton" id="button4">
 582       <property name="visible">True</property>
 583       <property name="can_default">True</property>
 584       <property name="can_focus">True</property>
 585       <property name="relief">GTK_RELIEF_NORMAL</property>
 586       <property name="focus_on_click">True</property>
 587     </widget>
 588   </child>
 589
 590   <child internal-child="ok_button">
 591     <widget class="GtkButton" id="button5">
 592       <property name="visible">True</property>
 593       <property name="can_default">True</property>
 594       <property name="can_focus">True</property>
 595       <property name="relief">GTK_RELIEF_NORMAL</property>
 596       <property name="focus_on_click">True</property>
 597     </widget>
 598   </child>
 599
 600   <child internal-child="font_selection">
 601     <widget class="GtkFontSelection" id="fontselection1">
 602       <property name="border_width">4</property>
 603       <property name="visible">True</property>
 604       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
 605     </widget>
 606     <packing>
 607       <property name="padding">0</property>
 608       <property name="expand">True</property>
 609       <property name="fill">True</property>
 610     </packing>
 611   </child>
 612 </widget>
 613
 614 <widget class="GtkFontSelectionDialog" id="edit_fontselector">
 615   <property name="border_width">4</property>
 616   <property name="title" translatable="yes">Select Font</property>
 617   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 618   <property name="window_position">GTK_WIN_POS_NONE</property>
 619   <property name="modal">False</property>
 620   <property name="resizable">True</property>
 621   <property name="destroy_with_parent">False</property>
 622   <property name="decorated">True</property>
 623   <property name="skip_taskbar_hint">False</property>
 624   <property name="skip_pager_hint">False</property>
 625   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 626   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 627   <property name="focus_on_map">True</property>
 628   <property name="urgency_hint">False</property>
 629
 630   <child internal-child="cancel_button">
 631     <widget class="GtkButton" id="button6">
 632       <property name="visible">True</property>
 633       <property name="can_default">True</property>
 634       <property name="can_focus">True</property>
 635       <property name="relief">GTK_RELIEF_NORMAL</property>
 636       <property name="focus_on_click">True</property>
 637     </widget>
 638   </child>
 639
 640   <child internal-child="apply_button">
 641     <widget class="GtkButton" id="button7">
 642       <property name="visible">True</property>
 643       <property name="can_default">True</property>
 644       <property name="can_focus">True</property>
 645       <property name="relief">GTK_RELIEF_NORMAL</property>
 646       <property name="focus_on_click">True</property>
 647     </widget>
 648   </child>
 649
 650   <child internal-child="ok_button">
 651     <widget class="GtkButton" id="button8">
 652       <property name="visible">True</property>
 653       <property name="can_default">True</property>
 654       <property name="can_focus">True</property>
 655       <property name="relief">GTK_RELIEF_NORMAL</property>
 656       <property name="focus_on_click">True</property>
 657     </widget>
 658   </child>
 659
 660   <child internal-child="font_selection">
 661     <widget class="GtkFontSelection" id="fontselection2">
 662       <property name="border_width">4</property>
 663       <property name="visible">True</property>
 664       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
 665     </widget>
 666     <packing>
 667       <property name="padding">0</property>
 668       <property name="expand">True</property>
 669       <property name="fill">True</property>
 670     </packing>
 671   </child>
 672 </widget>
 673
 674 <widget class="GtkDialog" id="trainwindow">
 675   <property name="title" translatable="yes"></property>
 676   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 677   <property name="window_position">GTK_WIN_POS_NONE</property>
 678   <property name="modal">False</property>
 679   <property name="resizable">True</property>
 680   <property name="destroy_with_parent">False</property>
 681   <property name="decorated">True</property>
 682   <property name="skip_taskbar_hint">False</property>
 683   <property name="skip_pager_hint">False</property>
 684   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 685   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 686   <property name="focus_on_map">True</property>
 687   <property name="urgency_hint">False</property>
 688   <property name="has_separator">True</property>
 689
 690   <child internal-child="vbox">
 691     <widget class="GtkVBox" id="vbox2">
 692       <property name="visible">True</property>
 693       <property name="homogeneous">False</property>
 694       <property name="spacing">0</property>
 695
 696       <child internal-child="action_area">
 697         <widget class="GtkHButtonBox" id="hbuttonbox1">
 698           <property name="visible">True</property>
 699           <property name="layout_style">GTK_BUTTONBOX_END</property>
 700         </widget>
 701         <packing>
 702           <property name="padding">0</property>
 703           <property name="expand">False</property>
 704           <property name="fill">True</property>
 705           <property name="pack_type">GTK_PACK_END</property>
 706         </packing>
 707       </child>
 708     </widget>
 709   </child>
 710 </widget>
 711
 712 <widget class="GtkFileSelection" id="save_fileselector">
 713   <property name="border_width">10</property>
 714   <property name="title" translatable="yes">Select File</property>
 715   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 716   <property name="window_position">GTK_WIN_POS_NONE</property>
 717   <property name="modal">False</property>
 718   <property name="resizable">True</property>
 719   <property name="destroy_with_parent">False</property>
 720   <property name="decorated">True</property>
 721   <property name="skip_taskbar_hint">False</property>
 722   <property name="skip_pager_hint">False</property>
 723   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 724   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 725   <property name="focus_on_map">True</property>
 726   <property name="urgency_hint">False</property>
 727   <property name="show_fileops">True</property>
 728   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
 729
 730   <child internal-child="cancel_button">
 731     <widget class="GtkButton" id="button9">
 732       <property name="visible">True</property>
 733       <property name="can_default">True</property>
 734       <property name="can_focus">True</property>
 735       <property name="relief">GTK_RELIEF_NORMAL</property>
 736       <property name="focus_on_click">True</property>
 737     </widget>
 738   </child>
 739
 740   <child internal-child="ok_button">
 741     <widget class="GtkButton" id="button10">
 742       <property name="visible">True</property>
 743       <property name="can_default">True</property>
 744       <property name="can_focus">True</property>
 745       <property name="relief">GTK_RELIEF_NORMAL</property>
 746       <property name="focus_on_click">True</property>
 747     </widget>
 748   </child>
 749 </widget>
 750
 751 <widget class="GtkFileSelection" id="append_fileselector">
 752   <property name="border_width">10</property>
 753   <property name="title" translatable="yes">Select File</property>
 754   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 755   <property name="window_position">GTK_WIN_POS_NONE</property>
 756   <property name="modal">False</property>
 757   <property name="resizable">True</property>
 758   <property name="destroy_with_parent">False</property>
 759   <property name="decorated">True</property>
 760   <property name="skip_taskbar_hint">False</property>
 761   <property name="skip_pager_hint">False</property>
 762   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 763   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 764   <property name="focus_on_map">True</property>
 765   <property name="urgency_hint">False</property>
 766   <property name="show_fileops">True</property>
 767   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
 768
 769   <child internal-child="cancel_button">
 770     <widget class="GtkButton" id="button11">
 771       <property name="visible">True</property>
 772       <property name="can_default">True</property>
 773       <property name="can_focus">True</property>
 774       <property name="relief">GTK_RELIEF_NORMAL</property>
 775       <property name="focus_on_click">True</property>
 776     </widget>
 777   </child>
 778
 779   <child internal-child="ok_button">
 780     <widget class="GtkButton" id="button12">
 781       <property name="visible">True</property>
 782       <property name="can_default">True</property>
 783       <property name="can_focus">True</property>
 784       <property name="relief">GTK_RELIEF_NORMAL</property>
 785       <property name="focus_on_click">True</property>
 786     </widget>
 787   </child>
 788 </widget>
 789
 790 <widget class="GtkFileSelection" id="import_fileselector">
 791   <property name="border_width">10</property>
 792   <property name="title" translatable="yes">Select File</property>
 793   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 794   <property name="window_position">GTK_WIN_POS_NONE</property>
 795   <property name="modal">False</property>
 796   <property name="resizable">True</property>
 797   <property name="destroy_with_parent">False</property>
 798   <property name="decorated">True</property>
 799   <property name="skip_taskbar_hint">False</property>
 800   <property name="skip_pager_hint">False</property>
 801   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 802   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 803   <property name="focus_on_map">True</property>
 804   <property name="urgency_hint">False</property>
 805   <property name="show_fileops">True</property>
 806   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
 807
 808   <child internal-child="cancel_button">
 809     <widget class="GtkButton" id="button13">
 810       <property name="visible">True</property>
 811       <property name="can_default">True</property>
 812       <property name="can_focus">True</property>
 813       <property name="relief">GTK_RELIEF_NORMAL</property>
 814       <property name="focus_on_click">True</property>
 815     </widget>
 816   </child>
 817
 818   <child internal-child="ok_button">
 819     <widget class="GtkButton" id="button14">
 820       <property name="visible">True</property>
 821       <property name="can_default">True</property>
 822       <property name="can_focus">True</property>
 823       <property name="relief">GTK_RELIEF_NORMAL</property>
 824       <property name="focus_on_click">True</property>
 825     </widget>
 826   </child>
 827 </widget>
 828
 829 <widget class="GtkFileSelection" id="save_and_quit_fileselector">
 830   <property name="border_width">10</property>
 831   <property name="title" translatable="yes">Select File</property>
 832   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 833   <property name="window_position">GTK_WIN_POS_NONE</property>
 834   <property name="modal">False</property>
 835   <property name="resizable">True</property>
 836   <property name="destroy_with_parent">False</property>
 837   <property name="decorated">True</property>
 838   <property name="skip_taskbar_hint">False</property>
 839   <property name="skip_pager_hint">False</property>
 840   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 841   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 842   <property name="focus_on_map">True</property>
 843   <property name="urgency_hint">False</property>
 844   <property name="show_fileops">True</property>
 845   <signal name="delete_event" handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT"/>
 846
 847   <child internal-child="cancel_button">
 848     <widget class="GtkButton" id="button15">
 849       <property name="visible">True</property>
 850       <property name="can_default">True</property>
 851       <property name="can_focus">True</property>
 852       <property name="relief">GTK_RELIEF_NORMAL</property>
 853       <property name="focus_on_click">True</property>
 854     </widget>
 855   </child>
 856
 857   <child internal-child="ok_button">
 858     <widget class="GtkButton" id="button16">
 859       <property name="visible">True</property>
 860       <property name="can_default">True</property>
 861       <property name="can_focus">True</property>
 862       <property name="relief">GTK_RELIEF_NORMAL</property>
 863       <property name="focus_on_click">True</property>
 864     </widget>
 865   </child>
 866 </widget>
 867
 868 </glade-interface>