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="GtkActionGroup" id="style-actiongroup">
 164     <child>
 165       <object class="GtkToggleAction" id="align-left">
 166         <property name="label">Align _left</property>
 167         <property name="short_label">Align _left</property>
 168         <property name="tooltip">Align text to the left</property>
 169         <property name="stock_id">gtk-justify-left</property>
 170         <signal name="toggled" handler="on_toggle_left" swapped="no"/>
 171       </object>
 172     </child>
 173     <child>
 174       <object class="GtkToggleAction" id="align-justify">
 175         <property name="label">Align _justify</property>
 176         <property name="short_label">Align _justify</property>
 177         <property name="tooltip">Justify the text</property>
 178         <property name="stock_id">gtk-justify-fill</property>
 179         <signal name="toggled" handler="on_toggle_justify" swapped="no"/>
 180       </object>
 181     </child>
 182     <child>
 183       <object class="GtkToggleAction" id="align-right">
 184         <property name="label">Align _right</property>
 185         <property name="short_label">Align _right</property>
 186         <property name="tooltip">Align text to the right</property>
 187         <property name="stock_id">gtk-justify-right</property>
 188         <signal name="toggled" handler="on_toggle_right" swapped="no"/>
 189       </object>
 190     </child>
 191     <child>
 192       <object class="GtkToggleAction" id="bold">
 193         <property name="label">_Bold</property>
 194         <property name="short_label">_Bold</property>
 195         <property name="tooltip">Make the text bold</property>
 196         <property name="stock_id">gtk-bold</property>
 197         <signal name="toggled" handler="on_toggle_bold" swapped="no"/>
 198       </object>
 199     </child>
 200     <child>
 201       <object class="GtkToggleAction" id="italic">
 202         <property name="label">_Italic</property>
 203         <property name="short_label">_Italic</property>
 204         <property name="tooltip">Print the text in italics</property>
 205         <property name="stock_id">gtk-italic</property>
 206         <signal name="toggled" handler="on_toggle_italic" swapped="no"/>
 207       </object>
 208     </child>
 209     <child>
 210       <object class="GtkToggleAction" id="underline">
 211         <property name="label">_Underline</property>
 212         <property name="short_label">_Underline</property>
 213         <property name="tooltip">Underline the text</property>
 214         <property name="stock_id">gtk-underline</property>
 215         <signal name="toggled" handler="on_toggle_underline" swapped="no"/>
 216       </object>
 217     </child>
 218     <child>
 219       <object class="GtkToggleAction" id="align-center">
 220         <property name="label" translatable="yes">_Center</property>
 221         <property name="short_label" translatable="yes">_Center</property>
 222         <property name="stock_id">gtk-justify-center</property>
 223         <signal name="toggled" handler="on_toggle_center" swapped="no"/>
 224       </object>
 225     </child>
 226   </object>
 227   <object class="GtkAboutDialog" id="aboutwindow">
 228     <property name="can_focus">False</property>
 229     <property name="border_width">5</property>
 230     <property name="title" translatable="yes">About Chimara</property>
 231     <property name="window_position">center</property>
 232     <property name="type_hint">dialog</property>
 233     <property name="program_name">Chimara</property>
 234     <property name="copyright" translatable="yes">© 2008–2009 Marijn van Vliet and Philip Chimento</property>
 235     <property name="comments" translatable="yes">Interactive Fiction Player</property>
 236     <property name="license" translatable="yes">Copyright (C) 2008, Philip Chimento and Marijn van Vliet.
 237 All rights reserved.
 238
 239 Chimara is free software copyrighted by Philip Chimento and Marijn van Vliet.
 240
 241 Redistribution and use in source and binary forms, with or without modification,
 242 are permitted provided that the following conditions are met:
 243
 244 1. Redistributions of source code must retain the above copyright notice, this
 245    list of conditions and the following disclaimer.
 246 2. Redistributions in binary form must reproduce the above copyright notice,
 247    this list of conditions and the following disclaimer in the documentation
 248    and/or other materials provided with the distribution.
 249 3. Neither of the names Philip Chimento or Marijn van Vliet, nor the name of any
 250    other contributor may be used to endorse or promote products derived from
 251    this software without specific prior written permission.
 252
 253 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS IS''
 254 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 255 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 256 DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
 257 ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 258 (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 259 LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
 260 ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 261 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 262 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 263 </property>
 264     <property name="authors">Marijn van Vliet
 265 Philip Chimento</property>
 266     <signal name="response" handler="gtk_widget_hide" swapped="no"/>
 267     <signal name="delete-event" handler="gtk_widget_hide_on_delete" swapped="no"/>
 268     <child internal-child="vbox">
 269       <object class="GtkVBox" id="dialog-vbox1">
 270         <property name="visible">True</property>
 271         <property name="can_focus">False</property>
 272         <property name="spacing">2</property>
 273         <child internal-child="action_area">
 274           <object class="GtkHButtonBox" id="dialog-action_area1">
 275             <property name="visible">True</property>
 276             <property name="can_focus">False</property>
 277             <property name="layout_style">end</property>
 278           </object>
 279           <packing>
 280             <property name="expand">False</property>
 281             <property name="fill">True</property>
 282             <property name="pack_type">end</property>
 283             <property name="position">0</property>
 284           </packing>
 285         </child>
 286         <child>
 287           <placeholder/>
 288         </child>
 289       </object>
 290     </child>
 291   </object>
 292   <object class="GtkWindow" id="chimara">
 293     <property name="can_focus">False</property>
 294     <property name="title" translatable="yes">Chimara</property>
 295     <property name="default_width">600</property>
 296     <property name="default_height">800</property>
 297     <signal name="delete-event" handler="on_window_delete_event" swapped="no"/>
 298     <child>
 299       <object class="GtkVBox" id="vbox">
 300         <property name="visible">True</property>
 301         <property name="can_focus">False</property>
 302         <child>
 303           <placeholder/>
 304         </child>
 305       </object>
 306     </child>
 307   </object>
 308   <object class="GtkListStore" id="interpreters">
 309     <columns>
 310       <!-- column-name Format -->
 311       <column type="guint"/>
 312       <!-- column-name Interpreter -->
 313       <column type="guint"/>
 314     </columns>
 315   </object>
 316   <object class="GtkDialog" id="prefswindow">
 317     <property name="can_focus">False</property>
 318     <property name="border_width">5</property>
 319     <property name="title" translatable="yes">Chimara Preferences</property>
 320     <property name="window_position">center</property>
 321     <property name="type_hint">dialog</property>
 322     <signal name="response" handler="gtk_widget_hide" swapped="no"/>
 323     <signal name="delete-event" handler="gtk_widget_hide_on_delete" swapped="no"/>
 324     <child internal-child="vbox">
 325       <object class="GtkVBox" id="dialog-vbox2">
 326         <property name="visible">True</property>
 327         <property name="can_focus">False</property>
 328         <property name="spacing">9</property>
 329         <child internal-child="action_area">
 330           <object class="GtkHButtonBox" id="dialog-action_area2">
 331             <property name="visible">True</property>
 332             <property name="can_focus">False</property>
 333             <property name="layout_style">end</property>
 334             <child>
 335               <object class="GtkButton" id="button-close">
 336                 <property name="label">gtk-close</property>
 337                 <property name="visible">True</property>
 338                 <property name="can_focus">True</property>
 339                 <property name="receives_default">True</property>
 340                 <property name="use_action_appearance">False</property>
 341                 <property name="use_stock">True</property>
 342                 <signal name="clicked" handler="gtk_widget_hide" object="prefswindow" swapped="yes"/>
 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           </object>
 351           <packing>
 352             <property name="expand">False</property>
 353             <property name="fill">True</property>
 354             <property name="pack_type">end</property>
 355             <property name="position">0</property>
 356           </packing>
 357         </child>
 358         <child>
 359           <object class="GtkNotebook" id="notebook1">
 360             <property name="visible">True</property>
 361             <property name="can_focus">True</property>
 362             <child>
 363               <object class="GtkVBox" id="vbox5">
 364                 <property name="visible">True</property>
 365                 <property name="can_focus">False</property>
 366                 <property name="border_width">6</property>
 367                 <property name="spacing">6</property>
 368                 <child>
 369                   <object class="GtkFrame" id="frame2">
 370                     <property name="visible">True</property>
 371                     <property name="can_focus">False</property>
 372                     <property name="label_xalign">0</property>
 373                     <property name="shadow_type">none</property>
 374                     <child>
 375                       <object class="GtkAlignment" id="alignment2">
 376                         <property name="visible">True</property>
 377                         <property name="can_focus">False</property>
 378                         <property name="left_padding">12</property>
 379                         <child>
 380                           <object class="GtkCheckButton" id="flep">
 381                             <property name="label" translatable="yes">Turn on _flepping</property>
 382                             <property name="visible">True</property>
 383                             <property name="can_focus">True</property>
 384                             <property name="receives_default">False</property>
 385                             <property name="tooltip_text" translatable="yes">Whether to flep or not when gronking a bloop.</property>
 386                             <property name="use_action_appearance">False</property>
 387                             <property name="use_underline">True</property>
 388                             <property name="draw_indicator">True</property>
 389                           </object>
 390                         </child>
 391                       </object>
 392                     </child>
 393                     <child type="label">
 394                       <object class="GtkLabel" id="label12">
 395                         <property name="visible">True</property>
 396                         <property name="can_focus">False</property>
 397                         <property name="label" translatable="yes">&lt;b&gt;General settings&lt;/b&gt;</property>
 398                         <property name="use_markup">True</property>
 399                       </object>
 400                     </child>
 401                   </object>
 402                   <packing>
 403                     <property name="expand">False</property>
 404                     <property name="fill">False</property>
 405                     <property name="position">0</property>
 406                   </packing>
 407                 </child>
 408                 <child>
 409                   <placeholder/>
 410                 </child>
 411                 <child>
 412                   <placeholder/>
 413                 </child>
 414               </object>
 415             </child>
 416             <child type="tab">
 417               <object class="GtkLabel" id="label1">
 418                 <property name="visible">True</property>
 419                 <property name="can_focus">False</property>
 420                 <property name="label" translatable="yes">Environment</property>
 421               </object>
 422               <packing>
 423                 <property name="tab_fill">False</property>
 424               </packing>
 425             </child>
 426             <child>
 427               <object class="GtkVBox" id="vbox1">
 428                 <property name="visible">True</property>
 429                 <property name="can_focus">False</property>
 430                 <property name="border_width">6</property>
 431                 <property name="spacing">6</property>
 432                 <child>
 433                   <object class="GtkTable" id="table1">
 434                     <property name="visible">True</property>
 435                     <property name="can_focus">False</property>
 436                     <property name="n_columns">2</property>
 437                     <child>
 438                       <object class="GtkLabel" id="label5">
 439                         <property name="visible">True</property>
 440                         <property name="can_focus">False</property>
 441                         <property name="xalign">1</property>
 442                         <property name="xpad">5</property>
 443                         <property name="label" translatable="yes">Load layout from this CSS file:</property>
 444                       </object>
 445                       <packing>
 446                         <property name="x_options">GTK_FILL</property>
 447                       </packing>
 448                     </child>
 449                     <child>
 450                       <object class="GtkFileChooserButton" id="css-filechooser">
 451                         <property name="width_request">250</property>
 452                         <property name="visible">True</property>
 453                         <property name="can_focus">False</property>
 454                         <property name="title" translatable="yes">Select A CSS File</property>
 455                       </object>
 456                       <packing>
 457                         <property name="left_attach">1</property>
 458                         <property name="right_attach">2</property>
 459                       </packing>
 460                     </child>
 461                   </object>
 462                   <packing>
 463                     <property name="expand">False</property>
 464                     <property name="fill">True</property>
 465                     <property name="position">0</property>
 466                   </packing>
 467                 </child>
 468                 <child>
 469                   <object class="GtkHSeparator" id="hseparator1">
 470                     <property name="visible">True</property>
 471                     <property name="can_focus">False</property>
 472                   </object>
 473                   <packing>
 474                     <property name="expand">False</property>
 475                     <property name="fill">True</property>
 476                     <property name="padding">5</property>
 477                     <property name="position">1</property>
 478                   </packing>
 479                 </child>
 480                 <child>
 481                   <object class="GtkVBox" id="vbox3">
 482                     <property name="visible">True</property>
 483                     <property name="can_focus">False</property>
 484                     <child>
 485                       <object class="GtkLabel" id="label9">
 486                         <property name="visible">True</property>
 487                         <property name="can_focus">False</property>
 488                         <property name="xalign">0</property>
 489                         <property name="xpad">5</property>
 490                         <property name="label" translatable="yes">Select a style to edit:</property>
 491                       </object>
 492                       <packing>
 493                         <property name="expand">False</property>
 494                         <property name="fill">True</property>
 495                         <property name="position">0</property>
 496                       </packing>
 497                     </child>
 498                     <child>
 499                       <object class="GtkHBox" id="hbox1">
 500                         <property name="visible">True</property>
 501                         <property name="can_focus">False</property>
 502                         <child>
 503                           <object class="GtkScrolledWindow" id="scrolledwindow1">
 504                             <property name="width_request">163</property>
 505                             <property name="visible">True</property>
 506                             <property name="can_focus">True</property>
 507                             <property name="hscrollbar_policy">never</property>
 508                             <property name="vscrollbar_policy">automatic</property>
 509                             <child>
 510                               <object class="GtkTreeView" id="style-treeview">
 511                                 <property name="visible">True</property>
 512                                 <property name="can_focus">True</property>
 513                                 <property name="headers_visible">False</property>
 514                                 <property name="headers_clickable">False</property>
 515                               </object>
 516                             </child>
 517                           </object>
 518                           <packing>
 519                             <property name="expand">True</property>
 520                             <property name="fill">True</property>
 521                             <property name="position">0</property>
 522                           </packing>
 523                         </child>
 524                         <child>
 525                           <object class="GtkVBox" id="vbox4">
 526                             <property name="visible">True</property>
 527                             <property name="can_focus">False</property>
 528                             <child>
 529                               <object class="GtkHBox" id="hbox2">
 530                                 <property name="visible">True</property>
 531                                 <property name="can_focus">False</property>
 532                                 <child>
 533                                   <object class="GtkLabel" id="label6">
 534                                     <property name="visible">True</property>
 535                                     <property name="can_focus">False</property>
 536                                     <property name="label" translatable="yes">Font:</property>
 537                                   </object>
 538                                   <packing>
 539                                     <property name="expand">False</property>
 540                                     <property name="fill">True</property>
 541                                     <property name="padding">5</property>
 542                                     <property name="position">0</property>
 543                                   </packing>
 544                                 </child>
 545                                 <child>
 546                                   <object class="GtkFontButton" id="fontbutton1">
 547                                     <property name="visible">True</property>
 548                                     <property name="can_focus">True</property>
 549                                     <property name="receives_default">True</property>
 550                                     <property name="use_action_appearance">False</property>
 551                                     <signal name="font-set" handler="on_font_set" swapped="no"/>
 552                                   </object>
 553                                   <packing>
 554                                     <property name="expand">True</property>
 555                                     <property name="fill">True</property>
 556                                     <property name="position">1</property>
 557                                   </packing>
 558                                 </child>
 559                               </object>
 560                               <packing>
 561                                 <property name="expand">False</property>
 562                                 <property name="fill">True</property>
 563                                 <property name="position">0</property>
 564                               </packing>
 565                             </child>
 566                             <child>
 567                               <object class="GtkFixed" id="fixed2">
 568                                 <property name="height_request">130</property>
 569                                 <property name="visible">True</property>
 570                                 <property name="can_focus">False</property>
 571                                 <child>
 572                                   <object class="GtkColorButton" id="colorbutton1">
 573                                     <property name="width_request">40</property>
 574                                     <property name="height_request">30</property>
 575                                     <property name="visible">True</property>
 576                                     <property name="can_focus">True</property>
 577                                     <property name="receives_default">True</property>
 578                                     <property name="use_action_appearance">False</property>
 579                                     <property name="color">#000000000000</property>
 580                                     <signal name="color-set" handler="on_foreground_color_set" swapped="no"/>
 581                                   </object>
 582                                   <packing>
 583                                     <property name="x">125</property>
 584                                     <property name="y">10</property>
 585                                   </packing>
 586                                 </child>
 587                                 <child>
 588                                   <object class="GtkLabel" id="label7">
 589                                     <property name="visible">True</property>
 590                                     <property name="can_focus">False</property>
 591                                     <property name="xpad">5</property>
 592                                     <property name="label" translatable="yes">Foreground color:</property>
 593                                   </object>
 594                                   <packing>
 595                                     <property name="x">4</property>
 596                                     <property name="y">17</property>
 597                                   </packing>
 598                                 </child>
 599                                 <child>
 600                                   <object class="GtkLabel" id="label8">
 601                                     <property name="visible">True</property>
 602                                     <property name="can_focus">False</property>
 603                                     <property name="label" translatable="yes">Background color:</property>
 604                                   </object>
 605                                   <packing>
 606                                     <property name="x">6</property>
 607                                     <property name="y">52</property>
 608                                   </packing>
 609                                 </child>
 610                                 <child>
 611                                   <object class="GtkColorButton" id="colorbutton2">
 612                                     <property name="width_request">40</property>
 613                                     <property name="height_request">30</property>
 614                                     <property name="visible">True</property>
 615                                     <property name="can_focus">True</property>
 616                                     <property name="receives_default">True</property>
 617                                     <property name="use_action_appearance">False</property>
 618                                     <property name="color">#ffffffffffff</property>
 619                                     <signal name="color-set" handler="on_background_color_set" swapped="no"/>
 620                                   </object>
 621                                   <packing>
 622                                     <property name="x">125</property>
 623                                     <property name="y">45</property>
 624                                   </packing>
 625                                 </child>
 626                                 <child>
 627                                   <object class="GtkToolbar" id="style-toolbar">
 628                                     <property name="width_request">283</property>
 629                                     <property name="height_request">50</property>
 630                                     <property name="visible">True</property>
 631                                     <property name="can_focus">False</property>
 632                                     <property name="toolbar_style">icons</property>
 633                                     <child>
 634                                       <object class="GtkToggleToolButton" id="toolbutton-left">
 635                                         <property name="visible">True</property>
 636                                         <property name="can_focus">False</property>
 637                                         <property name="use_action_appearance">False</property>
 638                                         <property name="label" translatable="yes">Align _left</property>
 639                                         <property name="use_underline">True</property>
 640                                         <property name="stock_id">gtk-justify-left</property>
 641                                       </object>
 642                                       <packing>
 643                                         <property name="expand">False</property>
 644                                         <property name="homogeneous">True</property>
 645                                       </packing>
 646                                     </child>
 647                                     <child>
 648                                       <object class="GtkToggleToolButton" id="toolbutton-center">
 649                                         <property name="visible">True</property>
 650                                         <property name="can_focus">False</property>
 651                                         <property name="use_action_appearance">False</property>
 652                                         <property name="label" translatable="yes">Align _center</property>
 653                                         <property name="use_underline">True</property>
 654                                         <property name="stock_id">gtk-justify-center</property>
 655                                       </object>
 656                                       <packing>
 657                                         <property name="expand">False</property>
 658                                         <property name="homogeneous">True</property>
 659                                       </packing>
 660                                     </child>
 661                                     <child>
 662                                       <object class="GtkToggleToolButton" id="toolbutton-right">
 663                                         <property name="visible">True</property>
 664                                         <property name="can_focus">False</property>
 665                                         <property name="use_action_appearance">False</property>
 666                                         <property name="label" translatable="yes">Align _right</property>
 667                                         <property name="use_underline">True</property>
 668                                         <property name="stock_id">gtk-justify-right</property>
 669                                       </object>
 670                                       <packing>
 671                                         <property name="expand">False</property>
 672                                         <property name="homogeneous">True</property>
 673                                       </packing>
 674                                     </child>
 675                                     <child>
 676                                       <object class="GtkToggleToolButton" id="toolbutton-justify">
 677                                         <property name="visible">True</property>
 678                                         <property name="can_focus">False</property>
 679                                         <property name="use_action_appearance">False</property>
 680                                         <property name="label" translatable="yes">Align _justify</property>
 681                                         <property name="use_underline">True</property>
 682                                         <property name="stock_id">gtk-justify-fill</property>
 683                                       </object>
 684                                       <packing>
 685                                         <property name="expand">False</property>
 686                                         <property name="homogeneous">True</property>
 687                                       </packing>
 688                                     </child>
 689                                     <child>
 690                                       <object class="GtkSeparatorToolItem" id="toolbutton4">
 691                                         <property name="visible">True</property>
 692                                         <property name="can_focus">False</property>
 693                                       </object>
 694                                       <packing>
 695                                         <property name="expand">False</property>
 696                                         <property name="homogeneous">True</property>
 697                                       </packing>
 698                                     </child>
 699                                     <child>
 700                                       <object class="GtkToggleToolButton" id="toolbutton-bold">
 701                                         <property name="visible">True</property>
 702                                         <property name="can_focus">False</property>
 703                                         <property name="use_action_appearance">False</property>
 704                                         <property name="label" translatable="yes">_Bold</property>
 705                                         <property name="use_underline">True</property>
 706                                         <property name="stock_id">gtk-bold</property>
 707                                       </object>
 708                                       <packing>
 709                                         <property name="expand">False</property>
 710                                         <property name="homogeneous">True</property>
 711                                       </packing>
 712                                     </child>
 713                                     <child>
 714                                       <object class="GtkToggleToolButton" id="toolbutton-italic">
 715                                         <property name="visible">True</property>
 716                                         <property name="can_focus">False</property>
 717                                         <property name="use_action_appearance">False</property>
 718                                         <property name="label" translatable="yes">_Italic</property>
 719                                         <property name="use_underline">True</property>
 720                                         <property name="stock_id">gtk-italic</property>
 721                                       </object>
 722                                       <packing>
 723                                         <property name="expand">False</property>
 724                                         <property name="homogeneous">True</property>
 725                                       </packing>
 726                                     </child>
 727                                     <child>
 728                                       <object class="GtkToggleToolButton" id="toolbutton-underline">
 729                                         <property name="visible">True</property>
 730                                         <property name="can_focus">False</property>
 731                                         <property name="use_action_appearance">False</property>
 732                                         <property name="label" translatable="yes">_Underline</property>
 733                                         <property name="use_underline">True</property>
 734                                         <property name="stock_id">gtk-underline</property>
 735                                       </object>
 736                                       <packing>
 737                                         <property name="expand">False</property>
 738                                         <property name="homogeneous">True</property>
 739                                       </packing>
 740                                     </child>
 741                                   </object>
 742                                   <packing>
 743                                     <property name="y">86</property>
 744                                   </packing>
 745                                 </child>
 746                               </object>
 747                               <packing>
 748                                 <property name="expand">True</property>
 749                                 <property name="fill">True</property>
 750                                 <property name="position">1</property>
 751                               </packing>
 752                             </child>
 753                           </object>
 754                           <packing>
 755                             <property name="expand">True</property>
 756                             <property name="fill">True</property>
 757                             <property name="position">1</property>
 758                           </packing>
 759                         </child>
 760                       </object>
 761                       <packing>
 762                         <property name="expand">True</property>
 763                         <property name="fill">True</property>
 764                         <property name="padding">5</property>
 765                         <property name="position">1</property>
 766                       </packing>
 767                     </child>
 768                   </object>
 769                   <packing>
 770                     <property name="expand">True</property>
 771                     <property name="fill">True</property>
 772                     <property name="padding">5</property>
 773                     <property name="position">2</property>
 774                   </packing>
 775                 </child>
 776                 <child>
 777                   <object class="GtkLabel" id="label4">
 778                     <property name="height_request">30</property>
 779                     <property name="visible">True</property>
 780                     <property name="can_focus">False</property>
 781                     <property name="xalign">0</property>
 782                     <property name="yalign">1</property>
 783                     <property name="xpad">5</property>
 784                     <property name="label" translatable="yes">Example text:</property>
 785                   </object>
 786                   <packing>
 787                     <property name="expand">False</property>
 788                     <property name="fill">True</property>
 789                     <property name="position">3</property>
 790                   </packing>
 791                 </child>
 792                 <child>
 793                   <object class="GtkTextView" id="example-textview">
 794                     <property name="height_request">100</property>
 795                     <property name="visible">True</property>
 796                     <property name="can_focus">True</property>
 797                     <property name="editable">False</property>
 798                     <property name="wrap_mode">word-char</property>
 799                     <property name="left_margin">10</property>
 800                     <property name="right_margin">10</property>
 801                   </object>
 802                   <packing>
 803                     <property name="expand">True</property>
 804                     <property name="fill">True</property>
 805                     <property name="position">4</property>
 806                   </packing>
 807                 </child>
 808               </object>
 809               <packing>
 810                 <property name="position">1</property>
 811               </packing>
 812             </child>
 813             <child type="tab">
 814               <object class="GtkLabel" id="label2">
 815                 <property name="visible">True</property>
 816                 <property name="can_focus">False</property>
 817                 <property name="label" translatable="yes">Layout</property>
 818               </object>
 819               <packing>
 820                 <property name="position">1</property>
 821                 <property name="tab_fill">False</property>
 822               </packing>
 823             </child>
 824             <child>
 825               <object class="GtkVBox" id="vbox2">
 826                 <property name="visible">True</property>
 827                 <property name="can_focus">False</property>
 828                 <property name="border_width">6</property>
 829                 <property name="spacing">6</property>
 830                 <child>
 831                   <object class="GtkFrame" id="frame1">
 832                     <property name="visible">True</property>
 833                     <property name="can_focus">False</property>
 834                     <property name="label_xalign">0</property>
 835                     <property name="shadow_type">none</property>
 836                     <child>
 837                       <object class="GtkAlignment" id="alignment1">
 838                         <property name="visible">True</property>
 839                         <property name="can_focus">False</property>
 840                         <property name="left_padding">12</property>
 841                         <child>
 842                           <object class="GtkScrolledWindow" id="scrolledwindow2">
 843                             <property name="visible">True</property>
 844                             <property name="can_focus">True</property>
 845                             <property name="hscrollbar_policy">automatic</property>
 846                             <property name="vscrollbar_policy">automatic</property>
 847                             <child>
 848                               <object class="GtkTreeView" id="interpreters_view">
 849                                 <property name="visible">True</property>
 850                                 <property name="can_focus">True</property>
 851                                 <property name="tooltip_text" translatable="yes">Which interpreter to use by default for each story format</property>
 852                                 <property name="model">interpreters</property>
 853                                 <property name="headers_visible">False</property>
 854                                 <property name="headers_clickable">False</property>
 855                                 <property name="rules_hint">True</property>
 856                               </object>
 857                             </child>
 858                           </object>
 859                         </child>
 860                       </object>
 861                     </child>
 862                     <child type="label">
 863                       <object class="GtkLabel" id="label10">
 864                         <property name="visible">True</property>
 865                         <property name="can_focus">False</property>
 866                         <property name="label" translatable="yes">&lt;b&gt;Preferred interpreters&lt;/b&gt;</property>
 867                         <property name="use_markup">True</property>
 868                       </object>
 869                     </child>
 870                   </object>
 871                   <packing>
 872                     <property name="expand">True</property>
 873                     <property name="fill">True</property>
 874                     <property name="position">0</property>
 875                   </packing>
 876                 </child>
 877                 <child>
 878                   <object class="GtkHBox" id="hbox3">
 879                     <property name="visible">True</property>
 880                     <property name="can_focus">False</property>
 881                     <property name="spacing">6</property>
 882                     <child>
 883                       <object class="GtkLabel" id="label11">
 884                         <property name="visible">True</property>
 885                         <property name="can_focus">False</property>
 886                         <property name="label" translatable="yes">Look for _resource files in:</property>
 887                         <property name="use_underline">True</property>
 888                         <property name="mnemonic_widget">blorb_file_chooser</property>
 889                       </object>
 890                       <packing>
 891                         <property name="expand">False</property>
 892                         <property name="fill">False</property>
 893                         <property name="position">0</property>
 894                       </packing>
 895                     </child>
 896                     <child>
 897                       <object class="GtkFileChooserButton" id="blorb_file_chooser">
 898                         <property name="visible">True</property>
 899                         <property name="can_focus">False</property>
 900                         <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>
 901                         <property name="action">select-folder</property>
 902                       </object>
 903                       <packing>
 904                         <property name="expand">True</property>
 905                         <property name="fill">True</property>
 906                         <property name="position">1</property>
 907                       </packing>
 908                     </child>
 909                   </object>
 910                   <packing>
 911                     <property name="expand">False</property>
 912                     <property name="fill">False</property>
 913                     <property name="position">1</property>
 914                   </packing>
 915                 </child>
 916               </object>
 917               <packing>
 918                 <property name="position">2</property>
 919               </packing>
 920             </child>
 921             <child type="tab">
 922               <object class="GtkLabel" id="label3">
 923                 <property name="visible">True</property>
 924                 <property name="can_focus">False</property>
 925                 <property name="label" translatable="yes">Interpreters</property>
 926               </object>
 927               <packing>
 928                 <property name="position">2</property>
 929                 <property name="tab_fill">False</property>
 930               </packing>
 931             </child>
 932           </object>
 933           <packing>
 934             <property name="expand">True</property>
 935             <property name="fill">True</property>
 936             <property name="position">2</property>
 937           </packing>
 938         </child>
 939       </object>
 940     </child>
 941     <action-widgets>
 942       <action-widget response="0">button-close</action-widget>
 943     </action-widgets>
 944   </object>
 945 </interface>