player/chimara.ui

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