interpreters/chimara-frotz-plugin.glade

   1 <interface>
   2   <object class="GtkNotebook" id="frotz-configure-widget">
   3     <child>
   4       <object class="GtkGrid" id="options-page">
   5         <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
   6         <child>
   7           <object class="GtkCheckButton" id="expand-abbreviations-button">
   8             <property name="label" translatable="yes">Expand G, X, and Z</property>
   9           </object>
  10         </child>
  11         <child>
  12           <object class="GtkCheckButton" id="piracy-button">
  13             <property name="label" translatable="yes">Pretend the story file is pirated</property>
  14           </object>
  15         </child>
  16         <child>
  17           <object class="GtkCheckButton" id="tandy-button">
  18             <property name="label" translatable="yes">Pretend the interpreter is the edition sold by Tandy</property>
  19           </object>
  20         </child>
  21         <child>
  22           <object class="GtkCheckButton" id="quetzal-button">
  23             <property name="label" translatable="yes">Use the Quetzal saved-game format</property>
  24           </object>
  25         </child>
  26         <child>
  27           <object class="GtkGrid" id="transcript-columns-box">
  28             <child>
  29               <object class="GtkLabel" id="transcript-columns-label">
  30                 <property name="label" translatable="yes">Use</property>
  31               </object>
  32             </child>
  33             <child>
  34               <object class="GtkSpinButton" id="transcript-columns-button">
  35                 <property name="adjustment">columns-adjustment</property>
  36               </object>
  37             </child>
  38             <child>
  39               <object class="GtkLabel" id="transcript-columns-label2">
  40                 <property name="label" translatable="yes">columns when saving transcripts</property>
  41               </object>
  42             </child>
  43           </object>
  44         </child>
  45         <child>
  46           <object class="GtkGrid" id="undo-box">
  47             <child>
  48               <object class="GtkLabel" id="undo-label1">
  49                 <property name="label" translatable="yes">Reserve</property>
  50               </object>
  51             </child>
  52             <child>
  53               <object class="GtkSpinButton" id="undo-button">
  54                 <property name="adjustment">undo-adjustment</property>
  55               </object>
  56             </child>
  57             <child>
  58               <object class="GtkLabel" id="undo-label2">
  59                 <property name="label" translatable="yes">slots for multiple undo</property>
  60               </object>
  61             </child>
  62           </object>
  63         </child>
  64       </object>
  65     </child>
  66     <child type="tab">
  67       <object class="GtkLabel" id="options-tab-label">
  68         <property name="label" translatable="yes">Options</property>
  69       </object>
  70     </child>
  71     <child>
  72       <object class="GtkGrid" id="debug-box">
  73         <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
  74         <child>
  75           <object class="GtkCheckButton" id="ignore-errors-button">
  76             <property name="label" translatable="yes">Ignore fatal errors</property>
  77           </object>
  78         </child>
  79         <child>
  80           <object class="GtkCheckButton" id="random-seed-set-button">
  81             <property name="label" translatable="yes">Set random seed manually</property>
  82           </object>
  83         </child>
  84         <child>
  85           <object class="GtkGrid" id="random-seed-box">
  86             <child>
  87               <object class="GtkLabel" id="random-seed-label">
  88                 <property name="label" translatable="yes">to</property>
  89                 <property name="margin-left">12</property>
  90               </object>
  91             </child>
  92             <child>
  93               <object class="GtkSpinButton" id="random-seed-button">
  94                 <property name="adjustment">random-seed-adjustment</property>
  95               </object>
  96             </child>
  97           </object>
  98         </child>
  99         <child>
 100           <object class="GtkLabel" id="debug-messages-label">
 101             <property name="label">Print debug messages on:</property>
 102             <property name="halign">GTK_ALIGN_START</property>
 103           </object>
 104         </child>
 105         <child>
 106           <object class="GtkCheckButton" id="attribute-setting-button">
 107             <property name="label">attribute setting</property>
 108             <property name="margin-left">12</property>
 109           </object>
 110         </child>
 111         <child>
 112           <object class="GtkCheckButton" id="attribute-testing-button">
 113             <property name="label">attribute testing</property>
 114             <property name="margin-left">12</property>
 115           </object>
 116         </child>
 117         <child>
 118           <object class="GtkCheckButton" id="object-movement-button">
 119             <property name="label">object movement</property>
 120             <property name="margin-left">12</property>
 121           </object>
 122         </child>
 123         <child>
 124           <object class="GtkCheckButton" id="object-location-button">
 125             <property name="label">object location</property>
 126             <property name="margin-left">12</property>
 127           </object>
 128         </child>
 129       </object>
 130     </child>
 131     <child type="tab">
 132       <object class="GtkLabel" id="debug-tab-label">
 133         <property name="label" translatable="yes">Debugging</property>
 134       </object>
 135     </child>
 136   </object>
 137   <object class="GtkAdjustment" id="columns-adjustment">
 138     <property name="lower">0</property>
 139     <property name="value">80</property>
 140     <property name="upper">200</property>
 141     <property name="step-increment">1</property>
 142   </object>
 143   <object class="GtkAdjustment" id="undo-adjustment">
 144     <property name="lower">1</property>
 145     <property name="value">1</property>
 146     <property name="upper">32767</property>
 147     <property name="step-increment">1</property>
 148   </object>
 149   <object class="GtkAdjustment" id="random-seed-adjustment">
 150     <property name="lower">0</property>
 151     <property name="value">0</property>
 152     <property name="upper">32767</property>
 153     <property name="step-increment">1</property>
 154   </object>
 155 </interface>