lib/xtra/angband.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkWindow" id="main-window">
   7   <property name="visible">True</property>
   8   <property name="title" translatable="yes">Angband</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">True</property>
  13   <property name="destroy_with_parent">False</property>
  14   <property name="decorated">True</property>
  15   <property name="skip_taskbar_hint">False</property>
  16   <property name="skip_pager_hint">False</property>
  17   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  18   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19   <property name="focus_on_map">True</property>
  20   <property name="urgency_hint">False</property>
  21   <signal name="key_press_event" handler="keypress_event_handler"/>
  22   <signal name="delete_event" handler="delete_event_handler"/>
  23   <signal name="destroy_event" handler="destroy_event_handler"/>
  24
  25   <child>
  26     <widget class="GtkVBox" id="vbox1">
  27       <property name="visible">True</property>
  28       <property name="homogeneous">False</property>
  29       <property name="spacing">0</property>
  30
  31       <child>
  32         <widget class="GtkMenuBar" id="menubar1">
  33           <property name="visible">True</property>
  34           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
  35           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
  36
  37           <child>
  38             <widget class="GtkMenuItem" id="file_menu">
  39               <property name="visible">True</property>
  40               <property name="label" translatable="yes">_File</property>
  41               <property name="use_underline">True</property>
  42
  43               <child>
  44                 <widget class="GtkMenu" id="file_menu_menu">
  45
  46                   <child>
  47                     <widget class="GtkImageMenuItem" id="new_menu_item">
  48                       <property name="visible">True</property>
  49                       <property name="label">gtk-new</property>
  50                       <property name="use_stock">True</property>
  51                       <signal name="activate" handler="new_event_handler"/>
  52                     </widget>
  53                   </child>
  54
  55                   <child>
  56                     <widget class="GtkImageMenuItem" id="open_menu_item">
  57                       <property name="visible">True</property>
  58                       <property name="label">gtk-open</property>
  59                       <property name="use_stock">True</property>
  60                       <signal name="activate" handler="open_event_handler"/>
  61                     </widget>
  62                   </child>
  63
  64                   <child>
  65                     <widget class="GtkImageMenuItem" id="save_menu_item">
  66                       <property name="visible">True</property>
  67                       <property name="label">gtk-save</property>
  68                       <property name="use_stock">True</property>
  69                       <signal name="activate" handler="save_event_handler" last_modification_time="Sat, 12 May 2007 23:44:03 GMT"/>
  70                     </widget>
  71                   </child>
  72
  73                   <child>
  74                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
  75                       <property name="visible">True</property>
  76                     </widget>
  77                   </child>
  78
  79                   <child>
  80                     <widget class="GtkImageMenuItem" id="quit_menu_item">
  81                       <property name="visible">True</property>
  82                       <property name="label">gtk-quit</property>
  83                       <property name="use_stock">True</property>
  84                       <signal name="activate" handler="quit_event_handler"/>
  85                     </widget>
  86                   </child>
  87                 </widget>
  88               </child>
  89             </widget>
  90           </child>
  91
  92           <child>
  93             <widget class="GtkMenuItem" id="options_menu">
  94               <property name="visible">True</property>
  95               <property name="label" translatable="yes">_Options</property>
  96               <property name="use_underline">True</property>
  97
  98               <child>
  99                 <widget class="GtkMenu" id="options_menu_menu">
 100
 101                   <child>
 102                     <widget class="GtkMenuItem" id="font_menu_item">
 103                       <property name="visible">True</property>
 104                       <property name="label" translatable="yes">Font...</property>
 105                       <property name="use_underline">True</property>
 106                     </widget>
 107                   </child>
 108                 </widget>
 109               </child>
 110             </widget>
 111           </child>
 112         </widget>
 113         <packing>
 114           <property name="padding">0</property>
 115           <property name="expand">False</property>
 116           <property name="fill">False</property>
 117         </packing>
 118       </child>
 119
 120       <child>
 121         <widget class="GtkDrawingArea" id="drawingarea1">
 122           <property name="visible">True</property>
 123         </widget>
 124         <packing>
 125           <property name="padding">0</property>
 126           <property name="expand">True</property>
 127           <property name="fill">True</property>
 128         </packing>
 129       </child>
 130     </widget>
 131   </child>
 132 </widget>
 133
 134 <widget class="GtkFileChooserDialog" id="file-chooser">
 135   <property name="action">GTK_FILE_CHOOSER_ACTION_OPEN</property>
 136   <property name="local_only">True</property>
 137   <property name="select_multiple">False</property>
 138   <property name="show_hidden">True</property>
 139   <property name="do_overwrite_confirmation">False</property>
 140   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 141   <property name="window_position">GTK_WIN_POS_NONE</property>
 142   <property name="modal">False</property>
 143   <property name="resizable">True</property>
 144   <property name="destroy_with_parent">False</property>
 145   <property name="decorated">True</property>
 146   <property name="skip_taskbar_hint">False</property>
 147   <property name="skip_pager_hint">False</property>
 148   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 149   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 150   <property name="focus_on_map">True</property>
 151   <property name="urgency_hint">False</property>
 152
 153   <child internal-child="vbox">
 154     <widget class="GtkVBox" id="dialog-vbox1">
 155       <property name="visible">True</property>
 156       <property name="homogeneous">False</property>
 157       <property name="spacing">24</property>
 158
 159       <child internal-child="action_area">
 160         <widget class="GtkHButtonBox" id="dialog-action_area1">
 161           <property name="visible">True</property>
 162           <property name="layout_style">GTK_BUTTONBOX_END</property>
 163
 164           <child>
 165             <widget class="GtkButton" id="button1">
 166               <property name="visible">True</property>
 167               <property name="can_default">True</property>
 168               <property name="can_focus">True</property>
 169               <property name="label">gtk-cancel</property>
 170               <property name="use_stock">True</property>
 171               <property name="relief">GTK_RELIEF_NORMAL</property>
 172               <property name="focus_on_click">True</property>
 173               <property name="response_id">-6</property>
 174             </widget>
 175           </child>
 176
 177           <child>
 178             <widget class="GtkButton" id="button2">
 179               <property name="visible">True</property>
 180               <property name="can_default">True</property>
 181               <property name="has_default">True</property>
 182               <property name="can_focus">True</property>
 183               <property name="label">gtk-open</property>
 184               <property name="use_stock">True</property>
 185               <property name="relief">GTK_RELIEF_NORMAL</property>
 186               <property name="focus_on_click">True</property>
 187               <property name="response_id">-5</property>
 188             </widget>
 189           </child>
 190         </widget>
 191         <packing>
 192           <property name="padding">0</property>
 193           <property name="expand">False</property>
 194           <property name="fill">True</property>
 195           <property name="pack_type">GTK_PACK_END</property>
 196         </packing>
 197       </child>
 198     </widget>
 199   </child>
 200 </widget>
 201
 202 <widget class="GtkFontSelectionDialog" id="font-window">
 203   <property name="border_width">5</property>
 204   <property name="title" translatable="yes">Select Font</property>
 205   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 206   <property name="window_position">GTK_WIN_POS_NONE</property>
 207   <property name="modal">False</property>
 208   <property name="resizable">True</property>
 209   <property name="destroy_with_parent">False</property>
 210   <property name="decorated">True</property>
 211   <property name="skip_taskbar_hint">False</property>
 212   <property name="skip_pager_hint">False</property>
 213   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 214   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 215   <property name="focus_on_map">True</property>
 216   <property name="urgency_hint">False</property>
 217
 218   <child internal-child="cancel_button">
 219     <widget class="GtkButton" id="cancel_button1">
 220       <property name="visible">True</property>
 221       <property name="can_default">True</property>
 222       <property name="can_focus">True</property>
 223       <property name="relief">GTK_RELIEF_NORMAL</property>
 224       <property name="focus_on_click">True</property>
 225       <signal name="clicked" handler="gtk_true" last_modification_time="Thu, 28 Jun 2007 09:00:54 GMT"/>
 226     </widget>
 227   </child>
 228
 229   <child internal-child="apply_button">
 230     <widget class="GtkButton" id="apply_button1">
 231       <property name="visible">True</property>
 232       <property name="can_default">True</property>
 233       <property name="can_focus">True</property>
 234       <property name="relief">GTK_RELIEF_NORMAL</property>
 235       <property name="focus_on_click">True</property>
 236       <signal name="clicked" handler="font_selector" last_modification_time="Sat, 12 May 2007 23:44:17 GMT"/>
 237     </widget>
 238   </child>
 239
 240   <child internal-child="ok_button">
 241     <widget class="GtkButton" id="ok_button1">
 242       <property name="visible">True</property>
 243       <property name="can_default">True</property>
 244       <property name="can_focus">True</property>
 245       <property name="relief">GTK_RELIEF_NORMAL</property>
 246       <property name="focus_on_click">True</property>
 247       <signal name="clicked" handler="font_selector" last_modification_time="Sat, 12 May 2007 23:43:36 GMT"/>
 248     </widget>
 249   </child>
 250
 251   <child internal-child="font_selection">
 252     <widget class="GtkFontSelection" id="font_selection1">
 253       <property name="border_width">5</property>
 254       <property name="visible">True</property>
 255       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property>
 256     </widget>
 257     <packing>
 258       <property name="padding">0</property>
 259       <property name="expand">True</property>
 260       <property name="fill">True</property>
 261     </packing>
 262   </child>
 263 </widget>
 264
 265 <widget class="GtkWindow" id="term-window">
 266   <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 267   <property name="title" translatable="yes"></property>
 268   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 269   <property name="window_position">GTK_WIN_POS_NONE</property>
 270   <property name="modal">False</property>
 271   <property name="resizable">True</property>
 272   <property name="destroy_with_parent">False</property>
 273   <property name="decorated">True</property>
 274   <property name="skip_taskbar_hint">False</property>
 275   <property name="skip_pager_hint">False</property>
 276   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 277   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 278   <property name="focus_on_map">True</property>
 279   <property name="urgency_hint">False</property>
 280   <signal name="key_press_event" handler="keypress_event_handler"/>
 281   <signal name="delete_event" handler="delete_event_handler"/>
 282   <signal name="destroy_event" handler="hide_event_handler"/>
 283
 284   <child>
 285     <widget class="GtkDrawingArea" id="drawingarea2">
 286       <property name="visible">True</property>
 287       <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 288     </widget>
 289   </child>
 290 </widget>
 291
 292 </glade-interface>