Update Glulxercise unit tests
[projects/chimara/chimara.git] / player / chimara.ui
1 <?xml version="1.0" encoding="UTF-8"?>
2 <interface>
3   <requires lib="gtk+" version="2.16"/>
4   <!-- interface-naming-policy toplevel-contextual -->
5   <object class="GtkActionGroup" id="actiongroup">
6     <child>
7       <object class="GtkAction" id="game">
8         <property name="label">_Game</property>
9         <property name="short_label" translatable="yes">_Game</property>
10       </object>
11     </child>
12     <child>
13       <object class="GtkAction" id="open">
14         <property name="label">_Open...</property>
15         <property name="short_label">_Open</property>
16         <property name="tooltip">Quit the current game and load a new one</property>
17         <property name="stock_id">gtk-media-play</property>
18         <signal name="activate" handler="on_open_activate" swapped="no"/>
19       </object>
20       <accelerator key="o" modifiers="GDK_CONTROL_MASK"/>
21     </child>
22     <child>
23       <object class="GtkAction" id="restore">
24         <property name="label">_Restore...</property>
25         <property name="short_label">_Restore</property>
26         <property name="tooltip">Restore a previously saved game</property>
27         <property name="stock_id">gtk-open</property>
28         <signal name="activate" handler="on_restore_activate" swapped="no"/>
29       </object>
30       <accelerator key="r" modifiers="GDK_CONTROL_MASK"/>
31     </child>
32     <child>
33       <object class="GtkAction" id="save">
34         <property name="label">_Save</property>
35         <property name="short_label" translatable="yes">_Save</property>
36         <property name="tooltip">Save the game</property>
37         <property name="stock_id">gtk-save</property>
38         <signal name="activate" handler="on_save_activate" swapped="no"/>
39       </object>
40     </child>
41     <child>
42       <object class="GtkAction" id="quit_chimara">
43         <property name="label">_Quit Chimara</property>
44         <property name="short_label" translatable="yes">_Quit Chimara</property>
45         <property name="tooltip">Leave the program</property>
46         <property name="stock_id">gtk-quit</property>
47         <signal name="activate" handler="on_quit_chimara_activate" swapped="no"/>
48       </object>
49     </child>
50     <child>
51       <object class="GtkAction" id="command">
52         <property name="label">_Command</property>
53         <property name="short_label" translatable="yes">_Command</property>
54       </object>
55     </child>
56     <child>
57       <object class="GtkAction" id="edit">
58         <property name="label">_Edit</property>
59         <property name="short_label" translatable="yes">_Edit</property>
60       </object>
61     </child>
62     <child>
63       <object class="GtkAction" id="stop">
64         <property name="label">_Stop Game</property>
65         <property name="short_label">_Stop</property>
66         <property name="tooltip">Immediately stop the running game</property>
67         <property name="stock_id">gtk-stop</property>
68         <signal name="activate" handler="on_stop_activate" swapped="no"/>
69       </object>
70     </child>
71     <child>
72       <object class="GtkRecentAction" id="recent">
73         <property name="label">Open _Recent</property>
74         <property name="short_label" translatable="yes">Open _Recent</property>
75         <property name="limit">10</property>
76         <property name="sort_type">mru</property>
77         <signal name="item-activated" handler="on_recent_item_activated" swapped="no"/>
78       </object>
79     </child>
80     <child>
81       <object class="GtkAction" id="undo">
82         <property name="label">_Undo</property>
83         <property name="short_label" translatable="yes">_Undo</property>
84         <property name="tooltip">Attempt to undo the last move (the game may not allow this)</property>
85         <property name="stock_id">gtk-undo</property>
86         <signal name="activate" handler="on_undo_activate" swapped="no"/>
87       </object>
88       <accelerator key="z" modifiers="GDK_CONTROL_MASK"/>
89     </child>
90     <child>
91       <object class="GtkAction" id="restart">
92         <property name="label">Res_tart</property>
93         <property name="short_label" translatable="yes">Res_tart</property>
94         <property name="tooltip">Tell the game to restart</property>
95         <property name="stock_id">gtk-media-rewind</property>
96         <signal name="activate" handler="on_restart_activate" swapped="no"/>
97       </object>
98     </child>
99     <child>
100       <object class="GtkAction" id="quit">
101         <property name="label">_Quit</property>
102         <property name="short_label" translatable="yes">_Quit</property>
103         <property name="tooltip">Try to quit the game</property>
104         <property name="stock_id">gtk-media-stop</property>
105         <signal name="activate" handler="on_quit_activate" swapped="no"/>
106       </object>
107     </child>
108     <child>
109       <object class="GtkAction" id="copy">
110         <property name="label">_Copy</property>
111         <property name="short_label" translatable="yes">_Copy</property>
112         <property name="tooltip">Copy the selection</property>
113         <property name="stock_id">gtk-copy</property>
114         <signal name="activate" handler="on_copy_activate" swapped="no"/>
115       </object>
116     </child>
117     <child>
118       <object class="GtkAction" id="paste">
119         <property name="label">_Paste</property>
120         <property name="short_label" translatable="yes">_Paste</property>
121         <property name="tooltip">Paste the clipboard</property>
122         <property name="stock_id">gtk-paste</property>
123         <signal name="activate" handler="on_paste_activate" swapped="no"/>
124       </object>
125     </child>
126     <child>
127       <object class="GtkAction" id="preferences">
128         <property name="label">P_references</property>
129         <property name="short_label" translatable="yes">P_references</property>
130         <property name="tooltip">Configure the application</property>
131         <property name="stock_id">gtk-preferences</property>
132         <signal name="activate" handler="on_preferences_activate" swapped="no"/>
133       </object>
134     </child>
135     <child>
136       <object class="GtkAction" id="help">
137         <property name="label">_Help</property>
138         <property name="short_label" translatable="yes">_Help</property>
139       </object>
140     </child>
141     <child>
142       <object class="GtkAction" id="about">
143         <property name="label">_About...</property>
144         <property name="short_label">_About</property>
145         <property name="tooltip">About this application</property>
146         <property name="stock_id">gtk-about</property>
147         <signal name="activate" handler="on_about_activate" swapped="no"/>
148       </object>
149     </child>
150     <child>
151       <object class="GtkAction" id="view">
152         <property name="label" translatable="yes">_View</property>
153       </object>
154     </child>
155     <child>
156       <object class="GtkToggleAction" id="toolbar">
157         <property name="label" translatable="yes">_Toolbar</property>
158         <property name="tooltip" translatable="yes">Show a toolbar at the top of the window</property>
159         <signal name="toggled" handler="on_toolbar_toggled" swapped="no"/>
160       </object>
161     </child>
162   </object>
163   <object class="GtkAboutDialog" id="aboutwindow">
164     <property name="can_focus">False</property>
165     <property name="border_width">5</property>
166     <property name="title" translatable="yes">About Chimara</property>
167     <property name="window_position">center</property>
168     <property name="type_hint">dialog</property>
169     <property name="program_name">Chimara</property>
170     <property name="copyright" translatable="yes">© 2008–2009 Marijn van Vliet and Philip Chimento</property>
171     <property name="comments" translatable="yes">Interactive Fiction Player</property>
172     <property name="license" translatable="yes">Copyright (C) 2008, Philip Chimento and Marijn van Vliet.
173 All rights reserved.
174
175 Chimara is free software copyrighted by Philip Chimento and Marijn van Vliet.
176
177 Redistribution and use in source and binary forms, with or without modification,
178 are permitted provided that the following conditions are met:
179
180 1. Redistributions of source code must retain the above copyright notice, this
181    list of conditions and the following disclaimer.
182 2. Redistributions in binary form must reproduce the above copyright notice,
183    this list of conditions and the following disclaimer in the documentation 
184    and/or other materials provided with the distribution.
185 3. Neither of the names Philip Chimento or Marijn van Vliet, nor the name of any 
186    other contributor may be used to endorse or promote products derived from 
187    this software without specific prior written permission.
188
189 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS IS'' 
190 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 
191 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
192 DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
193 ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 
194 (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 
195 LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON 
196 ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 
197 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS 
198 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
199 </property>
200     <property name="authors">Marijn van Vliet
201 Philip Chimento</property>
202     <signal name="response" handler="gtk_widget_hide" swapped="no"/>
203     <signal name="delete-event" handler="gtk_widget_hide_on_delete" swapped="no"/>
204     <child internal-child="vbox">
205       <object class="GtkVBox" id="dialog-vbox1">
206         <property name="visible">True</property>
207         <property name="can_focus">False</property>
208         <property name="spacing">2</property>
209         <child internal-child="action_area">
210           <object class="GtkHButtonBox" id="dialog-action_area1">
211             <property name="visible">True</property>
212             <property name="can_focus">False</property>
213             <property name="layout_style">end</property>
214           </object>
215           <packing>
216             <property name="expand">False</property>
217             <property name="fill">True</property>
218             <property name="pack_type">end</property>
219             <property name="position">0</property>
220           </packing>
221         </child>
222         <child>
223           <placeholder/>
224         </child>
225       </object>
226     </child>
227   </object>
228   <object class="GtkListStore" id="available_interpreters">
229     <columns>
230       <!-- column-name Interpreter -->
231       <column type="gchararray"/>
232     </columns>
233   </object>
234   <object class="GtkWindow" id="chimara">
235     <property name="can_focus">False</property>
236     <property name="title" translatable="yes">Chimara</property>
237     <property name="default_width">600</property>
238     <property name="default_height">800</property>
239     <signal name="delete-event" handler="on_window_delete_event" swapped="no"/>
240     <child>
241       <object class="GtkVBox" id="vbox">
242         <property name="visible">True</property>
243         <property name="can_focus">False</property>
244         <child>
245           <placeholder/>
246         </child>
247       </object>
248     </child>
249   </object>
250   <object class="GtkListStore" id="interpreters">
251     <columns>
252       <!-- column-name Format -->
253       <column type="gchararray"/>
254       <!-- column-name Interpreter -->
255       <column type="gchararray"/>
256     </columns>
257   </object>
258   <object class="GtkDialog" id="prefswindow">
259     <property name="can_focus">False</property>
260     <property name="border_width">5</property>
261     <property name="title" translatable="yes">Chimara Preferences</property>
262     <property name="window_position">center</property>
263     <property name="type_hint">dialog</property>
264     <signal name="response" handler="gtk_widget_hide" swapped="no"/>
265     <signal name="delete-event" handler="gtk_widget_hide_on_delete" swapped="no"/>
266     <child internal-child="vbox">
267       <object class="GtkVBox" id="dialog-vbox2">
268         <property name="visible">True</property>
269         <property name="can_focus">False</property>
270         <property name="spacing">9</property>
271         <child internal-child="action_area">
272           <object class="GtkHButtonBox" id="dialog-action_area2">
273             <property name="visible">True</property>
274             <property name="can_focus">False</property>
275             <property name="layout_style">end</property>
276             <child>
277               <object class="GtkButton" id="button-close">
278                 <property name="label">gtk-close</property>
279                 <property name="visible">True</property>
280                 <property name="can_focus">True</property>
281                 <property name="receives_default">True</property>
282                 <property name="use_action_appearance">False</property>
283                 <property name="use_stock">True</property>
284                 <signal name="clicked" handler="gtk_widget_hide" object="prefswindow" swapped="yes"/>
285               </object>
286               <packing>
287                 <property name="expand">False</property>
288                 <property name="fill">False</property>
289                 <property name="position">0</property>
290               </packing>
291             </child>
292           </object>
293           <packing>
294             <property name="expand">False</property>
295             <property name="fill">True</property>
296             <property name="pack_type">end</property>
297             <property name="position">0</property>
298           </packing>
299         </child>
300         <child>
301           <object class="GtkNotebook" id="notebook1">
302             <property name="visible">True</property>
303             <property name="can_focus">True</property>
304             <child>
305               <object class="GtkVBox" id="vbox5">
306                 <property name="visible">True</property>
307                 <property name="can_focus">False</property>
308                 <property name="border_width">6</property>
309                 <property name="spacing">6</property>
310                 <child>
311                   <object class="GtkFrame" id="frame2">
312                     <property name="visible">True</property>
313                     <property name="can_focus">False</property>
314                     <property name="label_xalign">0</property>
315                     <property name="shadow_type">none</property>
316                     <child>
317                       <object class="GtkAlignment" id="alignment2">
318                         <property name="visible">True</property>
319                         <property name="can_focus">False</property>
320                         <property name="left_padding">12</property>
321                         <child>
322                           <object class="GtkCheckButton" id="flep">
323                             <property name="label" translatable="yes">Turn on _flepping</property>
324                             <property name="visible">True</property>
325                             <property name="can_focus">True</property>
326                             <property name="receives_default">False</property>
327                             <property name="tooltip_text" translatable="yes">Whether to flep or not when gronking a bloop.</property>
328                             <property name="use_action_appearance">False</property>
329                             <property name="use_underline">True</property>
330                             <property name="draw_indicator">True</property>
331                           </object>
332                         </child>
333                       </object>
334                     </child>
335                     <child type="label">
336                       <object class="GtkLabel" id="label12">
337                         <property name="visible">True</property>
338                         <property name="can_focus">False</property>
339                         <property name="label" translatable="yes">&lt;b&gt;General settings&lt;/b&gt;</property>
340                         <property name="use_markup">True</property>
341                       </object>
342                     </child>
343                   </object>
344                   <packing>
345                     <property name="expand">False</property>
346                     <property name="fill">False</property>
347                     <property name="position">0</property>
348                   </packing>
349                 </child>
350                 <child>
351                   <placeholder/>
352                 </child>
353                 <child>
354                   <placeholder/>
355                 </child>
356               </object>
357             </child>
358             <child type="tab">
359               <object class="GtkLabel" id="label1">
360                 <property name="visible">True</property>
361                 <property name="can_focus">False</property>
362                 <property name="label" translatable="yes">Environment</property>
363               </object>
364               <packing>
365                 <property name="tab_fill">False</property>
366               </packing>
367             </child>
368             <child>
369               <object class="GtkVBox" id="vbox1">
370                 <property name="visible">True</property>
371                 <property name="can_focus">False</property>
372                 <property name="border_width">6</property>
373                 <property name="spacing">6</property>
374                 <child>
375                   <object class="GtkTable" id="table1">
376                     <property name="visible">True</property>
377                     <property name="can_focus">False</property>
378                     <property name="n_columns">2</property>
379                     <child>
380                       <object class="GtkLabel" id="label5">
381                         <property name="visible">True</property>
382                         <property name="can_focus">False</property>
383                         <property name="xalign">1</property>
384                         <property name="xpad">5</property>
385                         <property name="label" translatable="yes">Load layout from this CSS file:</property>
386                       </object>
387                       <packing>
388                         <property name="x_options">GTK_FILL</property>
389                       </packing>
390                     </child>
391                     <child>
392                       <object class="GtkFileChooserButton" id="css-filechooser">
393                         <property name="width_request">250</property>
394                         <property name="visible">True</property>
395                         <property name="can_focus">False</property>
396                         <property name="title" translatable="yes">Select A CSS File</property>
397                         <signal name="file-set" handler="on_css_filechooser_file_set" swapped="no"/>
398                       </object>
399                       <packing>
400                         <property name="left_attach">1</property>
401                         <property name="right_attach">2</property>
402                       </packing>
403                     </child>
404                   </object>
405                   <packing>
406                     <property name="expand">False</property>
407                     <property name="fill">True</property>
408                     <property name="position">0</property>
409                   </packing>
410                 </child>
411                 <child>
412                   <object class="GtkHSeparator" id="hseparator1">
413                     <property name="visible">True</property>
414                     <property name="can_focus">False</property>
415                   </object>
416                   <packing>
417                     <property name="expand">False</property>
418                     <property name="fill">True</property>
419                     <property name="padding">5</property>
420                     <property name="position">1</property>
421                   </packing>
422                 </child>
423                 <child>
424                   <object class="GtkVBox" id="vbox3">
425                     <property name="visible">True</property>
426                     <property name="can_focus">False</property>
427                     <child>
428                       <object class="GtkLabel" id="label9">
429                         <property name="visible">True</property>
430                         <property name="can_focus">False</property>
431                         <property name="xalign">0</property>
432                         <property name="xpad">5</property>
433                         <property name="label" translatable="yes">Select a style to edit:</property>
434                       </object>
435                       <packing>
436                         <property name="expand">False</property>
437                         <property name="fill">True</property>
438                         <property name="position">0</property>
439                       </packing>
440                     </child>
441                     <child>
442                       <object class="GtkHBox" id="hbox1">
443                         <property name="visible">True</property>
444                         <property name="can_focus">False</property>
445                         <property name="spacing">12</property>
446                         <child>
447                           <object class="GtkScrolledWindow" id="scrolledwindow1">
448                             <property name="width_request">163</property>
449                             <property name="visible">True</property>
450                             <property name="can_focus">True</property>
451                             <property name="hscrollbar_policy">never</property>
452                             <property name="vscrollbar_policy">automatic</property>
453                             <child>
454                               <object class="GtkTreeView" id="style-treeview">
455                                 <property name="visible">True</property>
456                                 <property name="sensitive">False</property>
457                                 <property name="can_focus">True</property>
458                                 <property name="model">style-list</property>
459                                 <property name="headers_visible">False</property>
460                                 <property name="headers_clickable">False</property>
461                                 <child>
462                                   <object class="GtkTreeViewColumn" id="style-name-column">
463                                     <property name="title" translatable="yes">Style Name</property>
464                                     <property name="expand">True</property>
465                                     <child>
466                                       <object class="GtkCellRendererText" id="style-name-renderer"/>
467                                       <attributes>
468                                         <attribute name="text">0</attribute>
469                                       </attributes>
470                                     </child>
471                                   </object>
472                                 </child>
473                               </object>
474                             </child>
475                           </object>
476                           <packing>
477                             <property name="expand">True</property>
478                             <property name="fill">True</property>
479                             <property name="position">0</property>
480                           </packing>
481                         </child>
482                         <child>
483                           <object class="GtkVBox" id="vbox4">
484                             <property name="visible">True</property>
485                             <property name="can_focus">False</property>
486                             <property name="spacing">6</property>
487                             <child>
488                               <object class="GtkTable" id="table2">
489                                 <property name="visible">True</property>
490                                 <property name="can_focus">False</property>
491                                 <property name="n_rows">3</property>
492                                 <property name="n_columns">2</property>
493                                 <property name="column_spacing">6</property>
494                                 <property name="row_spacing">6</property>
495                                 <child>
496                                   <object class="GtkLabel" id="label6">
497                                     <property name="visible">True</property>
498                                     <property name="can_focus">False</property>
499                                     <property name="xalign">0</property>
500                                     <property name="label" translatable="yes">Font:</property>
501                                   </object>
502                                   <packing>
503                                     <property name="x_options">GTK_FILL</property>
504                                   </packing>
505                                 </child>
506                                 <child>
507                                   <object class="GtkFontButton" id="fontbutton1">
508                                     <property name="can_focus">True</property>
509                                     <property name="receives_default">True</property>
510                                     <property name="use_action_appearance">False</property>
511                                     <signal name="font-set" handler="on_font_set" swapped="no"/>
512                                   </object>
513                                   <packing>
514                                     <property name="left_attach">1</property>
515                                     <property name="right_attach">2</property>
516                                     <property name="x_options">GTK_FILL</property>
517                                   </packing>
518                                 </child>
519                                 <child>
520                                   <object class="GtkLabel" id="label7">
521                                     <property name="visible">True</property>
522                                     <property name="can_focus">False</property>
523                                     <property name="xalign">0</property>
524                                     <property name="label" translatable="yes">Foreground color:</property>
525                                   </object>
526                                   <packing>
527                                     <property name="top_attach">1</property>
528                                     <property name="bottom_attach">2</property>
529                                     <property name="x_options">GTK_FILL</property>
530                                   </packing>
531                                 </child>
532                                 <child>
533                                   <object class="GtkColorButton" id="colorbutton1">
534                                     <property name="width_request">40</property>
535                                     <property name="height_request">30</property>
536                                     <property name="visible">True</property>
537                                     <property name="sensitive">False</property>
538                                     <property name="can_focus">True</property>
539                                     <property name="receives_default">True</property>
540                                     <property name="use_action_appearance">False</property>
541                                     <property name="color">#000000000000</property>
542                                     <signal name="color-set" handler="on_foreground_color_set" swapped="no"/>
543                                   </object>
544                                   <packing>
545                                     <property name="left_attach">1</property>
546                                     <property name="right_attach">2</property>
547                                     <property name="top_attach">1</property>
548                                     <property name="bottom_attach">2</property>
549                                     <property name="x_options">GTK_FILL</property>
550                                   </packing>
551                                 </child>
552                                 <child>
553                                   <object class="GtkLabel" id="label8">
554                                     <property name="visible">True</property>
555                                     <property name="can_focus">False</property>
556                                     <property name="xalign">0</property>
557                                     <property name="label" translatable="yes">Background color:</property>
558                                   </object>
559                                   <packing>
560                                     <property name="top_attach">2</property>
561                                     <property name="bottom_attach">3</property>
562                                     <property name="x_options">GTK_FILL</property>
563                                   </packing>
564                                 </child>
565                                 <child>
566                                   <object class="GtkColorButton" id="colorbutton2">
567                                     <property name="width_request">40</property>
568                                     <property name="height_request">30</property>
569                                     <property name="visible">True</property>
570                                     <property name="sensitive">False</property>
571                                     <property name="can_focus">True</property>
572                                     <property name="receives_default">True</property>
573                                     <property name="use_action_appearance">False</property>
574                                     <property name="color">#ffffffffffff</property>
575                                     <signal name="color-set" handler="on_background_color_set" swapped="no"/>
576                                   </object>
577                                   <packing>
578                                     <property name="left_attach">1</property>
579                                     <property name="right_attach">2</property>
580                                     <property name="top_attach">2</property>
581                                     <property name="bottom_attach">3</property>
582                                     <property name="x_options">GTK_FILL</property>
583                                   </packing>
584                                 </child>
585                               </object>
586                               <packing>
587                                 <property name="expand">True</property>
588                                 <property name="fill">True</property>
589                                 <property name="position">0</property>
590                               </packing>
591                             </child>
592                             <child>
593                               <object class="GtkHButtonBox" id="hbuttonbox1">
594                                 <property name="visible">True</property>
595                                 <property name="can_focus">False</property>
596                                 <property name="spacing">6</property>
597                                 <property name="layout_style">start</property>
598                                 <child>
599                                   <object class="GtkRadioButton" id="left">
600                                     <property name="label">gtk-justify-left</property>
601                                     <property name="visible">True</property>
602                                     <property name="sensitive">False</property>
603                                     <property name="can_focus">True</property>
604                                     <property name="receives_default">False</property>
605                                     <property name="use_action_appearance">False</property>
606                                     <property name="use_stock">True</property>
607                                     <property name="image_position">top</property>
608                                     <property name="active">True</property>
609                                     <property name="draw_indicator">False</property>
610                                     <signal name="toggled" handler="on_toggle_left" swapped="no"/>
611                                   </object>
612                                   <packing>
613                                     <property name="expand">False</property>
614                                     <property name="fill">False</property>
615                                     <property name="position">0</property>
616                                   </packing>
617                                 </child>
618                                 <child>
619                                   <object class="GtkRadioButton" id="center">
620                                     <property name="label">gtk-justify-center</property>
621                                     <property name="visible">True</property>
622                                     <property name="sensitive">False</property>
623                                     <property name="can_focus">True</property>
624                                     <property name="receives_default">False</property>
625                                     <property name="use_action_appearance">False</property>
626                                     <property name="use_stock">True</property>
627                                     <property name="image_position">top</property>
628                                     <property name="draw_indicator">False</property>
629                                     <property name="group">left</property>
630                                     <signal name="toggled" handler="on_toggle_center" swapped="no"/>
631                                   </object>
632                                   <packing>
633                                     <property name="expand">False</property>
634                                     <property name="fill">False</property>
635                                     <property name="position">1</property>
636                                   </packing>
637                                 </child>
638                                 <child>
639                                   <object class="GtkRadioButton" id="right">
640                                     <property name="label">gtk-justify-right</property>
641                                     <property name="visible">True</property>
642                                     <property name="sensitive">False</property>
643                                     <property name="can_focus">True</property>
644                                     <property name="receives_default">False</property>
645                                     <property name="use_action_appearance">False</property>
646                                     <property name="use_stock">True</property>
647                                     <property name="image_position">top</property>
648                                     <property name="draw_indicator">False</property>
649                                     <property name="group">left</property>
650                                     <signal name="toggled" handler="on_toggle_right" swapped="no"/>
651                                   </object>
652                                   <packing>
653                                     <property name="expand">False</property>
654                                     <property name="fill">False</property>
655                                     <property name="position">2</property>
656                                   </packing>
657                                 </child>
658                                 <child>
659                                   <object class="GtkRadioButton" id="justify">
660                                     <property name="label">gtk-justify-fill</property>
661                                     <property name="visible">True</property>
662                                     <property name="sensitive">False</property>
663                                     <property name="can_focus">True</property>
664                                     <property name="receives_default">False</property>
665                                     <property name="use_action_appearance">False</property>
666                                     <property name="use_stock">True</property>
667                                     <property name="image_position">top</property>
668                                     <property name="draw_indicator">False</property>
669                                     <property name="group">left</property>
670                                     <signal name="toggled" handler="on_toggle_justify" swapped="no"/>
671                                   </object>
672                                   <packing>
673                                     <property name="expand">False</property>
674                                     <property name="fill">True</property>
675                                     <property name="position">3</property>
676                                   </packing>
677                                 </child>
678                               </object>
679                               <packing>
680                                 <property name="expand">True</property>
681                                 <property name="fill">True</property>
682                                 <property name="position">1</property>
683                               </packing>
684                             </child>
685                             <child>
686                               <object class="GtkHButtonBox" id="hbuttonbox2">
687                                 <property name="visible">True</property>
688                                 <property name="can_focus">False</property>
689                                 <property name="spacing">6</property>
690                                 <property name="layout_style">start</property>
691                                 <child>
692                                   <object class="GtkCheckButton" id="checkbutton1">
693                                     <property name="label">gtk-bold</property>
694                                     <property name="visible">True</property>
695                                     <property name="sensitive">False</property>
696                                     <property name="can_focus">True</property>
697                                     <property name="receives_default">False</property>
698                                     <property name="use_action_appearance">False</property>
699                                     <property name="use_stock">True</property>
700                                     <property name="image_position">top</property>
701                                     <property name="draw_indicator">False</property>
702                                     <signal name="toggled" handler="on_toggle_bold" swapped="no"/>
703                                   </object>
704                                   <packing>
705                                     <property name="expand">False</property>
706                                     <property name="fill">False</property>
707                                     <property name="position">0</property>
708                                   </packing>
709                                 </child>
710                                 <child>
711                                   <object class="GtkCheckButton" id="checkbutton2">
712                                     <property name="label">gtk-italic</property>
713                                     <property name="visible">True</property>
714                                     <property name="sensitive">False</property>
715                                     <property name="can_focus">True</property>
716                                     <property name="receives_default">False</property>
717                                     <property name="use_action_appearance">False</property>
718                                     <property name="use_stock">True</property>
719                                     <property name="image_position">top</property>
720                                     <property name="draw_indicator">False</property>
721                                     <signal name="toggled" handler="on_toggle_italic" swapped="no"/>
722                                   </object>
723                                   <packing>
724                                     <property name="expand">False</property>
725                                     <property name="fill">False</property>
726                                     <property name="position">1</property>
727                                   </packing>
728                                 </child>
729                                 <child>
730                                   <object class="GtkCheckButton" id="underline">
731                                     <property name="label">gtk-underline</property>
732                                     <property name="visible">True</property>
733                                     <property name="sensitive">False</property>
734                                     <property name="can_focus">True</property>
735                                     <property name="receives_default">False</property>
736                                     <property name="use_action_appearance">False</property>
737                                     <property name="use_stock">True</property>
738                                     <property name="image_position">top</property>
739                                     <property name="draw_indicator">False</property>
740                                     <signal name="toggled" handler="on_toggle_underline" swapped="no"/>
741                                   </object>
742                                   <packing>
743                                     <property name="expand">False</property>
744                                     <property name="fill">False</property>
745                                     <property name="position">2</property>
746                                   </packing>
747                                 </child>
748                               </object>
749                               <packing>
750                                 <property name="expand">True</property>
751                                 <property name="fill">True</property>
752                                 <property name="position">2</property>
753                               </packing>
754                             </child>
755                           </object>
756                           <packing>
757                             <property name="expand">True</property>
758                             <property name="fill">True</property>
759                             <property name="position">1</property>
760                           </packing>
761                         </child>
762                       </object>
763                       <packing>
764                         <property name="expand">True</property>
765                         <property name="fill">True</property>
766                         <property name="padding">5</property>
767                         <property name="position">1</property>
768                       </packing>
769                     </child>
770                   </object>
771                   <packing>
772                     <property name="expand">True</property>
773                     <property name="fill">True</property>
774                     <property name="padding">5</property>
775                     <property name="position">2</property>
776                   </packing>
777                 </child>
778                 <child>
779                   <object class="GtkLabel" id="label4">
780                     <property name="height_request">30</property>
781                     <property name="visible">True</property>
782                     <property name="can_focus">False</property>
783                     <property name="xalign">0</property>
784                     <property name="yalign">1</property>
785                     <property name="xpad">5</property>
786                     <property name="label" translatable="yes">Example text:</property>
787                   </object>
788                   <packing>
789                     <property name="expand">False</property>
790                     <property name="fill">True</property>
791                     <property name="position">3</property>
792                   </packing>
793                 </child>
794                 <child>
795                   <object class="GtkTextView" id="example-textview">
796                     <property name="height_request">100</property>
797                     <property name="visible">True</property>
798                     <property name="can_focus">True</property>
799                     <property name="editable">False</property>
800                     <property name="wrap_mode">word-char</property>
801                     <property name="left_margin">10</property>
802                     <property name="right_margin">10</property>
803                   </object>
804                   <packing>
805                     <property name="expand">True</property>
806                     <property name="fill">True</property>
807                     <property name="position">4</property>
808                   </packing>
809                 </child>
810               </object>
811               <packing>
812                 <property name="position">1</property>
813               </packing>
814             </child>
815             <child type="tab">
816               <object class="GtkLabel" id="label2">
817                 <property name="visible">True</property>
818                 <property name="can_focus">False</property>
819                 <property name="label" translatable="yes">Layout</property>
820               </object>
821               <packing>
822                 <property name="position">1</property>
823                 <property name="tab_fill">False</property>
824               </packing>
825             </child>
826             <child>
827               <object class="GtkVBox" id="vbox2">
828                 <property name="visible">True</property>
829                 <property name="can_focus">False</property>
830                 <property name="border_width">6</property>
831                 <property name="spacing">6</property>
832                 <child>
833                   <object class="GtkFrame" id="frame1">
834                     <property name="visible">True</property>
835                     <property name="can_focus">False</property>
836                     <property name="label_xalign">0</property>
837                     <property name="shadow_type">none</property>
838                     <child>
839                       <object class="GtkAlignment" id="alignment1">
840                         <property name="visible">True</property>
841                         <property name="can_focus">False</property>
842                         <property name="left_padding">12</property>
843                         <child>
844                           <object class="GtkScrolledWindow" id="scrolledwindow2">
845                             <property name="visible">True</property>
846                             <property name="can_focus">True</property>
847                             <property name="hscrollbar_policy">automatic</property>
848                             <property name="vscrollbar_policy">automatic</property>
849                             <child>
850                               <object class="GtkTreeView" id="interpreters_view">
851                                 <property name="visible">True</property>
852                                 <property name="can_focus">True</property>
853                                 <property name="tooltip_text" translatable="yes">Which interpreter to use by default for each story format</property>
854                                 <property name="model">interpreters</property>
855                                 <property name="headers_clickable">False</property>
856                                 <property name="rules_hint">True</property>
857                                 <child>
858                                   <object class="GtkTreeViewColumn" id="format_column">
859                                     <property name="title">Format</property>
860                                     <child>
861                                       <object class="GtkCellRendererText" id="format_renderer"/>
862                                       <attributes>
863                                         <attribute name="text">0</attribute>
864                                       </attributes>
865                                     </child>
866                                   </object>
867                                 </child>
868                                 <child>
869                                   <object class="GtkTreeViewColumn" id="interpreter_column">
870                                     <property name="title">Interpreter</property>
871                                     <child>
872                                       <object class="GtkCellRendererCombo" id="interpreter_renderer">
873                                         <property name="editable">True</property>
874                                         <property name="has_entry">False</property>
875                                         <property name="model">available_interpreters</property>
876                                         <property name="text_column">0</property>
877                                         <signal name="changed" handler="on_interpreter_cell_changed" swapped="no"/>
878                                       </object>
879                                       <attributes>
880                                         <attribute name="text">1</attribute>
881                                       </attributes>
882                                     </child>
883                                   </object>
884                                 </child>
885                               </object>
886                             </child>
887                           </object>
888                         </child>
889                       </object>
890                     </child>
891                     <child type="label">
892                       <object class="GtkLabel" id="label10">
893                         <property name="visible">True</property>
894                         <property name="can_focus">False</property>
895                         <property name="label" translatable="yes">&lt;b&gt;Preferred interpreters&lt;/b&gt;</property>
896                         <property name="use_markup">True</property>
897                       </object>
898                     </child>
899                   </object>
900                   <packing>
901                     <property name="expand">True</property>
902                     <property name="fill">True</property>
903                     <property name="position">0</property>
904                   </packing>
905                 </child>
906                 <child>
907                   <object class="GtkHBox" id="hbox3">
908                     <property name="visible">True</property>
909                     <property name="can_focus">False</property>
910                     <property name="spacing">6</property>
911                     <child>
912                       <object class="GtkLabel" id="label11">
913                         <property name="visible">True</property>
914                         <property name="can_focus">False</property>
915                         <property name="label" translatable="yes">Look for _resource files in:</property>
916                         <property name="use_underline">True</property>
917                         <property name="mnemonic_widget">blorb_file_chooser</property>
918                       </object>
919                       <packing>
920                         <property name="expand">False</property>
921                         <property name="fill">False</property>
922                         <property name="position">0</property>
923                       </packing>
924                     </child>
925                     <child>
926                       <object class="GtkFileChooserButton" id="blorb_file_chooser">
927                         <property name="visible">True</property>
928                         <property name="can_focus">False</property>
929                         <property name="tooltip_text" translatable="yes">Where to look for Blorb resource files containing graphics and sound; normally, these are part of the story file itself, but they are provided as separate files in some older games.</property>
930                         <property name="action">select-folder</property>
931                         <signal name="file-set" handler="on_resource_file_set" swapped="no"/>
932                       </object>
933                       <packing>
934                         <property name="expand">True</property>
935                         <property name="fill">True</property>
936                         <property name="position">1</property>
937                       </packing>
938                     </child>
939                   </object>
940                   <packing>
941                     <property name="expand">False</property>
942                     <property name="fill">False</property>
943                     <property name="position">1</property>
944                   </packing>
945                 </child>
946               </object>
947               <packing>
948                 <property name="position">2</property>
949               </packing>
950             </child>
951             <child type="tab">
952               <object class="GtkLabel" id="label3">
953                 <property name="visible">True</property>
954                 <property name="can_focus">False</property>
955                 <property name="label" translatable="yes">Interpreters</property>
956               </object>
957               <packing>
958                 <property name="position">2</property>
959                 <property name="tab_fill">False</property>
960               </packing>
961             </child>
962           </object>
963           <packing>
964             <property name="expand">True</property>
965             <property name="fill">True</property>
966             <property name="position">2</property>
967           </packing>
968         </child>
969       </object>
970     </child>
971     <action-widgets>
972       <action-widget response="0">button-close</action-widget>
973     </action-widgets>
974   </object>
975   <object class="GtkTreeStore" id="style-list">
976     <columns>
977       <!-- column-name Text -->
978       <column type="gchararray"/>
979     </columns>
980   </object>
981 </interface>