Changeset 645

Show
Ignore:
Timestamp:
01/01/08 01:52:50 (9 months ago)
Author:
shanoah
Message:

Some gtk cleanup; rework angband.glade; reduce memory usage of that port.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/lib/xtra/angband.glade

    r587 r645  
    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<!--Generated with glade3 3.4.1 on Mon Dec 31 22:22:20 2007 --> 
    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="resizable">True</property> 
    15   <property name="destroy_with_parent">False</property> 
    16   <property name="role">main-angband</property> 
    17   <property name="decorated">True</property> 
    18   <property name="skip_taskbar_hint">False</property> 
    19   <property name="skip_pager_hint">False</property> 
    20   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    21   <property name="gravity">GDK_GRAVITY_STATIC</property> 
    22   <property name="focus_on_map">True</property> 
    23   <property name="urgency_hint">False</property> 
    24   <signal name="button_press_event" handler="on_mouse_click"/> 
    25   <signal name="key_press_event" handler="keypress_event_handler"/> 
    26   <signal name="delete_event" handler="delete_event_handler"/> 
    27   <signal name="destroy_event" handler="destroy_event_handler"/> 
    28  
    29   <child> 
    30     <widget class="GtkVBox" id="vbox1"> 
    31       <property name="visible">True</property> 
    32       <property name="homogeneous">False</property> 
    33       <property name="spacing">0</property> 
    34  
    35       <child> 
    36         <widget class="GtkMenuBar" id="menubar1"> 
    37           <property name="visible">True</property> 
    38           <property name="can_focus">True</property> 
    39           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property> 
    40           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property> 
    41  
    42           <child> 
    43             <widget class="GtkMenuItem" id="file_menu"> 
    44               <property name="visible">True</property> 
    45               <property name="label" translatable="yes">_File</property> 
    46               <property name="use_underline">True</property> 
    47  
    48               <child> 
    49                 <widget class="GtkMenu" id="file_menu_menu"> 
    50  
    51                   <child> 
    52                     <widget class="GtkImageMenuItem" id="new_menu_item"> 
    53                       <property name="visible">True</property> 
    54                       <property name="label">gtk-new</property> 
    55                       <property name="use_stock">True</property> 
    56                       <signal name="activate" handler="new_event_handler"/> 
    57                       <accelerator key="N" modifiers="GDK_CONTROL_MASK" signal="activate"/> 
    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                       <accelerator key="O" modifiers="GDK_CONTROL_MASK" signal="activate"/> 
    68                     </widget> 
    69                   </child> 
    70  
    71                   <child> 
    72                     <widget class="GtkImageMenuItem" id="save_menu_item"> 
    73                       <property name="visible">True</property> 
    74                       <property name="label">gtk-save</property> 
    75                       <property name="use_stock">True</property> 
    76                       <signal name="activate" handler="save_event_handler"/> 
    77                       <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/> 
    78                     </widget> 
    79                   </child> 
    80  
    81                   <child> 
    82                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem1"> 
    83                       <property name="visible">True</property> 
    84                     </widget> 
    85                   </child> 
    86  
    87                   <child> 
    88                     <widget class="GtkImageMenuItem" id="quit_menu_item"> 
    89                       <property name="visible">True</property> 
    90                       <property name="label">gtk-quit</property> 
    91                       <property name="use_stock">True</property> 
    92                       <signal name="activate" handler="quit_event_handler"/> 
    93                     </widget> 
    94                   </child> 
    95                 </widget> 
    96               </child> 
    97             </widget> 
    98           </child> 
    99  
    100           <child> 
    101             <widget class="GtkMenuItem" id="view_menu"> 
    102               <property name="visible">True</property> 
    103               <property name="label" translatable="yes">_View</property> 
    104               <property name="use_underline">True</property> 
    105  
    106               <child> 
    107                 <widget class="GtkMenu" id="view_menu_menu"> 
    108  
    109                   <child> 
    110                     <widget class="GtkCheckMenuItem" id="term_menu_item_1"> 
    111                       <property name="visible">True</property> 
    112                       <property name="label" translatable="yes">_Term Window 1</property> 
    113                       <property name="use_underline">True</property> 
    114                       <property name="active">False</property> 
    115                       <signal name="activate" handler="toggle_term_window"/> 
    116                     </widget> 
    117                   </child> 
    118  
    119                   <child> 
    120                     <widget class="GtkCheckMenuItem" id="term_menu_item_2"> 
    121                       <property name="visible">True</property> 
    122                       <property name="label" translatable="yes">_Term Window 2</property> 
    123                       <property name="use_underline">True</property> 
    124                       <property name="active">False</property> 
    125                       <signal name="activate" handler="toggle_term_window"/> 
    126                     </widget> 
    127                   </child> 
    128  
    129                   <child> 
    130                     <widget class="GtkCheckMenuItem" id="term_menu_item_3"> 
    131                       <property name="visible">True</property> 
    132                       <property name="label" translatable="yes">_Term Window 3</property> 
    133                       <property name="use_underline">True</property> 
    134                       <property name="active">False</property> 
    135                       <signal name="activate" handler="toggle_term_window"/> 
    136                     </widget> 
    137                   </child> 
    138  
    139                   <child> 
    140                     <widget class="GtkCheckMenuItem" id="term_menu_item_4"> 
    141                       <property name="visible">True</property> 
    142                       <property name="label" translatable="yes">_Term Window 4</property> 
    143                       <property name="use_underline">True</property> 
    144                       <property name="active">False</property> 
    145                       <signal name="activate" handler="toggle_term_window"/> 
    146                     </widget> 
    147                   </child> 
    148  
    149                   <child> 
    150                     <widget class="GtkCheckMenuItem" id="term_menu_item_5"> 
    151                       <property name="visible">True</property> 
    152                       <property name="label" translatable="yes">_Term Window 5</property> 
    153                       <property name="use_underline">True</property> 
    154                       <property name="active">False</property> 
    155                       <signal name="activate" handler="toggle_term_window"/> 
    156                     </widget> 
    157                   </child> 
    158  
    159                   <child> 
    160                     <widget class="GtkCheckMenuItem" id="term_menu_item_6"> 
    161                       <property name="visible">True</property> 
    162                       <property name="label" translatable="yes">_Term Window 6</property> 
    163                       <property name="use_underline">True</property> 
    164                       <property name="active">False</property> 
    165                       <signal name="activate" handler="toggle_term_window"/> 
    166                     </widget> 
    167                   </child> 
    168  
    169                   <child> 
    170                     <widget class="GtkCheckMenuItem" id="term_menu_item_7"> 
    171                       <property name="visible">True</property> 
    172                       <property name="label" translatable="yes">_Term Window 7</property> 
    173                       <property name="use_underline">True</property> 
    174                       <property name="active">False</property> 
    175                       <signal name="activate" handler="toggle_term_window"/> 
    176                     </widget> 
    177                   </child> 
    178  
    179                   <child> 
    180                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem2"> 
    181                       <property name="visible">True</property> 
    182                     </widget> 
    183                   </child> 
    184  
    185                   <child> 
    186                     <widget class="GtkMenuItem" id="graphics_menu"> 
    187                       <property name="visible">True</property> 
    188                       <property name="label" translatable="yes">_Graphics</property> 
    189                       <property name="use_underline">True</property> 
    190  
    191                       <child> 
    192                         <widget class="GtkMenu" id="graphics_menu_menu"> 
    193  
    194                           <child> 
    195                             <widget class="GtkRadioMenuItem" id="graphics_0"> 
    196                               <property name="visible">True</property> 
    197                               <property name="label" translatable="yes">None</property> 
    198                               <property name="use_underline">True</property> 
    199                               <property name="active">False</property> 
    200                               <signal name="activate" handler="on_graphics_activate" after="yes"/> 
    201                             </widget> 
    202                           </child> 
    203  
    204                           <child> 
    205                             <widget class="GtkRadioMenuItem" id="graphics_1"> 
    206                               <property name="visible">True</property> 
    207                               <property name="label" translatable="yes">Old</property> 
    208                               <property name="use_underline">True</property> 
    209                               <property name="active">False</property> 
    210                               <property name="group">graphics_0</property> 
    211                               <signal name="activate" handler="on_graphics_activate" after="yes"/> 
    212                             </widget> 
    213                           </child> 
    214  
    215                           <child> 
    216                             <widget class="GtkRadioMenuItem" id="graphics_2"> 
    217                               <property name="visible">True</property> 
    218                               <property name="label" translatable="yes">Adam Bolt</property> 
    219                               <property name="use_underline">True</property> 
    220                               <property name="active">False</property> 
    221                               <property name="group">graphics_0</property> 
    222                               <signal name="activate" handler="on_graphics_activate" after="yes"/> 
    223                             </widget> 
    224                           </child> 
    225  
    226                           <child> 
    227                             <widget class="GtkRadioMenuItem" id="graphics_3"> 
    228                               <property name="visible">True</property> 
    229                               <property name="label" translatable="yes">David Gervais</property> 
    230                               <property name="use_underline">True</property> 
    231                               <property name="active">False</property> 
    232                               <property name="group">graphics_0</property> 
    233                               <signal name="activate" handler="on_graphics_activate" after="yes"/> 
    234                             </widget> 
    235                           </child> 
    236  
    237                           <child> 
    238                             <widget class="GtkSeparatorMenuItem" id="separatormenuitem3"> 
    239                               <property name="visible">True</property> 
    240                             </widget> 
    241                           </child> 
    242  
    243                           <child> 
    244                             <widget class="GtkCheckMenuItem" id="big_tile_item"> 
    245                               <property name="visible">True</property> 
    246                               <property name="label" translatable="yes">_Big Tile</property> 
    247                               <property name="use_underline">True</property> 
    248                               <property name="active">False</property> 
    249                               <signal name="activate" handler="on_big_tiles"/> 
    250                             </widget> 
    251                           </child> 
    252                         </widget> 
    253                       </child> 
    254                     </widget> 
    255                   </child> 
    256  
    257                   <child> 
    258                     <widget class="GtkMenuItem" id="options_item"> 
    259                       <property name="visible">True</property> 
    260                       <property name="label" translatable="yes">Options...</property> 
    261                       <property name="use_underline">True</property> 
    262                       <signal name="activate" handler="gtk_widget_show" object="options_window"/> 
    263                     </widget> 
    264                   </child> 
    265  
    266                   <child> 
    267                     <widget class="GtkSeparatorMenuItem" id="separator2"> 
    268                       <property name="visible">True</property> 
    269                     </widget> 
    270                   </child> 
    271  
    272                   <child> 
    273                     <widget class="GtkCheckMenuItem" id="debug_item"> 
    274                       <property name="visible">True</property> 
    275                       <property name="label" translatable="yes">_Debug</property> 
    276                       <property name="use_underline">True</property> 
    277                       <property name="active">False</property> 
    278                     </widget> 
    279                   </child> 
    280                 </widget> 
    281               </child> 
    282             </widget> 
    283           </child> 
    284  
    285           <child> 
    286             <widget class="GtkMenuItem" id="extra_menu"> 
    287               <property name="visible">True</property> 
    288               <property name="label" translatable="yes">_Extra</property> 
    289               <property name="use_underline">True</property> 
    290  
    291               <child> 
    292                 <widget class="GtkMenu" id="extra_menu_menu"> 
    293  
    294                   <child> 
    295                     <widget class="GtkCheckMenuItem" id="messages_item"> 
    296                       <property name="visible">True</property> 
    297                       <property name="label" translatable="yes">_Messages</property> 
    298                       <property name="use_underline">True</property> 
    299                       <property name="active">False</property> 
    300                     </widget> 
    301                   </child> 
    302  
    303                   <child> 
    304                     <widget class="GtkCheckMenuItem" id="inv_item"> 
    305                       <property name="visible">True</property> 
    306                       <property name="label" translatable="yes">_Inventory</property> 
    307                       <property name="use_underline">True</property> 
    308                       <property name="active">False</property> 
    309                     </widget> 
    310                   </child> 
    311  
    312                   <child> 
    313                     <widget class="GtkCheckMenuItem" id="equip_item"> 
    314                       <property name="visible">True</property> 
    315                       <property name="label" translatable="yes">_Equipment</property> 
    316                       <property name="use_underline">True</property> 
    317                       <property name="active">False</property> 
    318                     </widget> 
    319                   </child> 
    320  
    321                   <child> 
    322                     <widget class="GtkCheckMenuItem" id="monst_list_item"> 
    323                       <property name="visible">True</property> 
    324                       <property name="label" translatable="yes">_Monster List</property> 
    325                       <property name="use_underline">True</property> 
    326                       <property name="active">False</property> 
    327                     </widget> 
    328                   </child> 
    329  
    330                   <child> 
    331                     <widget class="GtkCheckMenuItem" id="status_item"> 
    332                       <property name="visible">True</property> 
    333                       <property name="label" translatable="yes">_Status</property> 
    334                       <property name="use_underline">True</property> 
    335                       <property name="active">False</property> 
    336                     </widget> 
    337                   </child> 
    338                 </widget> 
    339               </child> 
    340             </widget> 
    341           </child> 
    342         </widget> 
    343         <packing> 
    344           <property name="padding">0</property> 
    345           <property name="expand">False</property> 
    346           <property name="fill">False</property> 
    347         </packing> 
    348       </child> 
    349  
    350       <child> 
    351         <widget class="GtkDrawingArea" id="drawingarea1"> 
    352           <property name="visible">True</property> 
    353           <property name="can_default">True</property> 
    354           <property name="has_default">True</property> 
    355           <signal name="expose_event" handler="expose_event_handler" object="td"/> 
    356         </widget> 
    357         <packing> 
    358           <property name="padding">0</property> 
    359           <property name="expand">True</property> 
    360           <property name="fill">True</property> 
    361         </packing> 
    362       </child> 
    363     </widget> 
    364   </child> 
    365 </widget> 
    366  
    367 <widget class="GtkFontSelectionDialog" id="font-window"> 
    368   <property name="border_width">5</property> 
    369   <property name="title" translatable="yes">Select Font</property> 
    370   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    371   <property name="window_position">GTK_WIN_POS_NONE</property> 
    372   <property name="modal">False</property> 
    373   <property name="resizable">True</property> 
    374   <property name="destroy_with_parent">False</property> 
    375   <property name="decorated">True</property> 
    376   <property name="skip_taskbar_hint">False</property> 
    377   <property name="skip_pager_hint">False</property> 
    378   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property> 
    379   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    380   <property name="focus_on_map">True</property> 
    381   <property name="urgency_hint">False</property> 
    382  
    383   <child internal-child="cancel_button"> 
    384     <widget class="GtkButton" id="cancel_button1"> 
    385       <property name="visible">True</property> 
    386       <property name="can_default">True</property> 
    387       <property name="can_focus">True</property> 
    388       <property name="relief">GTK_RELIEF_NORMAL</property> 
    389       <property name="focus_on_click">True</property> 
    390       <signal name="clicked" handler="gtk_widget_hide" object="font-window"/> 
    391     </widget> 
    392   </child> 
    393  
    394   <child internal-child="apply_button"> 
    395     <widget class="GtkButton" id="apply_button1"> 
    396       <property name="visible">True</property> 
    397       <property name="can_default">True</property> 
    398       <property name="can_focus">True</property> 
    399       <property name="relief">GTK_RELIEF_NORMAL</property> 
    400       <property name="focus_on_click">True</property> 
    401     </widget> 
    402   </child> 
    403  
    404   <child internal-child="ok_button"> 
    405     <widget class="GtkButton" id="ok_button1"> 
    406       <property name="visible">True</property> 
    407       <property name="can_default">True</property> 
    408       <property name="can_focus">True</property> 
    409       <property name="relief">GTK_RELIEF_NORMAL</property> 
    410       <property name="focus_on_click">True</property> 
    411     </widget> 
    412   </child> 
    413  
    414   <child internal-child="font_selection"> 
    415     <widget class="GtkFontSelection" id="font_selection1"> 
    416       <property name="border_width">5</property> 
    417       <property name="visible">True</property> 
    418       <property name="preview_text" translatable="yes">abcdefghijk ABCDEFGHIJK</property> 
    419     </widget> 
    420     <packing> 
    421       <property name="padding">0</property> 
    422       <property name="expand">True</property> 
    423       <property name="fill">True</property> 
    424     </packing> 
    425   </child> 
    426 </widget> 
    427  
    428 <widget class="GtkWindow" id="term-window"> 
    429   <property name="can_focus">True</property> 
    430   <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> 
    431   <property name="title" translatable="yes">Term-xx</property> 
    432   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    433   <property name="window_position">GTK_WIN_POS_NONE</property> 
    434   <property name="modal">False</property> 
    435   <property name="resizable">True</property> 
    436   <property name="destroy_with_parent">False</property> 
    437   <property name="role">term-window</property> 
    438   <property name="decorated">True</property> 
    439   <property name="skip_taskbar_hint">False</property> 
    440   <property name="skip_pager_hint">False</property> 
    441   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    442   <property name="gravity">GDK_GRAVITY_STATIC</property> 
    443   <property name="focus_on_map">True</property> 
    444   <property name="urgency_hint">False</property> 
    445   <signal name="key_press_event" handler="keypress_event_handler"/> 
    446   <signal name="delete_event" handler="delete_event_handler"/> 
    447   <signal name="destroy_event" handler="hide_event_handler"/> 
    448  
    449   <child> 
    450     <widget class="GtkTable" id="table1"> 
    451       <property name="visible">True</property> 
    452       <property name="n_rows">1</property> 
    453       <property name="n_columns">1</property> 
    454       <property name="homogeneous">False</property> 
    455       <property name="row_spacing">0</property> 
    456       <property name="column_spacing">0</property> 
    457  
    458       <child> 
    459         <widget class="GtkDrawingArea" id="drawingarea2"> 
    460           <property name="visible">True</property> 
    461           <signal name="expose_event" handler="expose_event_handler" object="td"/> 
    462         </widget> 
    463         <packing> 
    464           <property name="left_attach">0</property> 
    465           <property name="right_attach">1</property> 
    466           <property name="top_attach">0</property> 
    467           <property name="bottom_attach">1</property> 
    468         </packing> 
    469       </child> 
    470     </widget> 
    471   </child> 
    472 </widget> 
    473  
    474 <widget class="GtkWindow" id="status_window"> 
    475   <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    476   <property name="title" translatable="yes"></property> 
    477   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    478   <property name="window_position">GTK_WIN_POS_NONE</property> 
    479   <property name="modal">False</property> 
    480   <property name="resizable">True</property> 
    481   <property name="destroy_with_parent">False</property> 
    482   <property name="decorated">True</property> 
    483   <property name="skip_taskbar_hint">False</property> 
    484   <property name="skip_pager_hint">False</property> 
    485   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    486   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    487   <property name="focus_on_map">True</property> 
    488   <property name="urgency_hint">False</property> 
    489   <signal name="destroy_event" handler="gtk_widget_hide"/> 
    490  
    491   <child> 
    492     <widget class="GtkDrawingArea" id="status_drawing_area"> 
    493       <property name="visible">True</property> 
    494     </widget> 
    495   </child> 
    496 </widget> 
    497  
    498 <widget class="GtkWindow" id="message_window"> 
    499   <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    500   <property name="title" translatable="yes">Messages</property> 
    501   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    502   <property name="window_position">GTK_WIN_POS_NONE</property> 
    503   <property name="modal">False</property> 
    504   <property name="resizable">True</property> 
    505   <property name="destroy_with_parent">False</property> 
    506   <property name="decorated">True</property> 
    507   <property name="skip_taskbar_hint">False</property> 
    508   <property name="skip_pager_hint">False</property> 
    509   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    510   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    511   <property name="focus_on_map">True</property> 
    512   <property name="urgency_hint">False</property> 
    513   <signal name="destroy_event" handler="gtk_widget_hide" object="message_window"/> 
    514  
    515   <child> 
    516     <widget class="GtkScrolledWindow" id="scrolledwindow1"> 
    517       <property name="visible">True</property> 
    518       <property name="can_focus">True</property> 
    519       <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    520       <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> 
    521       <property name="shadow_type">GTK_SHADOW_NONE</property> 
    522       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    523  
    524       <child> 
    525         <widget class="GtkTextView" id="message_text"> 
    526           <property name="visible">True</property> 
    527           <property name="can_focus">True</property> 
    528           <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    529           <property name="editable">False</property> 
    530           <property name="overwrite">False</property> 
    531           <property name="accepts_tab">False</property> 
    532           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    533           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    534           <property name="cursor_visible">False</property> 
    535           <property name="pixels_above_lines">0</property> 
    536           <property name="pixels_below_lines">0</property> 
    537           <property name="pixels_inside_wrap">0</property> 
    538           <property name="left_margin">0</property> 
    539           <property name="right_margin">0</property> 
    540           <property name="indent">0</property> 
    541           <property name="text" translatable="yes"></property> 
    542         </widget> 
    543       </child> 
    544     </widget> 
    545   </child> 
    546 </widget> 
    547  
    548 <widget class="GtkWindow" id="inv_window"> 
    549   <property name="events">GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    550   <property name="title" translatable="yes">Inventory</property> 
    551   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    552   <property name="window_position">GTK_WIN_POS_NONE</property> 
    553   <property name="modal">False</property> 
    554   <property name="resizable">True</property> 
    555   <property name="destroy_with_parent">False</property> 
    556   <property name="decorated">True</property> 
    557   <property name="skip_taskbar_hint">False</property> 
    558   <property name="skip_pager_hint">False</property> 
    559   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    560   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    561   <property name="focus_on_map">True</property> 
    562   <property name="urgency_hint">False</property> 
    563  
    564   <child> 
    565     <widget class="GtkScrolledWindow" id="scrolledwindow2"> 
    566       <property name="visible">True</property> 
    567       <property name="can_focus">True</property> 
    568       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    569       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    570       <property name="shadow_type">GTK_SHADOW_IN</property> 
    571       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    572  
    573       <child> 
    574         <widget class="GtkTextView" id="inv_text"> 
    575           <property name="visible">True</property> 
    576           <property name="can_focus">True</property> 
    577           <property name="editable">False</property> 
    578           <property name="overwrite">False</property> 
    579           <property name="accepts_tab">False</property> 
    580           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    581           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    582           <property name="cursor_visible">False</property> 
    583           <property name="pixels_above_lines">0</property> 
    584           <property name="pixels_below_lines">0</property> 
    585           <property name="pixels_inside_wrap">0</property> 
    586           <property name="left_margin">0</property> 
    587           <property name="right_margin">0</property> 
    588           <property name="indent">0</property> 
    589           <property name="text" translatable="yes"></property> 
    590         </widget> 
    591       </child> 
    592     </widget> 
    593   </child> 
    594 </widget> 
    595  
    596 <widget class="GtkWindow" id="equip_window"> 
    597   <property name="events">GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    598   <property name="title" translatable="yes">Equipment</property> 
    599   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    600   <property name="window_position">GTK_WIN_POS_NONE</property> 
    601   <property name="modal">False</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">False</property> 
    606   <property name="skip_pager_hint">False</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="scrolledwindow3"> 
    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="equip_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="monst_list_window"> 
    645   <property name="events">GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    646   <property name="title" translatable="yes">Monster List</property> 
    647   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    648   <property name="window_position">GTK_WIN_POS_NONE</property> 
    649   <property name="modal">False</property> 
    650   <property name="resizable">True</property> 
    651   <property name="destroy_with_parent">False</property> 
    652   <property name="decorated">True</property> 
    653   <property name="skip_taskbar_hint">False</property> 
    654   <property name="skip_pager_hint">False</property> 
    655   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    656   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    657   <property name="focus_on_map">True</property> 
    658   <property name="urgency_hint">False</property> 
    659  
    660   <child> 
    661     <widget class="GtkScrolledWindow" id="scrolledwindow4"> 
    662       <property name="visible">True</property> 
    663       <property name="can_focus">True</property> 
    664       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    665       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    666       <property name="shadow_type">GTK_SHADOW_IN</property> 
    667       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    668  
    669       <child> 
    670         <widget class="GtkTextView" id="monst_list_text"> 
    671           <property name="visible">True</property> 
    672           <property name="can_focus">True</property> 
    673           <property name="editable">False</property> 
    674           <property name="overwrite">False</property> 
    675           <property name="accepts_tab">False</property> 
    676           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    677           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    678           <property name="cursor_visible">False</property> 
    679           <property name="pixels_above_lines">0</property> 
    680           <property name="pixels_below_lines">0</property> 
    681           <property name="pixels_inside_wrap">0</property> 
    682           <property name="left_margin">0</property> 
    683           <property name="right_margin">0</property> 
    684           <property name="indent">0</property> 
    685           <property name="text" translatable="yes"></property> 
    686         </widget> 
    687       </child> 
    688     </widget> 
    689   </child> 
    690 </widget> 
    691  
    692 <widget class="GtkWindow" id="debug_window"> 
    693   <property name="events">GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    694   <property name="title" translatable="yes">Debug</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="resizable">True</property> 
    699   <property name="destroy_with_parent">False</property> 
    700   <property name="decorated">True</property> 
    701   <property name="skip_taskbar_hint">False</property> 
    702   <property name="skip_pager_hint">False</property> 
    703   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    704   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    705   <property name="focus_on_map">True</property> 
    706   <property name="urgency_hint">False</property> 
    707  
    708   <child> 
    709     <widget class="GtkScrolledWindow" id="scrolledwindow5"> 
    710       <property name="visible">True</property> 
    711       <property name="can_focus">True</property> 
    712       <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    713       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property> 
    714       <property name="shadow_type">GTK_SHADOW_IN</property> 
    715       <property name="window_placement">GTK_CORNER_TOP_LEFT</property> 
    716  
    717       <child> 
    718         <widget class="GtkTextView" id="debug_text"> 
    719           <property name="visible">True</property> 
    720           <property name="can_focus">True</property> 
    721           <property name="editable">False</property> 
    722           <property name="overwrite">False</property> 
    723           <property name="accepts_tab">False</property> 
    724           <property name="justification">GTK_JUSTIFY_LEFT</property> 
    725           <property name="wrap_mode">GTK_WRAP_NONE</property> 
    726           <property name="cursor_visible">False</property> 
    727           <property name="pixels_above_lines">0</property> 
    728           <property name="pixels_below_lines">0</property> 
    729           <property name="pixels_inside_wrap">0</property> 
    730           <property name="left_margin">0</property> 
    731           <property name="right_margin">0</property> 
    732           <property name="indent">0</property> 
    733           <property name="text" translatable="yes"></property> 
    734         </widget> 
    735       </child> 
    736     </widget> 
    737   </child> 
    738 </widget> 
    739  
    740 <widget class="GtkWindow" id="options_window"> 
    741   <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    742   <property name="title" translatable="yes"></property> 
    743   <property name="type">GTK_WINDOW_TOPLEVEL</property> 
    744   <property name="window_position">GTK_WIN_POS_NONE</property> 
    745   <property name="modal">False</property> 
    746   <property name="resizable">True</property> 
    747   <property name="destroy_with_parent">False</property> 
    748   <property name="decorated">True</property> 
    749   <property name="skip_taskbar_hint">False</property> 
    750   <property name="skip_pager_hint">False</property> 
    751   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> 
    752   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> 
    753   <property name="focus_on_map">True</property> 
    754   <property name="urgency_hint">False</property> 
    755   <signal name="destroy_event" handler="hide_event_handler" object="options_window"/> 
    756  
    757   <child> 
    758     <widget class="GtkNotebook" id="notebook1"> 
    759       <property name="visible">True</property> 
    760       <property name="can_focus">True</property> 
    761       <property name="show_tabs">True</property> 
    762       <property name="show_border">True</property> 
    763       <property name="tab_pos">GTK_POS_TOP</property> 
    764       <property name="scrollable">False</property> 
    765       <property name="enable_popup">False</property> 
    766  
    767       <child> 
    768         <widget class="GtkTable" id="table2"> 
    769           <property name="visible">True</property> 
    770           <property name="n_rows">8</property> 
    771           <property name="n_columns">2</property> 
    772           <property name="homogeneous">False</property> 
    773           <property name="row_spacing">0</property> 
    774           <property name="column_spacing">0</property> 
    775  
    776           <child> 
    777             <widget class="GtkFontButton" id="term_font_0"> 
    778               <property name="visible">True</property> 
    779               <property name="can_focus">True</property> 
    780               <property name="show_style">True</property> 
    781               <property name="show_size">True</property> 
    782               <property name="use_font">False</property> 
    783               <property name="use_size">False</property> 
    784               <property name="focus_on_click">True</property> 
    785               <signal name="font_set" handler="set_term_font"/> 
    786             </widget> 
    787             <packing> 
    788               <property name="left_attach">1</property> 
    789               <property name="right_attach">2</property> 
    790               <property name="top_attach">0</property> 
    791               <property name="bottom_attach">1</property> 
    792             </packing> 
    793           </child> 
    794  
    795           <child> 
    796             <widget class="GtkFontButton" id="term_font_1"> 
    797               <property name="visible">True</property> 
    798               <property name="can_focus">True</property> 
    799               <property name="show_style">True</property> 
    800               <property name="show_size">True</property> 
    801               <property name="use_font">False</property> 
    802               <property name="use_size">False</property> 
    803               <property name="focus_on_click">True</property> 
    804               <signal name="font_set" handler="set_term_font"/> 
    805             </widget> 
    806             <packing> 
    807               <property name="left_attach">1</property> 
    808               <property name="right_attach">2</property> 
    809               <property name="top_attach">1</property> 
    810               <property name="bottom_attach">2</property> 
    811             </packing> 
    812           </child> 
    813  
    814           <child> 
    815             <widget class="GtkFontButton" id="term_font_2"> 
    816               <property name="visible">True</property> 
    817               <property name="can_focus">True</property> 
    818               <property name="show_style">True</property> 
    819               <property name="show_size">True</property> 
    820               <property name="use_font">False</property> 
    821               <property name="use_size">False</property> 
    822               <property name="focus_on_click">True</property> 
    823               <signal name="font_set" handler="set_term_font"/> 
    824             </widget> 
    825             <packing> 
    826               <property name="left_attach">1</property> 
    827               <property name="right_attach">2</property> 
    828               <property name="top_attach">2</property> 
    829               <property name="bottom_attach">3</property> 
    830             </packing> 
    831           </child> 
    832  
    833           <child> 
    834             <widget class="GtkFontButton" id="term_font_3"> 
    835               <property name="visible">True</property> 
    836               <property name="can_focus">True</property> 
    837               <property name="show_style">True</property> 
    838               <property name="show_size">True</property> 
    839               <property name="use_font">False</property> 
    840               <property name="use_size">False</property> 
    841               <property name="focus_on_click">True</property> 
    842               <signal name="font_set" handler="set_term_font"/> 
    843             </widget> 
    844             <packing> 
    845               <property name="left_attach">1</property> 
    846               <property name="right_attach">2</property> 
    847               <property name="top_attach">3</property> 
    848               <property name="bottom_attach">4</property> 
    849             </packing> 
    850           </child> 
    851  
    852           <child> 
    853             <widget class="GtkFontButton" id="term_font_4"> 
    854               <property name="visible">True</property> 
    855               <property name="can_focus">True</property> 
    856               <property name="show_style">True</property> 
    857               <property name="show_size">True</property> 
    858               <property name="use_font">False</property> 
    859               <property name="use_size">False</property> 
    860               <property name="focus_on_click">True</property> 
    861               <signal name="font_set" handler="set_term_font"/> 
    862             </widget> 
    863             <packing> 
    864               <property name="left_attach">1</property> 
    865               <property name="right_attach">2</property> 
    866