1 <?xml version=
"1.0" standalone=
"no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM
"http://glade.gnome.org/glade-2.0.dtd">
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"/>
25 <widget class=
"GtkVBox" id=
"vbox1">
26 <property name=
"visible">True
</property>
27 <property name=
"homogeneous">False
</property>
28 <property name=
"spacing">0</property>
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>
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>
42 <widget class=
"GtkMenu" id=
"menuitem4_menu">
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"/>
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"/>
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"/>
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"/>
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"/>
90 <widget class=
"GtkMenuItem" id=
"separator1">
91 <property name=
"visible">True
</property>
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"/>
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"/>
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>
124 <widget class=
"GtkMenu" id=
"menuitem5_menu">
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"/>
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"/>
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"/>
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"/>
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>
173 <widget class=
"GtkMenu" id=
"options1_menu">
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"/>
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"/>
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"/>
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>
209 <widget class=
"GtkMenu" id=
"dasher_font_size1_menu">
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"/>
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"/>
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"/>
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"/>
257 <widget class=
"GtkMenuItem" id=
"separator2">
258 <property name=
"visible">True
</property>
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"/>
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"/>
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>
293 <widget class=
"GtkMenu" id=
"menuitem7_menu">
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"/>
309 <property name=
"padding">0</property>
310 <property name=
"expand">False
</property>
311 <property name=
"fill">False
</property>
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>
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"/>
332 <property name=
"expand">False
</property>
333 <property name=
"homogeneous">True
</property>
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"/>
347 <property name=
"expand">False
</property>
348 <property name=
"homogeneous">True
</property>
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"/>
362 <property name=
"expand">False
</property>
363 <property name=
"homogeneous">True
</property>
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"/>
377 <property name=
"expand">False
</property>
378 <property name=
"homogeneous">True
</property>
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>
390 <property name=
"expand">False
</property>
391 <property name=
"homogeneous">False
</property>
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"/>
405 <property name=
"expand">False
</property>
406 <property name=
"homogeneous">True
</property>
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"/>
420 <property name=
"expand">False
</property>
421 <property name=
"homogeneous">True
</property>
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"/>
435 <property name=
"expand">False
</property>
436 <property name=
"homogeneous">True
</property>
441 <property name=
"padding">0</property>
442 <property name=
"expand">False
</property>
443 <property name=
"fill">False
</property>
448 <widget class=
"GtkVPaned" id=
"vpaned1">
449 <property name=
"can_focus">True
</property>
450 <property name=
"position">1</property>
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>
462 <widget class=
"GtkViewport" id=
"viewport4">
463 <property name=
"visible">True
</property>
464 <property name=
"shadow_type">GTK_SHADOW_IN
</property>
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>
480 <property name=
"shrink">True
</property>
481 <property name=
"resize">False
</property>
486 <property name=
"padding">0</property>
487 <property name=
"expand">True
</property>
488 <property name=
"fill">True
</property>
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"/>
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"/>
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>
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>
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"/>
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>
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>
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>
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>
607 <property name=
"padding">0</property>
608 <property name=
"expand">True
</property>
609 <property name=
"fill">True
</property>
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>
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>
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>
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>
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>
667 <property name=
"padding">0</property>
668 <property name=
"expand">True
</property>
669 <property name=
"fill">True
</property>
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>
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>
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>
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>
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"/>
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>
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>
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"/>
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>
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>
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"/>
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>
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>
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"/>
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>
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>