Changeset 984

Show
Ignore:
Timestamp:
07/11/08 22:16:42 (2 months ago)
Author:
shanoah
Message:

GTK Port: Move changing the # of rows & cols to the Options window; Add stubs for GtkBuilder? support and button support.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/lib/xtra/angband.glade

    r648 r984  
    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 Sun Jan  6 01:07:33 2008 --> 
     1<?xml version="1.0"?> 
    42<glade-interface> 
    53  <widget class="GtkWindow" id="main_window"> 
    …… 
    86    <property name="events">GDK_EXPOSURE_MASK | GDK_BUTTON_PRESS_MASK | GDK_KEY_PRESS_MASK | GDK_PROPERTY_CHANGE_MASK | GDK_VISIBILITY_NOTIFY_MASK</property> 
    97    <property name="title" translatable="yes">Angband</property> 
     8    <property name="deletable">False</property> 
    109    <signal name="button_press_event" handler="on_mouse_click"/> 
    1110    <signal name="configure_event" handler="configure_event_handler"/> 
    …… 
    6059                        <property name="use_stock">True</property> 
    6160                        <signal name="activate" handler="save_event_handler"/> 
     61                      </widget> 
     62                    </child> 
     63                    <child> 
     64                      <widget class="GtkMenuItem" id="save_as_menu_item"> 
     65                        <property name="visible">True</property> 
     66                        <property name="label" translatable="yes">Save As...</property> 
     67                        <property name="use_underline">True</property> 
     68                        <signal name="activate" handler="save_as_event_handler"/> 
    6269                      </widget> 
    6370                    </child> 
    …… 
    326333        </child> 
    327334        <child> 
    328           <widget class="GtkDrawingArea" id="main_drawing"> 
    329             <property name="visible">True</property> 
    330             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    331             <signal name="expose_event" handler="expose_event_handler"/> 
     335          <widget class="GtkVBox" id="vbox1"> 
     336            <property name="visible">True</property> 
     337            <child> 
     338              <widget class="GtkToolbar" id="main_toolbar"> 
     339                <property name="icon_size">GTK_ICON_SIZE_SMALL_TOOLBAR</property> 
     340              </widget> 
     341              <packing> 
     342                <property name="expand">False</property> 
     343              </packing> 
     344            </child> 
     345            <child> 
     346              <widget class="GtkDrawingArea" id="main_drawing"> 
     347                <property name="visible">True</property> 
     348                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     349                <signal name="expose_event" handler="expose_event_handler"/> 
     350              </widget> 
     351              <packing> 
     352                <property name="position">1</property> 
     353              </packing> 
     354            </child> 
    332355          </widget> 
    333356          <packing> 
    …… 
    342365    <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> 
    343366    <property name="title" translatable="yes">Term-xxx</property> 
     367    <property name="deletable">False</property> 
    344368    <signal name="configure_event" handler="configure_event_handler"/> 
    345369    <signal name="key_press_event" handler="keypress_event_handler"/> 
    …… 
    577601            <property name="n_columns">2</property> 
    578602            <child> 
    579               <widget class="GtkFontButton" id="term_font_7"> 
     603              <widget class="GtkLabel" id="main_font_label"> 
     604                <property name="visible">True</property> 
     605                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     606                <property name="label" translatable="yes">Main Window</property> 
     607              </widget> 
     608            </child> 
     609            <child> 
     610              <widget class="GtkLabel" id="term_1_font_label"> 
     611                <property name="visible">True</property> 
     612                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     613                <property name="label" translatable="yes">Term Window 1</property> 
     614              </widget> 
     615              <packing> 
     616                <property name="top_attach">1</property> 
     617                <property name="bottom_attach">2</property> 
     618              </packing> 
     619            </child> 
     620            <child> 
     621              <widget class="GtkLabel" id="term_2_font_label"> 
     622                <property name="visible">True</property> 
     623                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     624                <property name="label" translatable="yes">Term Window 2</property> 
     625              </widget> 
     626              <packing> 
     627                <property name="top_attach">2</property> 
     628                <property name="bottom_attach">3</property> 
     629              </packing> 
     630            </child> 
     631            <child> 
     632              <widget class="GtkLabel" id="term_3_font_label"> 
     633                <property name="visible">True</property> 
     634                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     635                <property name="label" translatable="yes">Term Window 3</property> 
     636              </widget> 
     637              <packing> 
     638                <property name="top_attach">3</property> 
     639                <property name="bottom_attach">4</property> 
     640              </packing> 
     641            </child> 
     642            <child> 
     643              <widget class="GtkLabel" id="term_4_font_label"> 
     644                <property name="visible">True</property> 
     645                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     646                <property name="label" translatable="yes">Term Window 4</property> 
     647              </widget> 
     648              <packing> 
     649                <property name="top_attach">4</property> 
     650                <property name="bottom_attach">5</property> 
     651              </packing> 
     652            </child> 
     653            <child> 
     654              <widget class="GtkLabel" id="term_5_font_label"> 
     655                <property name="visible">True</property> 
     656                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     657                <property name="label" translatable="yes">Term Window 5</property> 
     658              </widget> 
     659              <packing> 
     660                <property name="top_attach">5</property> 
     661                <property name="bottom_attach">6</property> 
     662              </packing> 
     663            </child> 
     664            <child> 
     665              <widget class="GtkLabel" id="term_6_font_label"> 
     666                <property name="visible">True</property> 
     667                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     668                <property name="label" translatable="yes">Term Window 6</property> 
     669              </widget> 
     670              <packing> 
     671                <property name="top_attach">6</property> 
     672                <property name="bottom_attach">7</property> 
     673              </packing> 
     674            </child> 
     675            <child> 
     676              <widget class="GtkLabel" id="term_7_font_label"> 
     677                <property name="visible">True</property> 
     678                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     679                <property name="label" translatable="yes">Term Window 7</property> 
     680              </widget> 
     681              <packing> 
     682                <property name="top_attach">7</property> 
     683                <property name="bottom_attach">8</property> 
     684              </packing> 
     685            </child> 
     686            <child> 
     687              <widget class="GtkFontButton" id="term_font_0"> 
    580688                <property name="visible">True</property> 
    581689                <property name="can_focus">True</property> 
    …… 
    589697                <property name="left_attach">1</property> 
    590698                <property name="right_attach">2</property> 
    591                 <property name="top_attach">7</property> 
    592                 <property name="bottom_attach">8</property> 
    593               </packing> 
    594             </child> 
    595             <child> 
    596               <widget class="GtkFontButton" id="term_font_6"> 
     699              </packing> 
     700            </child> 
     701            <child> 
     702              <widget class="GtkFontButton" id="term_font_1"> 
    597703                <property name="visible">True</property> 
    598704                <property name="can_focus">True</property> 
    …… 
    606712                <property name="left_attach">1</property> 
    607713                <property name="right_attach">2</property> 
    608                 <property name="top_attach">6</property> 
    609                 <property name="bottom_attach">7</property> 
    610               </packing> 
    611             </child> 
    612             <child> 
    613               <widget class="GtkFontButton" id="term_font_5"> 
     714                <property name="top_attach">1</property> 
     715                <property name="bottom_attach">2</property> 
     716              </packing> 
     717            </child> 
     718            <child> 
     719              <widget class="GtkFontButton" id="term_font_2"> 
    614720                <property name="visible">True</property> 
    615721                <property name="can_focus">True</property> 
    …… 
    623729                <property name="left_attach">1</property> 
    624730                <property name="right_attach">2</property> 
    625                 <property name="top_attach">5</property> 
    626                 <property name="bottom_attach">6</property> 
    627               </packing> 
    628             </child> 
    629             <child> 
    630               <widget class="GtkFontButton" id="term_font_4"> 
     731                <property name="top_attach">2</property> 
     732                <property name="bottom_attach">3</property> 
     733              </packing> 
     734            </child> 
     735            <child> 
     736              <widget class="GtkFontButton" id="term_font_3"> 
    631737                <property name="visible">True</property> 
    632738                <property name="can_focus">True</property> 
    …… 
    640746                <property name="left_attach">1</property> 
    641747                <property name="right_attach">2</property> 
    642                 <property name="top_attach">4</property> 
    643                 <property name="bottom_attach">5</property> 
    644               </packing> 
    645             </child> 
    646             <child> 
    647               <widget class="GtkFontButton" id="term_font_3"> 
     748                <property name="top_attach">3</property> 
     749                <property name="bottom_attach">4</property> 
     750              </packing> 
     751            </child> 
     752            <child> 
     753              <widget class="GtkFontButton" id="term_font_4"> 
    648754                <property name="visible">True</property> 
    649755                <property name="can_focus">True</property> 
    …… 
    657763                <property name="left_attach">1</property> 
    658764                <property name="right_attach">2</property> 
    659                 <property name="top_attach">3</property> 
    660                 <property name="bottom_attach">4</property> 
    661               </packing> 
    662             </child> 
    663             <child> 
    664               <widget class="GtkFontButton" id="term_font_2"> 
     765                <property name="top_attach">4</property> 
     766                <property name="bottom_attach">5</property> 
     767              </packing> 
     768            </child> 
     769            <child> 
     770              <widget class="GtkFontButton" id="term_font_5"> 
    665771                <property name="visible">True</property> 
    666772                <property name="can_focus">True</property> 
    …… 
    674780                <property name="left_attach">1</property> 
    675781                <property name="right_attach">2</property> 
    676                 <property name="top_attach">2</property> 
    677                 <property name="bottom_attach">3</property> 
    678               </packing> 
    679             </child> 
    680             <child> 
    681               <widget class="GtkFontButton" id="term_font_1"> 
     782                <property name="top_attach">5</property> 
     783                <property name="bottom_attach">6</property> 
     784              </packing> 
     785            </child> 
     786            <child> 
     787              <widget class="GtkFontButton" id="term_font_6"> 
    682788                <property name="visible">True</property> 
    683789                <property name="can_focus">True</property> 
    …… 
    691797                <property name="left_attach">1</property> 
    692798                <property name="right_attach">2</property> 
    693                 <property name="top_attach">1</property> 
    694                 <property name="bottom_attach">2</property> 
    695               </packing> 
    696             </child> 
    697             <child> 
    698               <widget class="GtkFontButton" id="term_font_0"> 
     799                <property name="top_attach">6</property> 
     800                <property name="bottom_attach">7</property> 
     801              </packing> 
     802            </child> 
     803            <child> 
     804              <widget class="GtkFontButton" id="term_font_7"> 
    699805                <property name="visible">True</property> 
    700806                <property name="can_focus">True</property> 
    …… 
    708814                <property name="left_attach">1</property> 
    709815                <property name="right_attach">2</property> 
    710               </packing> 
    711             </child> 
    712             <child> 
    713               <widget class="GtkLabel" id="term_7_font_label"> 
    714                 <property name="visible">True</property> 
    715                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    716                 <property name="label" translatable="yes">Term Window 7</property> 
    717               </widget> 
    718               <packing> 
    719816                <property name="top_attach">7</property> 
    720817                <property name="bottom_attach">8</property> 
    721818              </packing> 
    722819            </child> 
    723             <child> 
    724               <widget class="GtkLabel" id="term_6_font_label"> 
    725                 <property name="visible">True</property> 
    726                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    727                 <property name="label" translatable="yes">Term Window 6</property> 
    728               </widget> 
    729               <packing> 
    730                 <property name="top_attach">6</property> 
    731                 <property name="bottom_attach">7</property> 
    732               </packing> 
    733             </child> 
    734             <child> 
    735               <widget class="GtkLabel" id="term_5_font_label"> 
    736                 <property name="visible">True</property> 
    737                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    738                 <property name="label" translatable="yes">Term Window 5</property> 
    739               </widget> 
    740               <packing> 
    741                 <property name="top_attach">5</property> 
    742                 <property name="bottom_attach">6</property> 
    743               </packing> 
    744             </child> 
    745             <child> 
    746               <widget class="GtkLabel" id="term_4_font_label"> 
    747                 <property name="visible">True</property> 
    748                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    749                 <property name="label" translatable="yes">Term Window 4</property> 
    750               </widget> 
    751               <packing> 
    752                 <property name="top_attach">4</property> 
    753                 <property name="bottom_attach">5</property> 
    754               </packing> 
    755             </child> 
    756             <child> 
    757               <widget class="GtkLabel" id="term_3_font_label"> 
    758                 <property name="visible">True</property> 
    759                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    760                 <property name="label" translatable="yes">Term Window 3</property> 
    761               </widget> 
    762               <packing> 
    763                 <property name="top_attach">3</property> 
    764                 <property name="bottom_attach">4</property> 
    765               </packing> 
    766             </child> 
    767             <child> 
    768               <widget class="GtkLabel" id="term_2_font_label"> 
    769                 <property name="visible">True</property> 
    770                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    771                 <property name="label" translatable="yes">Term Window 2</property> 
    772               </widget> 
    773               <packing> 
    774                 <property name="top_attach">2</property> 
    775                 <property name="bottom_attach">3</property> 
    776               </packing> 
    777             </child> 
    778             <child> 
    779               <widget class="GtkLabel" id="term_1_font_label"> 
    780                 <property name="visible">True</property> 
    781                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    782                 <property name="label" translatable="yes">Term Window 1</property> 
    783               </widget> 
    784               <packing> 
    785                 <property name="top_attach">1</property> 
    786                 <property name="bottom_attach">2</property> 
    787               </packing> 
    788             </child> 
    789             <child> 
    790               <widget class="GtkLabel" id="main_font_label"> 
    791                 <property name="visible">True</property> 
    792                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    793                 <property name="label" translatable="yes">Main Window</property> 
    794               </widget> 
    795             </child> 
    796820          </widget> 
    797821        </child> 
    …… 
    803827          </widget> 
    804828          <packing> 
     829            <property name="tab_fill">False</property> 
    805830            <property name="type">tab</property> 
    806             <property name="tab_fill">False</property> 
    807831          </packing> 
    808832        </child> 
    …… 
    814838            <property name="n_columns">2</property> 
    815839            <child> 
    816               <widget class="GtkLabel" id="message_label"> 
    817                 <property name="visible">True</property> 
    818                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    819                 <property name="label" translatable="yes">Messages</property> 
    820               </widget> 
    821             </child> 
    822             <child> 
    823               <widget class="GtkLabel" id="inventory_label"> 
    824                 <property name="visible">True</property> 
    825                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    826                 <property name="label" translatable="yes">Inventory</property> 
    827               </widget> 
    828               <packing> 
    829                 <property name="top_attach">1</property> 
    830                 <property name="bottom_attach">2</property> 
    831               </packing> 
    832             </child> 
    833             <child> 
    834               <widget class="GtkLabel" id="equipment_label"> 
    835                 <property name="visible">True</property> 
    836                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    837                 <property name="label" translatable="yes">Equipment</property> 
    838               </widget> 
    839               <packing> 
    840                 <property name="top_attach">2</property> 
    841                 <property name="bottom_attach">3</property> 
    842               </packing> 
    843             </child> 
    844             <child> 
    845               <widget class="GtkLabel" id="monst_list_label"> 
    846                 <property name="visible">True</property> 
    847                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    848                 <property name="label" translatable="yes">Monster List</property> 
    849               </widget> 
    850               <packing> 
    851                 <property name="top_attach">3</property> 
    852                 <property name="bottom_attach">4</property> 
    853               </packing> 
    854             </child> 
    855             <child> 
    856               <widget class="GtkLabel" id="status_label"> 
    857                 <property name="visible">True</property> 
    858                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    859                 <property name="label" translatable="yes">Status</property> 
    860               </widget> 
    861               <packing> 
    862                 <property name="top_attach">4</property> 
    863                 <property name="bottom_attach">5</property> 
    864               </packing> 
    865             </child> 
    866             <child> 
    867               <widget class="GtkLabel" id="debug_label"> 
    868                 <property name="visible">True</property> 
    869                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    870                 <property name="label" translatable="yes">Debug</property> 
    871               </widget> 
    872               <packing> 
    873                 <property name="top_attach">5</property> 
    874                 <property name="bottom_attach">6</property> 
    875               </packing> 
    876             </child> 
    877             <child> 
    878               <widget class="GtkFontButton" id="message_font"> 
     840              <widget class="GtkFontButton" id="debug_font"> 
    879841                <property name="visible">True</property> 
    880842                <property name="can_focus">True</property> 
    …… 
    888850                <property name="left_attach">1</property> 
    889851                <property name="right_attach">2</property> 
    890               </packing> 
    891             </child> 
    892             <child> 
    893               <widget class="GtkFontButton" id="inv_font"> 
     852                <property name="top_attach">5</property> 
     853                <property name="bottom_attach">6</property> 
     854              </packing> 
     855            </child> 
     856            <child> 
     857              <widget class="GtkFontButton" id="status_font"> 
    894858                <property name="visible">True</property> 
    895859                <property name="can_focus">True</property> 
    …… 
    903867                <property name="left_attach">1</property> 
    904868                <property name="right_attach">2</property> 
    905                 <property name="top_attach">1</property> 
    906                 <property name="bottom_attach">2</property> 
    907               </packing> 
    908             </child> 
    909             <child> 
    910               <widget class="GtkFontButton" id="equip_font"> 
     869                <property name="top_attach">4</property> 
     870                <property name="bottom_attach">5</property> 
     871              </packing> 
     872            </child> 
     873            <child> 
     874              <widget class="GtkFontButton" id="monst_list_font"> 
    911875                <property name="visible">True</property> 
    912876                <property name="can_focus">True</property> 
    …… 
    920884                <property name="left_attach">1</property> 
    921885                <property name="right_attach">2</property> 
    922                 <property name="top_attach">2</property> 
    923                 <property name="bottom_attach">3</property> 
    924               </packing> 
    925             </child> 
    926             <child> 
    927               <widget class="GtkFontButton" id="monst_list_font"> 
     886                <property name="top_attach">3</property> 
     887                <property name="bottom_attach">4</property> 
     888              </packing> 
     889            </child> 
     890            <child> 
     891              <widget class="GtkFontButton" id="equip_font"> 
    928892                <property name="visible">True</property> 
    929893                <property name="can_focus">True</property> 
    …… 
    937901                <property name="left_attach">1</property> 
    938902                <property name="right_attach">2</property> 
    939                 <property name="top_attach">3</property> 
    940                 <property name="bottom_attach">4</property> 
    941               </packing> 
    942             </child> 
    943             <child> 
    944               <widget class="GtkFontButton" id="status_font"> 
     903                <property name="top_attach">2</property> 
     904                <property name="bottom_attach">3</property> 
     905              </packing> 
     906            </child> 
     907            <child> 
     908              <widget class="GtkFontButton" id="inv_font"> 
    945909                <property name="visible">True</property> 
    946910                <property name="can_focus">True</property> 
    …… 
    954918                <property name="left_attach">1</property> 
    955919                <property name="right_attach">2</property> 
    956                 <property name="top_attach">4</property> 
    957                 <property name="bottom_attach">5</property> 
    958               </packing> 
    959             </child> 
    960             <child> 
    961               <widget class="GtkFontButton" id="debug_font"> 
     920                <property name="top_attach">1</property> 
     921                <property name="bottom_attach">2</property> 
     922              </packing> 
     923            </child> 
     924            <child> 
     925              <widget class="GtkFontButton" id="message_font"> 
    962926                <property name="visible">True</property> 
    963927                <property name="can_focus">True</property> 
    …… 
    971935                <property name="left_attach">1</property> 
    972936                <property name="right_attach">2</property> 
     937              </packing> 
     938            </child> 
     939            <child> 
     940              <widget class="GtkLabel" id="debug_label"> 
     941                <property name="visible">True</property> 
     942                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     943                <property name="label" translatable="yes">Debug</property> 
     944              </widget> 
     945              <packing> 
    973946                <property name="top_attach">5</property> 
    974947                <property name="bottom_attach">6</property> 
    975948              </packing> 
     949            </child> 
     950            <child> 
     951              <widget class="GtkLabel" id="status_label"> 
     952                <property name="visible">True</property> 
     953                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     954                <property name="label" translatable="yes">Status</property> 
     955              </widget> 
     956              <packing> 
     957                <property name="top_attach">4</property> 
     958                <property name="bottom_attach">5</property> 
     959              </packing> 
     960            </child> 
     961            <child> 
     962              <widget class="GtkLabel" id="monst_list_label"> 
     963                <property name="visible">True</property> 
     964                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     965                <property name="label" translatable="yes">Monster List</property> 
     966              </widget> 
     967              <packing> 
     968                <property name="top_attach">3</property> 
     969                <property name="bottom_attach">4</property> 
     970              </packing> 
     971            </child> 
     972            <child> 
     973              <widget class="GtkLabel" id="equipment_label"> 
     974                <property name="visible">True</property> 
     975                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     976                <property name="label" translatable="yes">Equipment</property> 
     977              </widget> 
     978              <packing> 
     979                <property name="top_attach">2</property> 
     980                <property name="bottom_attach">3</property> 
     981              </packing> 
     982            </child> 
     983            <child> 
     984              <widget class="GtkLabel" id="inventory_label"> 
     985                <property name="visible">True</property> 
     986                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     987                <property name="label" translatable="yes">Inventory</property> 
     988              </widget> 
     989              <packing> 
     990                <property name="top_attach">1</property> 
     991                <property name="bottom_attach">2</property> 
     992              </packing> 
     993            </child> 
     994            <child> 
     995              <widget class="GtkLabel" id="message_label"> 
     996                <property name="visible">True</property> 
     997                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     998                <property name="label" translatable="yes">Messages</property> 
     999              </widget> 
    9761000            </child> 
    9771001          </widget> 
    …… 
    9871011          </widget> 
    9881012          <packing> 
    989             <property name="type">tab</property> 
    9901013            <property name="position">1</property> 
    9911014            <property name="tab_fill">False</property> 
     1015            <property name="type">tab</property> 
    9921016          </packing> 
    9931017        </child> 
    …… 
    10171041          </widget> 
    10181042          <packing> 
    1019             <property name="type">tab</property> 
    10201043            <property name="position">2</property> 
    10211044            <property name="tab_fill">False</property> 
     1045            <property name="type">tab</property> 
     1046          </packing> 
     1047        </child> 
     1048        <child> 
     1049          <widget class="GtkTable" id="table4"> 
     1050            <property name="visible">True</property> 
     1051            <property name="n_rows">9</property> 
     1052            <property name="n_columns">3</property> 
     1053            <child> 
     1054              <widget class="GtkSpinButton" id="col_7"> 
     1055                <property name="visible">True</property> 
     1056                <property name="can_focus">True</property> 
     1057                <property name="adjustment">80 0 999999 1 10 10</property> 
     1058                <signal name="value_changed" handler="set_term_col"/> 
     1059              </widget> 
     1060              <packing> 
     1061                <property name="left_attach">1</property> 
     1062                <property name="right_attach">2</property> 
     1063                <property name="top_attach">8</property> 
     1064                <property name="bottom_attach">9</property> 
     1065              </packing> 
     1066            </child> 
     1067            <child> 
     1068              <widget class="GtkSpinButton" id="col_6"> 
     1069                <property name="visible">True</property> 
     1070                <property name="can_focus">True</property> 
     1071                <property name="adjustment">80 0 999999 1 10 10</property> 
     1072                <signal name="value_changed" handler="set_term_col"/> 
     1073              </widget> 
     1074              <packing> 
     1075                <property name="left_attach">1</property> 
     1076                <property name="right_attach">2</property> 
     1077                <property name="top_attach">7</property> 
     1078                <property name="bottom_attach">8</property> 
     1079              </packing> 
     1080            </child> 
     1081            <child> 
     1082              <widget class="GtkSpinButton" id="col_5"> 
     1083                <property name="visible">True</property> 
     1084                <property name="can_focus">True</property> 
     1085                <property name="adjustment">80 0 999999 1 10 10</property> 
     1086                <signal name="value_changed" handler="set_term_col"/> 
     1087              </widget> 
     1088              <packing> 
     1089                <property name="left_attach">1</property> 
     1090                <property name="right_attach">2</property> 
     1091                <property name="top_attach">6</property> 
     1092                <property name="bottom_attach">7</property> 
     1093              </packing> 
     1094            </child> 
     1095            <child> 
     1096              <widget class="GtkSpinButton" id="col_4"> 
     1097                <property name="visible">True</property> 
     1098                <property name="can_focus">True</property> 
     1099                <property name="adjustment">80 0 999999 1 10 10</property> 
     1100                <signal name="value_changed" handler="set_term_col"/> 
     1101              </widget> 
     1102              <packing> 
     1103                <property name="left_attach">1</property> 
     1104                <property name="right_attach">2</property> 
     1105                <property name="top_attach">5</property> 
     1106                <property name="bottom_attach">6</property> 
     1107              </packing> 
     1108            </child> 
     1109            <child> 
     1110              <widget class="GtkSpinButton" id="col_3"> 
     1111                <property name="visible">True</property> 
     1112                <property name="can_focus">True</property> 
     1113                <property name="adjustment">80 0 999999 1 10 10</property> 
     1114                <signal name="value_changed" handler="set_term_col"/> 
     1115              </widget> 
     1116              <packing> 
     1117                <property name="left_attach">1</property> 
     1118                <property name="right_attach">2</property> 
     1119                <property name="top_attach">4</property> 
     1120                <property name="bottom_attach">5</property> 
     1121              </packing> 
     1122            </child> 
     1123            <child> 
     1124              <widget class="GtkSpinButton" id="col_2"> 
     1125                <property name="visible">True</property> 
     1126                <property name="can_focus">True</property> 
     1127                <property name="adjustment">80 0 999999 1 10 10</property> 
     1128                <signal name="value_changed" handler="set_term_col"/> 
     1129              </widget> 
     1130              <packing> 
     1131                <property name="left_attach">1</property> 
     1132                <property name="right_attach">2</property> 
     1133                <property name="top_attach">3</property> 
     1134                <property name="bottom_attach">4</property> 
     1135              </packing> 
     1136            </child> 
     1137            <child> 
     1138              <widget class="GtkSpinButton" id="col_1"> 
     1139                <property name="visible">True</property> 
     1140                <property name="can_focus">True</property> 
     1141                <property name="adjustment">80 0 999999 1 10 10</property> 
     1142                <signal name="value_changed" handler="set_term_col"/> 
     1143              </widget> 
     1144              <packing> 
     1145                <property name="left_attach">1</property> 
     1146                <property name="right_attach">2</property> 
     1147                <property name="top_attach">2</property> 
     1148                <property name="bottom_attach">3</property> 
     1149              </packing> 
     1150            </child> 
     1151            <child> 
     1152              <widget class="GtkSpinButton" id="col_0"> 
     1153                <property name="visible">True</property> 
     1154                <property name="can_focus">True</property> 
     1155                <property name="adjustment">80 0 999999 1 10 10</property> 
     1156                <signal name="value_changed" handler="set_term_col"/> 
     1157              </widget> 
     1158              <packing> 
     1159                <property name="left_attach">1</property> 
     1160                <property name="right_attach">2</property> 
     1161                <property name="top_attach">1</property> 
     1162                <property name="bottom_attach">2</property> 
     1163              </packing> 
     1164            </child> 
     1165            <child> 
     1166              <widget class="GtkSpinButton" id="row_7"> 
     1167                <property name="visible">True</property> 
     1168                <property name="can_focus">True</property> 
     1169                <property name="adjustment">24 0 999999 1 10 10</property> 
     1170                <property name="climb_rate">0.029999999999999999</property> 
     1171                <signal name="value_changed" handler="set_term_row"/> 
     1172              </widget> 
     1173              <packing> 
     1174                <property name="left_attach">2</property> 
     1175                <property name="right_attach">3</property> 
     1176                <property name="top_attach">8</property> 
     1177                <property name="bottom_attach">9</property> 
     1178              </packing> 
     1179            </child> 
     1180            <child> 
     1181              <widget class="GtkSpinButton" id="row_6"> 
     1182                <property name="visible">True</property> 
     1183                <property name="can_focus">True</property> 
     1184                <property name="adjustment">24 0 999999 1 10 10</property> 
     1185                <property name="climb_rate">0.029999999999999999</property> 
     1186                <signal name="value_changed" handler="set_term_row"/> 
     1187              </widget> 
     1188              <packing> 
     1189                <property name="left_attach">2</property> 
     1190                <property name="right_attach">3</property> 
     1191                <property name="top_attach">7</property> 
     1192                <property name="bottom_attach">8</property> 
     1193              </packing> 
     1194            </child> 
     1195            <child> 
     1196              <widget class="GtkSpinButton" id="row_5"> 
     1197                <property name="visible">True</property> 
     1198                <property name="can_focus">True</property> 
     1199                <property name="adjustment">24 0 999999 1 10 10</property> 
     1200                <property name="climb_rate">0.029999999999999999</property> 
     1201