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=
"main-window">
7 <property name=
"visible">True
</property>
8 <property name=
"title" translatable=
"yes">Angband
</property>
9 <property name=
"type">GTK_WINDOW_TOPLEVEL
</property>
10 <property name=
"window_position">GTK_WIN_POS_NONE
</property>
11 <property name=
"modal">False
</property>
12 <property name=
"resizable">True
</property>
13 <property name=
"destroy_with_parent">False
</property>
14 <property name=
"decorated">True
</property>
15 <property name=
"skip_taskbar_hint">False
</property>
16 <property name=
"skip_pager_hint">False
</property>
17 <property name=
"type_hint">GDK_WINDOW_TYPE_HINT_NORMAL
</property>
18 <property name=
"gravity">GDK_GRAVITY_NORTH_WEST
</property>
19 <property name=
"focus_on_map">True
</property>
20 <property name=
"urgency_hint">False
</property>
21 <signal name=
"key_press_event" handler=
"keypress_event_handler"/>
22 <signal name=
"delete_event" handler=
"delete_event_handler"/>
23 <signal name=
"destroy_event" handler=
"destroy_event_handler"/>
26 <widget class=
"GtkVBox" id=
"vbox1">
27 <property name=
"visible">True
</property>
28 <property name=
"homogeneous">False
</property>
29 <property name=
"spacing">0</property>
32 <widget class=
"GtkMenuBar" id=
"menubar1">
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>
38 <widget class=
"GtkMenuItem" id=
"file_menu">
39 <property name=
"visible">True
</property>
40 <property name=
"label" translatable=
"yes">_File
</property>
41 <property name=
"use_underline">True
</property>
44 <widget class=
"GtkMenu" id=
"file_menu_menu">
47 <widget class=
"GtkImageMenuItem" id=
"new_menu_item">
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=
"new_event_handler"/>
56 <widget class=
"GtkImageMenuItem" id=
"open_menu_item">
57 <property name=
"visible">True
</property>
58 <property name=
"label">gtk-open
</property>
59 <property name=
"use_stock">True
</property>
60 <signal name=
"activate" handler=
"open_event_handler"/>
65 <widget class=
"GtkImageMenuItem" id=
"save_menu_item">
66 <property name=
"visible">True
</property>
67 <property name=
"label">gtk-save
</property>
68 <property name=
"use_stock">True
</property>
69 <signal name=
"activate" handler=
"save_event_handler" last_modification_time=
"Sat, 12 May 2007 23:44:03 GMT"/>
74 <widget class=
"GtkSeparatorMenuItem" id=
"separatormenuitem1">
75 <property name=
"visible">True
</property>
80 <widget class=
"GtkImageMenuItem" id=
"quit_menu_item">
81 <property name=
"visible">True
</property>
82 <property name=
"label">gtk-quit
</property>
83 <property name=
"use_stock">True
</property>
84 <signal name=
"activate" handler=
"quit_event_handler"/>
93 <widget class=
"GtkMenuItem" id=
"options_menu">
94 <property name=
"visible">True
</property>
95 <property name=
"label" translatable=
"yes">_Options
</property>
96 <property name=
"use_underline">True
</property>
99 <widget class=
"GtkMenu" id=
"options_menu_menu">
102 <widget class=
"GtkMenuItem" id=
"font_menu_item">
103 <property name=
"visible">True
</property>
104 <property name=
"label" translatable=
"yes">Font...
</property>
105 <property name=
"use_underline">True
</property>
114 <property name=
"padding">0</property>
115 <property name=
"expand">False
</property>
116 <property name=
"fill">False
</property>
121 <widget class=
"GtkDrawingArea" id=
"drawingarea1">
122 <property name=
"visible">True
</property>
125 <property name=
"padding">0</property>
126 <property name=
"expand">True
</property>
127 <property name=
"fill">True
</property>
134 <widget class=
"GtkFileChooserDialog" id=
"file-chooser">
135 <property name=
"action">GTK_FILE_CHOOSER_ACTION_OPEN
</property>
136 <property name=
"local_only">True
</property>
137 <property name=
"select_multiple">False
</property>
138 <property name=
"show_hidden">True
</property>
139 <property name=
"do_overwrite_confirmation">False
</property>
140 <property name=
"type">GTK_WINDOW_TOPLEVEL
</property>
141 <property name=
"window_position">GTK_WIN_POS_NONE
</property>
142 <property name=
"modal">False
</property>
143 <property name=
"resizable">True
</property>
144 <property name=
"destroy_with_parent">False
</property>
145 <property name=
"decorated">True
</property>
146 <property name=
"skip_taskbar_hint">False
</property>
147 <property name=
"skip_pager_hint">False
</property>
148 <property name=
"type_hint">GDK_WINDOW_TYPE_HINT_DIALOG
</property>
149 <property name=
"gravity">GDK_GRAVITY_NORTH_WEST
</property>
150 <property name=
"focus_on_map">True
</property>
151 <property name=
"urgency_hint">False
</property>
153 <child internal-child=
"vbox">
154 <widget class=
"GtkVBox" id=
"dialog-vbox1">
155 <property name=
"visible">True
</property>
156 <property name=
"homogeneous">False
</property>
157 <property name=
"spacing">24</property>
159 <child internal-child=
"action_area">
160 <widget class=
"GtkHButtonBox" id=
"dialog-action_area1">
161 <property name=
"visible">True
</property>
162 <property name=
"layout_style">GTK_BUTTONBOX_END
</property>
165 <widget class=
"GtkButton" id=
"button1">
166 <property name=
"visible">True
</property>
167 <property name=
"can_default">True
</property>
168 <property name=
"can_focus">True
</property>
169 <property name=
"label">gtk-cancel
</property>
170 <property name=
"use_stock">True
</property>
171 <property name=
"relief">GTK_RELIEF_NORMAL
</property>
172 <property name=
"focus_on_click">True
</property>
173 <property name=
"response_id">-
6</property>
178 <widget class=
"GtkButton" id=
"button2">
179 <property name=
"visible">True
</property>
180 <property name=
"can_default">True
</property>
181 <property name=
"has_default">True
</property>
182 <property name=
"can_focus">True
</property>
183 <property name=
"label">gtk-open
</property>
184 <property name=
"use_stock">True
</property>
185 <property name=
"relief">GTK_RELIEF_NORMAL
</property>
186 <property name=
"focus_on_click">True
</property>
187 <property name=
"response_id">-
5</property>
192 <property name=
"padding">0</property>
193 <property name=
"expand">False
</property>
194 <property name=
"fill">True
</property>
195 <property name=
"pack_type">GTK_PACK_END
</property>
202 <widget class=
"GtkFontSelectionDialog" id=
"font-window">
203 <property name=
"border_width">5</property>
204 <property name=
"title" translatable=
"yes">Select Font
</property>
205 <property name=
"type">GTK_WINDOW_TOPLEVEL
</property>
206 <property name=
"window_position">GTK_WIN_POS_NONE
</property>
207 <property name=
"modal">False
</property>
208 <property name=
"resizable">True
</property>
209 <property name=
"destroy_with_parent">False
</property>
210 <property name=
"decorated">True
</property>
211 <property name=
"skip_taskbar_hint">False
</property>
212 <property name=
"skip_pager_hint">False
</property>
213 <property name=
"type_hint">GDK_WINDOW_TYPE_HINT_DIALOG
</property>
214 <property name=
"gravity">GDK_GRAVITY_NORTH_WEST
</property>
215 <property name=
"focus_on_map">True
</property>
216 <property name=
"urgency_hint">False
</property>
218 <child internal-child=
"cancel_button">
219 <widget class=
"GtkButton" id=
"cancel_button1">
220 <property name=
"visible">True
</property>
221 <property name=
"can_default">True
</property>
222 <property name=
"can_focus">True
</property>
223 <property name=
"relief">GTK_RELIEF_NORMAL
</property>
224 <property name=
"focus_on_click">True
</property>
225 <signal name=
"clicked" handler=
"gtk_true" last_modification_time=
"Thu, 28 Jun 2007 09:00:54 GMT"/>
229 <child internal-child=
"apply_button">
230 <widget class=
"GtkButton" id=
"apply_button1">
231 <property name=
"visible">True
</property>
232 <property name=
"can_default">True
</property>
233 <property name=
"can_focus">True
</property>
234 <property name=
"relief">GTK_RELIEF_NORMAL
</property>
235 <property name=
"focus_on_click">True
</property>
236 <signal name=
"clicked" handler=
"font_selector" last_modification_time=
"Sat, 12 May 2007 23:44:17 GMT"/>
240 <child internal-child=
"ok_button">
241 <widget class=
"GtkButton" id=
"ok_button1">
242 <property name=
"visible">True
</property>
243 <property name=
"can_default">True
</property>
244 <property name=
"can_focus">True
</property>
245 <property name=
"relief">GTK_RELIEF_NORMAL
</property>
246 <property name=
"focus_on_click">True
</property>
247 <signal name=
"clicked" handler=
"font_selector" last_modification_time=
"Sat, 12 May 2007 23:43:36 GMT"/>
251 <child internal-child=
"font_selection">
252 <widget class=
"GtkFontSelection" id=
"font_selection1">
253 <property name=
"border_width">5</property>
254 <property name=
"visible">True
</property>
255 <property name=
"preview_text" translatable=
"yes">abcdefghijk ABCDEFGHIJK
</property>
258 <property name=
"padding">0</property>
259 <property name=
"expand">True
</property>
260 <property name=
"fill">True
</property>
265 <widget class=
"GtkWindow" id=
"term-window">
266 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
267 <property name=
"title" translatable=
"yes"></property>
268 <property name=
"type">GTK_WINDOW_TOPLEVEL
</property>
269 <property name=
"window_position">GTK_WIN_POS_NONE
</property>
270 <property name=
"modal">False
</property>
271 <property name=
"resizable">True
</property>
272 <property name=
"destroy_with_parent">False
</property>
273 <property name=
"decorated">True
</property>
274 <property name=
"skip_taskbar_hint">False
</property>
275 <property name=
"skip_pager_hint">False
</property>
276 <property name=
"type_hint">GDK_WINDOW_TYPE_HINT_NORMAL
</property>
277 <property name=
"gravity">GDK_GRAVITY_NORTH_WEST
</property>
278 <property name=
"focus_on_map">True
</property>
279 <property name=
"urgency_hint">False
</property>
280 <signal name=
"key_press_event" handler=
"keypress_event_handler"/>
281 <signal name=
"delete_event" handler=
"delete_event_handler"/>
282 <signal name=
"destroy_event" handler=
"hide_event_handler"/>
285 <widget class=
"GtkDrawingArea" id=
"drawingarea2">
286 <property name=
"visible">True
</property>
287 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>