Changeset 560

Show
Ignore:
Timestamp:
09/14/07 18:30:20 (1 year ago)
Author:
shanoah
Message:

Bring the GTK port into sync with the development version.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • trunk/lib/xtra/angband.glade

    r546 r560  
    1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*--
    2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd"> 
    3  
     1<?xml version="1.0" encoding="UTF-8" standalone="no"?
     2<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd"> 
     3<!--*- mode: xml -*--> 
    44<glade-interface> 
    5  
    6 <widget class="GtkWindow" id="main-window"> 
    7   <property name="can_focus">True</property> 
    8   <property name="has_focus">True</property> 
    9   <property name="events">GDK_EXPOSURE_MASK | GDK_BUTTON_PRESS_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    10   <property name="title" translatable="yes">Angband</property> 
    11   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    12   <property name="window_position">GTK_WIN_POS_NONE</property> 
    13   <property name="modal">False</property> 
    14   <property name="default_width">800</property> 
    15   <property name="default_height">453</property> 
    16   <property name="resizable">True</property> 
    17   <property name="destroy_with_parent">False</property> 
    18   <property name="decorated">True</property> 
    19   <property name="skip_taskbar_hint">False</property> 
    20   <property name="skip_pager_hint">False</property> 
    21   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    22   <property name="gravity">GDK_GRAVITY_STATIC</property> 
    23   <property name="focus_on_map">True</property> 
    24   <property name="urgency_hint">False</property> 
    25   <signal name="button_press_event" handler="on_mouse_click"/> 
    26   <signal name="key_press_event" handler="keypress_event_handler"/> 
    27   <signal name="delete_event" handler="delete_event_handler"/> 
    28   <signal name="destroy_event" handler="destroy_event_handler"/> 
    29  
    30   <child> 
    31     <widget class="GtkVBox" id="vbox1"> 
    32       <property name="visible">True</property> 
    33       <property name="homogeneous">False</property> 
    34       <property name="spacing">0</property> 
    35  
    36       <child> 
    37         <widget class="GtkMenuBar" id="menubar1"> 
    38           <property name="visible">True</property> 
    39           <property name="can_focus">True</property> 
    40           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property> 
    41           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property> 
    42  
    43           <child> 
    44             <widget class="GtkMenuItem" id="file_menu"> 
    45               <property name="visible">True</property> 
    46               <property name="label" translatable="yes">_File</property> 
    47               <property name="use_underline">True</property> 
    48  
    49               <child> 
    50                 <widget class="GtkMenu" id="file_menu_menu"> 
    51  
    52                   <child> 
    53                     <widget class="GtkImageMenuItem" id="new_menu_item"> 
    54                       <property name="visible">True</property> 
    55                       <property name="label">gtk-new</property> 
    56                       <property name="use_stock">True</property> 
    57                       <signal name="activate" handler="new_event_handler"/> 
    58                     </widget> 
    59                   </child> 
    60  
    61                   <child> 
    62                     <widget class="GtkImageMenuItem" id="open_menu_item"> 
    63                       <property name="visible">True</property> 
    64                       <property name="label">gtk-open</property> 
    65                       <property name="use_stock">True</property> 
    66                       <signal name="activate" handler="open_event_handler"/> 
    67                     </widget> 
    68                   </child> 
    69  
    70                   <child> 
    71                     <widget class="GtkImageMenuItem" id="save_menu_item"> 
    72                       <property name="visible">True</property> 
    73                       <property name="label">gtk-save</property> 
    74                       <property name="use_stock">True</property> 
    75                       <signal name="activate" handler="save_event_handler"/> 
    76                     </widget> 
    77                   </child> 
    78  
    79                   <child> 
    80                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem1"> 
    81                       <property name="visible">True</property> 
    82                     </widget> 
    83                   </child> 
    84  
    85                   <child> 
    86                     <widget class="GtkImageMenuItem" id="quit_menu_item"> 
    87                       <property name="visible">True</property> 
    88                       <property name="label">gtk-quit</property> 
    89                       <property name="use_stock">True</property> 
    90                       <signal name="activate" handler="quit_event_handler"/> 
    91                     </widget> 
    92                   </child> 
    93                 </widget> 
    94               </child> 
    95             </widget> 
    96           </child> 
    97  
    98           <child> 
    99             <widget class="GtkMenuItem" id="options_menu"> 
    100               <property name="visible">True</property> 
    101               <property name="label" translatable="yes">_Options</property> 
    102               <property name="use_underline">True</property> 
    103  
    104               <child> 
    105                 <widget class="GtkMenu" id="options_menu_menu"> 
    106  
    107                   <child> 
    108                     <widget class="GtkMenuItem" id="graphics_menu"> 
    109                       <property name="visible">True</property> 
    110                       <property name="label" translatable="yes">_Graphics</property> 
    111                       <property name="use_underline">True</property> 
    112  
    113                       <child> 
    114                         <widget class="GtkMenu" id="graphics_menu_menu"> 
    115  
    116                           <child> 
    117                             <widget class="GtkCheckMenuItem" id="none_gr_item"> 
    118                               <property name="visible">True</property> 
    119                               <property name="label" translatable="yes">None</property> 
    120                               <property name="use_underline">True</property> 
    121                               <property name="active">False</property> 
    122                               <signal name="activate" handler="on_no_graphics_activate"/> 
    123                             </widget> 
    124                           </child> 
    125  
    126                           <child> 
    127                             <widget class="GtkCheckMenuItem" id="old_gr_item"> 
    128                               <property name="visible">True</property> 
    129                               <property name="label" translatable="yes">Old</property> 
    130                               <property name="use_underline">True</property> 
    131                               <property name="active">False</property> 
    132                               <signal name="activate" handler="on_old_graphics_activate"/> 
    133                             </widget> 
    134                           </child> 
    135  
    136                           <child> 
    137                             <widget class="GtkCheckMenuItem" id="adam_bolt_gr_item"> 
    138                               <property name="visible">True</property> 
    139                               <property name="label" translatable="yes">Adam Bolt</property> 
    140                               <property name="use_underline">True</property> 
    141                               <property name="active">False</property> 
    142                               <signal name="activate" handler="on_adam_bolt_graphics_activate"/> 
    143                             </widget> 
    144                           </child> 
    145  
    146                           <child> 
    147                             <widget class="GtkCheckMenuItem" id="david_gervais_gr_item"> 
    148                               <property name="visible">True</property> 
    149                               <property name="label" translatable="yes">David Gervais</property> 
    150                               <property name="use_underline">True</property> 
    151                               <property name="active">False</property> 
    152                               <signal name="activate" handler="on_david_gervais_graphics_activate"/> 
    153                             </widget> 
    154                           </child> 
    155                         </widget> 
    156                       </child> 
    157                     </widget> 
    158                   </child> 
    159  
    160                   <child> 
    161                     <widget class="GtkMenuItem" id="font_menu_item"> 
    162                       <property name="visible">True</property> 
    163                       <property name="label" translatable="yes">Font...</property> 
    164                       <property name="use_underline">True</property> 
    165                     </widget> 
    166                   </child> 
    167                 </widget> 
    168               </child> 
    169             </widget> 
    170           </child> 
    171  
    172           <child> 
    173             <widget class="GtkMenuItem" id="view_menu"> 
    174               <property name="visible">True</property> 
    175               <property name="label" translatable="yes">_View</property> 
    176               <property name="use_underline">True</property> 
    177  
    178               <child> 
    179                 <widget class="GtkMenu" id="view_menu_menu"> 
    180  
    181                   <child> 
    182                     <widget class="GtkCheckMenuItem" id="term_menu_item_1"> 
    183                       <property name="visible">True</property> 
    184                       <property name="label" translatable="yes">_Term Window 1</property> 
    185                       <property name="use_underline">True</property> 
    186                       <property name="active">False</property> 
    187                       <signal name="activate" handler="on_window_toggle"/> 
    188                     </widget> 
    189                   </child> 
    190  
    191                   <child> 
    192                     <widget class="GtkCheckMenuItem" id="term_menu_item_2"> 
    193                       <property name="visible">True</property> 
    194                       <property name="label" translatable="yes">_Term Window 2</property> 
    195                       <property name="use_underline">True</property> 
    196                       <property name="active">False</property> 
    197                       <signal name="activate" handler="on_window_toggle"/> 
    198                     </widget> 
    199                   </child> 
    200  
    201                   <child> 
    202                     <widget class="GtkCheckMenuItem" id="term_menu_item_3"> 
    203                       <property name="visible">True</property> 
    204                       <property name="label" translatable="yes">_Term Window 3</property> 
    205                       <property name="use_underline">True</property> 
    206                       <property name="active">False</property> 
    207                       <signal name="activate" handler="on_window_toggle"/> 
    208                     </widget> 
    209                   </child> 
    210  
    211                   <child> 
    212                     <widget class="GtkCheckMenuItem" id="term_menu_item_4"> 
    213                       <property name="visible">True</property> 
    214                       <property name="label" translatable="yes">_Term Window 4</property> 
    215                       <property name="use_underline">True</property> 
    216                       <property name="active">False</property> 
    217                       <signal name="activate" handler="on_window_toggle"/> 
    218                     </widget> 
    219                   </child> 
    220  
    221                   <child> 
    222                     <widget class="GtkCheckMenuItem" id="term_menu_item_5"> 
    223                       <property name="visible">True</property> 
    224                       <property name="label" translatable="yes">_Term Window 5</property> 
    225                       <property name="use_underline">True</property> 
    226                       <property name="active">False</property> 
    227                       <signal name="activate" handler="on_window_toggle"/> 
    228                     </widget> 
    229                   </child> 
    230  
    231                   <child> 
    232                     <widget class="GtkCheckMenuItem" id="term_menu_item_6"> 
    233                       <property name="visible">True</property> 
    234                       <property name="label" translatable="yes">_Term Window 6</property> 
    235                       <property name="use_underline">True</property> 
    236                       <property name="active">False</property> 
    237                       <signal name="activate" handler="on_window_toggle"/> 
    238                     </widget> 
    239                   </child> 
    240  
    241                   <child> 
    242                     <widget class="GtkCheckMenuItem" id="term_menu_item_7"> 
    243                       <property name="visible">True</property> 
    244                       <property name="label" translatable="yes">_Term Window 7</property> 
    245                       <property name="use_underline">True</property> 
    246                       <property name="active">False</property> 
    247                       <signal name="activate" handler="on_window_toggle"/> 
    248                     </widget> 
    249                   </child> 
    250                 </widget> 
    251               </child> 
    252             </widget> 
    253           </child> 
    254  
    255           <child> 
    256             <widget class="GtkMenuItem" id="testing_menu"> 
    257               <property name="visible">True</property> 
    258               <property name="label" translatable="yes">_Testing</property> 
    259               <property name="use_underline">True</property> 
    260  
    261               <child> 
    262                 <widget class="GtkMenu" id="testing_menu_menu"> 
    263  
    264                   <child> 
    265                     <widget class="GtkCheckMenuItem" id="messages_item"> 
    266                       <property name="visible">True</property> 
    267                       <property name="label" translatable="yes">_Messages</property> 
    268                       <property name="use_underline">True</property> 
    269                       <property name="active">False</property> 
    270                       <signal name="activate" handler="toggle_message_window" last_modification_time="Sun, 26 Aug 2007 01:29:48 GMT"/> 
    271                     </widget> 
    272                   </child> 
    273  
    274                   <child> 
    275                     <widget class="GtkCheckMenuItem" id="inv_item"> 
    276                       <property name="visible">True</property> 
    277                       <property name="label" translatable="yes">_Inventory</property> 
    278                       <property name="use_underline">True</property> 
    279                       <property name="active">False</property> 
    280                       <signal name="activate" handler="toggle_inv_window" last_modification_time="Sun, 26 Aug 2007 07:18:03 GMT"/> 
    281                     </widget> 
    282                   </child> 
    283  
    284                   <child> 
    285                     <widget class="GtkCheckMenuItem" id="equip_item"> 
    286                       <property name="visible">True</property> 
    287                       <property name="label" translatable="yes">_Equipment</property> 
    288                       <property name="use_underline">True</property> 
    289                       <property name="active">False</property> 
    290                       <signal name="activate" handler="toggle_equip_window" last_modification_time="Sun, 26 Aug 2007 07:18:03 GMT"/> 
    291                     </widget> 
    292                   </child> 
    293  
    294                   <child> 
    295                     <widget class="GtkCheckMenuItem" id="monst_list_item"> 
    296                       <property name="visible">True</property> 
    297                       <property name="label" translatable="yes">_Monster List</property> 
    298                       <property name="use_underline">True</property> 
    299                       <property name="active">False</property> 
    300                       <signal name="activate" handler="toggle_monst_list_window" last_modification_time="Sun, 26 Aug 2007 07:18:03 GMT"/> 
    301                     </widget> 
    302                   </child> 
    303  
    304                   <child> 
    305                     <widget class="GtkCheckMenuItem" id="debug_item"> 
    306                       <property name="visible">True</property> 
    307                       <property name="label" translatable="yes">_Debug</property> 
    308                       <property name="use_underline">True</property> 
    309                       <property name="active">False</property> 
    310                       <signal name="activate" handler="toggle_debug_window" last_modification_time="Sun, 26 Aug 2007 07:18:03 GMT"/> 
    311                     </widget> 
    312                   </child> 
    313                 </widget> 
    314               </child> 
    315             </widget> 
    316           </child> 
    317         </widget> 
    318         <packing> 
    319           <property name="padding">0</property> 
    320           <property name="expand">False</property> 
    321           <property name="fill">False</property> 
    322         </packing> 
    323       </child> 
    324  
    325       <child> 
    326         <widget class="GtkDrawingArea" id="drawingarea1"> 
    327           <property name="visible">True</property> 
    328           <property name="can_default">True</property> 
    329           <property name="has_default">True</property> 
    330           <signal name="expose_event" handler="expose_event_handler" object="td"/> 
    331         </widget> 
    332         <packing> 
    333           <property name="padding">0</property> 
    334           <property name="expand">True</property> 
    335           <property name="fill">True</property> 
    336         </packing> 
    337       </child> 
    338     </widget> 
    339   </child> 
    340 </widget> 
    341  
    342 <widget class="GtkFontSelectionDialog" id="font-window"> 
    343   <property name="border_width">5</property> 
    344   <property name="title" translatable="yes">Select Font</property> 
    345   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    346   <property name="window_position">GTK_WIN_POS_NONE</property> 
    347   <property name="modal">False</property> 
    348   <property name="resizable">True</property> 
    349   <property name="destroy_with_parent">False</property> 
    350   <property name="decorated">True</property> 
    351   <property name="skip_taskbar_hint">False</property> 
    352   <property name="skip_pager_hint">False</property> 
    353   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property> 
    354   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    355   <property name="focus_on_map">True</property> 
    356   <property name="urgency_hint">False</property> 
    357  
    358   <child internal-child="cancel_button"> 
    359     <widget class="GtkButton" id="cancel_button1"> 
    360       <property name="visible">True</property> 
    361       <property name="can_default">True</property> 
    362       <property name="can_focus">True</property> 
    363       <property name="relief">GTK_RELIEF_NORMAL</property> 
    364       <property name="focus_on_click">True</property> 
    365       <signal name="clicked" handler="gtk_widget_hide" object="font-window"/> 
    366     </widget> 
    367   </child> 
    368  
    369   <child internal-child="apply_button"> 
    370     <widget class="GtkButton" id="apply_button1"> 
    371       <property name="visible">True</property> 
    372       <property name="can_default">True</property> 
    373       <property name="can_focus">True</property> 
    374       <property name="relief">GTK_RELIEF_NORMAL</property> 
    375       <property name="focus_on_click">True</property> 
    376     </widget> 
    377   </child> 
    378  
    379   <child internal-child="ok_button"> 
    380     <widget class="GtkButton" id="ok_button1"> 
    381       <property name="visible">True</property> 
    382       <property name="can_default">True</property> 
    383       <property name="can_focus">True</property> 
    384       <property name="relief">GTK_RELIEF_NORMAL</property> 
    385       <property name="focus_on_click">True</property> 
    386     </widget> 
    387   </child> 
    388  
    389   <child internal-child="font_selection"> 
    390     <widget class="GtkFontSelection" id="font_selection1"> 
    391       <property name="border_width">5</property> 
    392       <property name="visible">True</property> 
    393       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property> 
    394     </widget> 
    395     <packing> 
    396       <property name="padding">0</property> 
    397       <property name="expand">True</property> 
    398       <property name="fill">True</property> 
    399     </packing> 
    400   </child> 
    401 </widget> 
    402  
    403 <widget class="GtkWindow" id="term-window"> 
    404   <property name="can_focus">True</property> 
    405   <property name="events">GDK_EXPOSURE_MASK | GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK | GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    406   <property name="title" translatable="yes"></property> 
    407   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    408   <property name="window_position">GTK_WIN_POS_NONE</property> 
    409   <property name="modal">False</property> 
    410   <property name="resizable">True</property> 
    411   <property name="destroy_with_parent">False</property> 
    412   <property name="decorated">True</property> 
    413   <property name="skip_taskbar_hint">False</property> 
    414   <property name="skip_pager_hint">False</property> 
    415   <property name="type_hint">GDK_WINDOW_TYPE_HINT_TOOLBAR</property> 
    416   <property name="gravity">GDK_GRAVITY_STATIC</property> 
    417   <property name="focus_on_map">True</property> 
    418   <property name="urgency_hint">False</property> 
    419   <signal name="key_press_event" handler="keypress_event_handler"/> 
    420   <signal name="hide" handler="gtk_false"/> 
    421   <signal name="delete_event" handler="delete_event_handler"/> 
    422   <signal name="destroy_event" handler="hide_event_handler"/> 
    423  
    424   <child> 
    425     <widget class="GtkTable" id="table1"> 
    426       <property name="visible">True</property> 
    427       <property name="n_rows">1</property> 
    428       <property name="n_columns">1</property> 
    429       <property name="homogeneous">False</property> 
    430       <property name="row_spacing">0</property> 
    431       <property name="column_spacing">0</property> 
    432  
    433       <child> 
    434         <widget class="GtkDrawingArea" id="drawingarea2"> 
    435           <property name="visible">True</property> 
    436           <signal name="expose_event" handler="expose_event_handler" object="td"/> 
    437         </widget> 
    438         <packing> 
    439           <property name="left_attach">0</property> 
    440           <property name="right_attach">1</property> 
    441           <property name="top_attach">0</property> 
    442           <property name="bottom_attach">1</property> 
    443         </packing> 
    444       </child> 
    445     </widget> 
    446   </child> 
    447 </widget> 
    448  
    449 <widget class="GtkWindow" id="status_window"> 
    450   <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    451   <property name="title" translatable="yes"></property> 
    452   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    453   <property name="window_position">GTK_WIN_POS_NONE</property> 
    454   <property name="modal">False</property> 
    455   <property name="resizable">True</property> 
    456   <property name="destroy_with_parent">False</property> 
    457   <property name="decorated">True</property> 
    458   <property name="skip_taskbar_hint">False</property> 
    459   <property name="skip_pager_hint">False</property> 
    460   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    461   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    462   <property name="focus_on_map">True</property> 
    463   <property name="urgency_hint">False</property> 
    464   <signal name="destroy_event" handler="gtk_widget_hide" last_modification_time="Mon, 27 Aug 2007 02:45:05 GMT"/> 
    465  
    466   <child> 
    467     <widget class="GtkHPaned" id="hpaned1"> 
    468       <property name="visible">True</property> 
    469       <property name="can_focus">True</property> 
    470  
    471       <child> 
    472         <widget class="GtkLabel" id="label1"> 
    473           <property name="visible">True</property> 
    474           <property name="label" translatable="yes">Name 
    475 Race 
    476 Title 
    477 Class 
    478 Level 
    479 XP 
    480 Gold 
    481 equip 
    482 STR 
    483 INT 
    484 WIS 
    485 DEX 
    486 CON 
    487 CHR 
    488  
    489 AC 
    490 HP 
    491 SP 
    492  
    493 Monster HP 
    494 Dungeon level</property> 
    495           <property name="use_underline">False</property> 
    496           <property name="use_markup">False</property> 
    497           <property name="justify">GTK_JUSTIFY_LEFT</property> 
    498           <property name="wrap">False</property> 
    499           <property name="selectable">False</property> 
    500           <property name="xalign">0.5</property> 
    501           <property name="yalign">0.5</property> 
    502           <property name="xpad">0</property> 
    503           <property name="ypad">0</property> 
    504           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
    505           <property name="width_chars">-1</property> 
    506           <property name="single_line_mode">False</property> 
    507           <property name="angle">0</property> 
    508         </widget> 
    509         <packing> 
    510           <property name="shrink">True</property> 
    511           <property name="resize">False</property> 
    512         </packing> 
    513       </child> 
    514  
    515       <child> 
    516         <widget class="GtkTextView" id="status_window"> 
    517           <property name="visible">True</property> 
    518           <property name="can_focus">True</property> 
    519           <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    520           <property name="editable">True</property> 
    521           <property name="overwrite">False</property> 
    522           <property name="accepts_tab">True</property> 
    523           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    524           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    525           <property name="cursor_visible">True</property> 
    526           <property name="pixels_above_lines">0</property> 
    527           <property name="pixels_below_lines">0</property> 
    528           <property name="pixels_inside_wrap">0</property> 
    529           <property name="left_margin">0</property> 
    530           <property name="right_margin">0</property> 
    531           <property name="indent">0</property> 
    532           <property name="text" translatable="yes"></property> 
    533         </widget> 
    534         <packing> 
    535           <property name="shrink">True</property> 
    536           <property name="resize">True</property> 
    537         </packing> 
    538       </child> 
    539     </widget> 
    540   </child> 
    541 </widget> 
    542  
    543 <widget class="GtkWindow" id="message_window"> 
    544   <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    545   <property name="title" translatable="yes">Messages</property> 
    546   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    547   <property name="window_position">GTK_WIN_POS_NONE</property> 
    548   <property name="modal">False</property> 
    549   <property name="default_width">200</property> 
    550   <property name="default_height">500</property> 
    551   <property name="resizable">True</property> 
    552   <property name="destroy_with_parent">False</property> 
    553   <property name="decorated">True</property> 
    554   <property name="skip_taskbar_hint">True</property> 
    555   <property name="skip_pager_hint">True</property> 
    556   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    557   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    558   <property name="focus_on_map">True</property> 
    559   <property name="urgency_hint">False</property> 
    560   <signal name="destroy_event" handler="gtk_widget_hide" object="message_window" last_modification_time="Mon, 27 Aug 2007 02:48:04 GMT"/> 
    561  
    562   <child> 
    563     <widget class="GtkScrolledWindow" id="scrolledwindow1"> 
    564       <property name="visible">True</property> 
    565       <property name="can_focus">True</property> 
    566       <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    567       <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    568       <property name="shadow_type">GTK_SHADOW_NONE</property> 
    569       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    570  
    571       <child> 
    572         <widget class="GtkTextView" id="message_text"> 
    573           <property name="visible">True</property> 
    574           <property name="can_focus">True</property> 
    575           <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    576           <property name="editable">False</property> 
    577           <property name="overwrite">False</property> 
    578           <property name="accepts_tab">False</property> 
    579           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    580           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    581           <property name="cursor_visible">False</property> 
    582           <property name="pixels_above_lines">0</property> 
    583           <property name="pixels_below_lines">0</property> 
    584           <property name="pixels_inside_wrap">0</property> 
    585           <property name="left_margin">0</property> 
    586           <property name="right_margin">0</property> 
    587           <property name="indent">0</property> 
    588           <property name="text" translatable="yes"></property> 
    589         </widget> 
    590       </child> 
    591     </widget> 
    592   </child> 
    593 </widget> 
    594  
    595 <widget class="GtkWindow" id="inv_window"> 
    596   <property name="title" translatable="yes">Inventory</property> 
    597   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    598   <property name="window_position">GTK_WIN_POS_NONE</property> 
    599   <property name="modal">False</property> 
    600   <property name="default_width">200</property> 
    601   <property name="default_height">500</property> 
    602   <property name="resizable">True</property> 
    603   <property name="destroy_with_parent">False</property> 
    604   <property name="decorated">True</property> 
    605   <property name="skip_taskbar_hint">True</property> 
    606   <property name="skip_pager_hint">True</property> 
    607   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    608   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    609   <property name="focus_on_map">True</property> 
    610   <property name="urgency_hint">False</property> 
    611  
    612   <child> 
    613     <widget class="GtkScrolledWindow" id="scrolledwindow2"> 
    614       <property name="visible">True</property> 
    615       <property name="can_focus">True</property> 
    616       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    617       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    618       <property name="shadow_type">GTK_SHADOW_IN</property> 
    619       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    620  
    621       <child> 
    622         <widget class="GtkTextView" id="inv_text"> 
    623           <property name="visible">True</property> 
    624           <property name="can_focus">True</property> 
    625           <property name="editable">False</property> 
    626           <property name="overwrite">False</property> 
    627           <property name="accepts_tab">False</property> 
    628           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    629           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    630           <property name="cursor_visible">False</property> 
    631           <property name="pixels_above_lines">0</property> 
    632           <property name="pixels_below_lines">0</property> 
    633           <property name="pixels_inside_wrap">0</property> 
    634           <property name="left_margin">0</property> 
    635           <property name="right_margin">0</property> 
    636           <property name="indent">0</property> 
    637           <property name="text" translatable="yes"></property> 
    638         </widget> 
    639       </child> 
    640     </widget> 
    641   </child> 
    642 </widget> 
    643  
    644 <widget class="GtkWindow" id="equip_window"> 
    645   <property name="title" translatable="yes">Equipment</property> 
    646   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    647   <property name="window_position">GTK_WIN_POS_NONE</property> 
    648   <property name="modal">False</property> 
    649   <property name="default_width">200</property> 
    650   <property name="default_height">500</property> 
    651   <property name="resizable">True</property> 
    652   <property name="destroy_with_parent">False</property> 
    653   <property name="decorated">True</property> 
    654   <property name="skip_taskbar_hint">True</property> 
    655   <property name="skip_pager_hint">True</property> 
    656   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    657   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    658   <property name="focus_on_map">True</property> 
    659   <property name="urgency_hint">False</property> 
    660  
    661   <child> 
    662     <widget class="GtkScrolledWindow" id="scrolledwindow3"> 
    663       <property name="visible">True</property> 
    664       <property name="can_focus">True</property> 
    665       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    666       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    667       <property name="shadow_type">GTK_SHADOW_IN</property> 
    668       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    669  
    670       <child> 
    671         <widget class="GtkTextView" id="equip_text"> 
    672           <property name="visible">True</property> 
    673           <property name="can_focus">True</property> 
    674           <property name="editable">False</property> 
    675           <property name="overwrite">False</property> 
    676           <property name="accepts_tab">False</property> 
    677           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    678           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    679           <property name="cursor_visible">False</property> 
    680           <property name="pixels_above_lines">0</property> 
    681           <property name="pixels_below_lines">0</property> 
    682           <property name="pixels_inside_wrap">0</property> 
    683           <property name="left_margin">0</property> 
    684           <property name="right_margin">0</property> 
    685           <property name="indent">0</property> 
    686           <property name="text" translatable="yes"></property> 
    687         </widget> 
    688       </child> 
    689     </widget> 
    690   </child> 
    691 </widget> 
    692  
    693 <widget class="GtkWindow" id="monst_list_window"> 
    694   <property name="title" translatable="yes">Monster List</property> 
    695   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    696   <property name="window_position">GTK_WIN_POS_NONE</property> 
    697   <property name="modal">False</property> 
    698   <property name="default_width">175</property> 
    699   <property name="default_height">500</property> 
    700   <property name="resizable">True</property> 
    701   <property name="destroy_with_parent">False</property> 
    702   <property name="decorated">True</property> 
    703   <property name="skip_taskbar_hint">True</property> 
    704   <property name="skip_pager_hint">True</property> 
    705   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    706   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    707   <property name="focus_on_map">True</property> 
    708   <property name="urgency_hint">False</property> 
    709  
    710   <child> 
    711     <widget class="GtkScrolledWindow" id="scrolledwindow4"> 
    712       <property name="visible">True</property> 
    713       <property name="can_focus">True</property> 
    714       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    715       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    716       <property name="shadow_type">GTK_SHADOW_IN</property> 
    717       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    718  
    719       <child> 
    720         <widget class="GtkTextView" id="monst_list_text"> 
    721           <property name="visible">True</property> 
    722           <property name="can_focus">True</property> 
    723           <property name="editable">False</property> 
    724           <property name="overwrite">False</property> 
    725           <property name="accepts_tab">False</property> 
    726           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    727           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    728           <property name="cursor_visible">False</property> 
    729           <property name="pixels_above_lines">0</property> 
    730           <property name="pixels_below_lines">0</property> 
    731           <property name="pixels_inside_wrap">0</property> 
    732           <property name="left_margin">0</property> 
    733           <property name="right_margin">0</property> 
    734           <property name="indent">0</property> 
    735           <property name="text" translatable="yes"></property> 
    736         </widget> 
    737       </child> 
    738     </widget> 
    739   </child> 
    740 </widget> 
    741  
    742 <widget class="GtkWindow" id="debug_window"> 
    743   <property name="title" translatable="yes">Debug</property> 
    744   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    745   <property name="window_position">GTK_WIN_POS_NONE</property> 
    746   <property name="modal">False</property> 
    747   <property name="default_width">500</property> 
    748   <property name="default_height">200</property> 
    749   <property name="resizable">True</property> 
    750   <property name="destroy_with_parent">False</property> 
    751   <property name="decorated">True</property> 
    752   <property name="skip_taskbar_hint">True</property> 
    753   <property name="skip_pager_hint">True</property> 
    754   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    755   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    756   <property name="focus_on_map">True</property> 
    757   <property name="urgency_hint">False</property> 
    758  
    759   <child> 
    760     <widget class="GtkScrolledWindow" id="scrolledwindow5"> 
    761       <property name="visible">True</property> 
    762       <property name="can_focus">True</property> 
    763       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    764       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    765       <property name="shadow_type">GTK_SHADOW_IN</property> 
    766       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    767  
    768       <child> 
    769         <widget class="GtkTextView" id="debug_text"> 
    770           <property name="visible">True</property> 
    771           <property name="can_focus">True</property> 
    772           <property name="editable">False</property> 
    773           <property name="overwrite">False</property> 
    774           <property name="accepts_tab">False</property> 
    775           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    776           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    777           <property name="cursor_visible">False</property> 
    778           <property name="pixels_above_lines">0</property> 
    779           <property name="pixels_below_lines">0</property> 
    780           <property name="pixels_inside_wrap">0</property> 
    781           <property name="left_margin">0</property> 
    782           <property name="right_margin">0</property> 
    783           <property name="indent">0</property> 
    784           <property name="text" translatable="yes"></property> 
    785         </widget> 
    786       </child> 
    787     </widget> 
    788   </child> 
    789 </widget> 
    790  
     5  <widget class="GtkWindow" id="main-window"> 
     6    <property name="can_focus">True</property> 
     7    <property name="has_focus">True</property> 
     8    <property name="events">GDK_EXPOSURE_MASK | GDK_BUTTON_PRESS_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
     9    <property name="title" translatable="yes">Angband</property> 
     10    <property name="role">main-angband</property> 
     11    <property name="gravity">GDK_GRAVITY_STATIC</property> 
     12    <signal name="button_press_event" handler="on_mouse_click"/> 
     13    <signal name="key_press_event" handler="keypress_event_handler"/> 
     14    <signal name="delete_event" handler="delete_event_handler"/> 
     15    <signal name="destroy_event" handler="destroy_event_handler"/> 
     16    <child> 
     17      <widget class="GtkVBox" id="vbox1"> 
     18        <property name="visible">True</property> 
     19        <child> 
     20          <widget class="GtkMenuBar" id="menubar1"> 
     21            <property name="visible">True</property> 
     22            <property name="can_focus">True</property> 
     23            <child> 
     24              <widget class="GtkMenuItem" id="file_menu"> 
     25                <property name="visible">True</property> 
     26                <property name="label" translatable="yes">_File</property> 
     27                <property name="use_underline">True</property> 
     28                <child> 
     29                  <widget class="GtkMenu" id="file_menu_menu"> 
     30                    <child> 
     31                      <widget class="GtkImageMenuItem" id="new_menu_item"> 
     32                        <property name="visible">True</property> 
     33                        <property name="label">gtk-new</property> 
     34                        <property name="use_underline">True</property> 
     35                        <property name="use_stock">True</property> 
     36                        <signal name="activate" handler="new_event_handler"/> 
     37                        <accelerator key="N" modifiers="GDK_CONTROL_MASK" signal="activate"/> 
     38                      </widget> 
     39                    </child> 
     40                    <child> 
     41                      <widget class="GtkImageMenuItem" id="open_menu_item"> 
     42                        <property name="visible">True</property> 
     43                        <property name="label">gtk-open</property> 
     44                        <property name="use_underline">True</property> 
     45                        <property name="use_stock">True</property> 
     46                        <signal name="activate" handler="open_event_handler"/> 
     47                        <accelerator key="O" modifiers="GDK_CONTROL_MASK" signal="activate"/> 
     48                      </widget> 
     49                    </child> 
     50                    <child> 
     51                      <widget class="GtkImageMenuItem" id="save_menu_item"> 
     52                        <property name="visible">True</property> 
     53                        <property name="label">gtk-save</property> 
     54                        <property name="use_underline">True</property> 
     55                        <property name="use_stock">True</property> 
     56                        <signal name="activate" handler="save_event_handler"/> 
     57                        <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/> 
     58                      </widget> 
     59                    </child> 
     60                    <child> 
     61                      <widget class="GtkSeparatorMenuItem" id="separatormenuitem1"> 
     62                        <property name="visible">True</property> 
     63                      </widget> 
     64                    </child> 
     65                    <child> 
     66                      <widget class="GtkImageMenuItem" id="quit_menu_item"> 
     67                        <property name="visible">True</property> 
     68                        <property name="label">gtk-quit</property> 
     69                        <property name="use_underline">True</property> 
     70                        <property name="use_stock">True</property> 
     71                        <signal name="activate" handler="quit_event_handler"/> 
     72                      </widget> 
     73                    </child> 
     74                  </widget> 
     75                </child> 
     76              </widget> 
     77            </child> 
     78            <child> 
     79              <widget class="GtkMenuItem" id="view_menu"> 
     80                <property name="visible">True</property> 
     81                <property name="label" translatable="yes">_View</property> 
     82                <property name="use_underline">True</property> 
     83                <child> 
     84                  <widget class="GtkMenu" id="view_menu_menu"> 
     85                    <child> 
     86                      <widget class="GtkCheckMenuItem" id="term_menu_item_1"> 
     87                        <property name="visib