Changeset 648

Show
Ignore:
Timestamp:
01/04/08 21:31:55 (7 months ago)
Author:
shanoah
Message:

Gtk port: Fix a few redraw hacks and crashing bugs from the last 2 revisions, and get rid of a nasty workaround.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/lib/xtra/angband.glade

    r645 r648  
    11<?xml version="1.0" encoding="UTF-8" standalone="no"?> 
    22<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd"> 
    3 <!--Generated with glade3 3.4.1 on Mon Dec 31 22:22:20 2007 --> 
     3<!--Generated with glade3 3.4.1 on Sun Jan  6 01:07:33 2008 --> 
    44<glade-interface> 
    55  <widget class="GtkWindow" id="main_window"> 
    …… 
    99    <property name="title" translatable="yes">Angband</property> 
    1010    <signal name="button_press_event" handler="on_mouse_click"/> 
     11    <signal name="configure_event" handler="configure_event_handler"/> 
    1112    <signal name="key_press_event" handler="keypress_event_handler"/> 
    1213    <signal name="delete_event" handler="delete_event_handler"/> 
    …… 
    328329            <property name="visible">True</property> 
    329330            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    330             <signal name="configure_event" handler="configure_event_handler"/> 
    331331            <signal name="expose_event" handler="expose_event_handler"/> 
    332332          </widget> 
    …… 
    342342    <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> 
    343343    <property name="title" translatable="yes">Term-xxx</property> 
     344    <signal name="configure_event" handler="configure_event_handler"/> 
    344345    <signal name="key_press_event" handler="keypress_event_handler"/> 
    345346    <signal name="hide" handler="hide_event_handler"/> 
    …… 
    356357            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    357358            <signal name="expose_event" handler="expose_event_handler"/> 
    358             <signal name="configure_event" handler="configure_event_handler"/> 
    359359          </widget> 
    360360        </child> 
    …… 
    577577            <property name="n_columns">2</property> 
    578578            <child> 
    579               <widget class="GtkLabel" id="main_font_label"> 
    580                 <property name="visible">True</property> 
    581                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    582                 <property name="label" translatable="yes">Main Window</property> 
    583               </widget> 
    584             </child> 
    585             <child> 
    586               <widget class="GtkLabel" id="term_1_font_label"> 
    587                 <property name="visible">True</property> 
    588                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    589                 <property name="label" translatable="yes">Term Window 1</property> 
    590               </widget> 
    591               <packing> 
     579              <widget class="GtkFontButton" id="term_font_7"> 
     580                <property name="visible">True</property> 
     581                <property name="can_focus">True</property> 
     582                <property name="receives_default">True</property> 
     583                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     584                <property name="response_id">0</property> 
     585                <property name="font_name">Monospace 12</property> 
     586                <signal name="font_set" handler="set_term_font"/> 
     587              </widget> 
     588              <packing> 
     589                <property name="left_attach">1</property> 
     590                <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"> 
     597                <property name="visible">True</property> 
     598                <property name="can_focus">True</property> 
     599                <property name="receives_default">True</property> 
     600                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     601                <property name="response_id">0</property> 
     602                <property name="font_name">Monospace 12</property> 
     603                <signal name="font_set" handler="set_term_font"/> 
     604              </widget> 
     605              <packing> 
     606                <property name="left_attach">1</property> 
     607                <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"> 
     614                <property name="visible">True</property> 
     615                <property name="can_focus">True</property> 
     616                <property name="receives_default">True</property> 
     617                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     618                <property name="response_id">0</property> 
     619                <property name="font_name">Monospace 12</property> 
     620                <signal name="font_set" handler="set_term_font"/> 
     621              </widget> 
     622              <packing> 
     623                <property name="left_attach">1</property> 
     624                <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"> 
     631                <property name="visible">True</property> 
     632                <property name="can_focus">True</property> 
     633                <property name="receives_default">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="response_id">0</property> 
     636                <property name="font_name">Monospace 12</property> 
     637                <signal name="font_set" handler="set_term_font"/> 
     638              </widget> 
     639              <packing> 
     640                <property name="left_attach">1</property> 
     641                <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"> 
     648                <property name="visible">True</property> 
     649                <property name="can_focus">True</property> 
     650                <property name="receives_default">True</property> 
     651                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     652                <property name="response_id">0</property> 
     653                <property name="font_name">Monospace 12</property> 
     654                <signal name="font_set" handler="set_term_font"/> 
     655              </widget> 
     656              <packing> 
     657                <property name="left_attach">1</property> 
     658                <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"> 
     665                <property name="visible">True</property> 
     666                <property name="can_focus">True</property> 
     667                <property name="receives_default">True</property> 
     668                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     669                <property name="response_id">0</property> 
     670                <property name="font_name">Monospace 12</property> 
     671                <signal name="font_set" handler="set_term_font"/> 
     672              </widget> 
     673              <packing> 
     674                <property name="left_attach">1</property> 
     675                <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"> 
     682                <property name="visible">True</property> 
     683                <property name="can_focus">True</property> 
     684                <property name="receives_default">True</property> 
     685                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     686                <property name="response_id">0</property> 
     687                <property name="font_name">Monospace 12</property> 
     688                <signal name="font_set" handler="set_term_font"/> 
     689              </widget> 
     690              <packing> 
     691                <property name="left_attach">1</property> 
     692                <property name="right_attach">2</property> 
    592693                <property name="top_attach">1</property> 
    593694                <property name="bottom_attach">2</property> 
    …… 
    595696            </child> 
    596697            <child> 
     698              <widget class="GtkFontButton" id="term_font_0"> 
     699                <property name="visible">True</property> 
     700                <property name="can_focus">True</property> 
     701                <property name="receives_default">True</property> 
     702                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     703                <property name="response_id">0</property> 
     704                <property name="font_name">Monospace 12</property> 
     705                <signal name="font_set" handler="set_term_font"/> 
     706              </widget> 
     707              <packing> 
     708                <property name="left_attach">1</property> 
     709                <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> 
     719                <property name="top_attach">7</property> 
     720                <property name="bottom_attach">8</property> 
     721              </packing> 
     722            </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> 
    597768              <widget class="GtkLabel" id="term_2_font_label"> 
    598769                <property name="visible">True</property> 
    …… 
    606777            </child> 
    607778            <child> 
    608               <widget class="GtkLabel" id="term_3_font_label"> 
    609                 <property name="visible">True</property> 
    610                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    611                 <property name="label" translatable="yes">Term Window 3</property> 
    612               </widget> 
    613               <packing> 
    614                 <property name="top_attach">3</property> 
    615                 <property name="bottom_attach">4</property> 
    616               </packing> 
    617             </child> 
    618             <child> 
    619               <widget class="GtkLabel" id="term_4_font_label"> 
    620                 <property name="visible">True</property> 
    621                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    622                 <property name="label" translatable="yes">Term Window 4</property> 
    623               </widget> 
    624               <packing> 
    625                 <property name="top_attach">4</property> 
    626                 <property name="bottom_attach">5</property> 
    627               </packing> 
    628             </child> 
    629             <child> 
    630               <widget class="GtkLabel" id="term_5_font_label"> 
    631                 <property name="visible">True</property> 
    632                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    633                 <property name="label" translatable="yes">Term Window 5</property> 
    634               </widget> 
    635               <packing> 
    636                 <property name="top_attach">5</property> 
    637                 <property name="bottom_attach">6</property> 
    638               </packing> 
    639             </child> 
    640             <child> 
    641               <widget class="GtkLabel" id="term_6_font_label"> 
    642                 <property name="visible">True</property> 
    643                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    644                 <property name="label" translatable="yes">Term Window 6</property> 
    645               </widget> 
    646               <packing> 
    647                 <property name="top_attach">6</property> 
    648                 <property name="bottom_attach">7</property> 
    649               </packing> 
    650             </child> 
    651             <child> 
    652               <widget class="GtkLabel" id="term_7_font_label"> 
    653                 <property name="visible">True</property> 
    654                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    655                 <property name="label" translatable="yes">Term Window 7</property> 
    656               </widget> 
    657               <packing> 
    658                 <property name="top_attach">7</property> 
    659                 <property name="bottom_attach">8</property> 
    660               </packing> 
    661             </child> 
    662             <child> 
    663               <widget class="GtkFontButton" id="term_font_0"> 
    664                 <property name="visible">True</property> 
    665                 <property name="can_focus">True</property> 
    666                 <property name="receives_default">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="response_id">0</property> 
    669                 <property name="font_name">Monospace 12</property> 
    670                 <signal name="font_set" handler="set_term_font"/> 
    671               </widget> 
    672               <packing> 
    673                 <property name="left_attach">1</property> 
    674                 <property name="right_attach">2</property> 
    675               </packing> 
    676             </child> 
    677             <child> 
    678               <widget class="GtkFontButton" id="term_font_1"> 
    679                 <property name="visible">True</property> 
    680                 <property name="can_focus">True</property> 
    681                 <property name="receives_default">True</property> 
    682                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    683                 <property name="response_id">0</property> 
    684                 <property name="font_name">Monospace 12</property> 
    685                 <signal name="font_set" handler="set_term_font"/> 
    686               </widget> 
    687               <packing> 
    688                 <property name="left_attach">1</property> 
    689                 <property name="right_attach">2</property> 
     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> 
    690785                <property name="top_attach">1</property> 
    691786                <property name="bottom_attach">2</property> 
    …… 
    693788            </child> 
    694789            <child> 
    695               <widget class="GtkFontButton" id="term_font_2"> 
    696                 <property name="visible">True</property> 
    697                 <property name="can_focus">True</property> 
    698                 <property name="receives_default">True</property> 
    699                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    700                 <property name="response_id">0</property> 
    701                 <property name="font_name">Monospace 12</property> 
    702                 <signal name="font_set" handler="set_term_font"/> 
    703               </widget> 
    704               <packing> 
    705                 <property name="left_attach">1</property> 
    706                 <property name="right_attach">2</property> 
    707                 <property name="top_attach">2</property> 
    708                 <property name="bottom_attach">3</property> 
    709               </packing> 
    710             </child> 
    711             <child> 
    712               <widget class="GtkFontButton" id="term_font_3"> 
    713                 <property name="visible">True</property> 
    714                 <property name="can_focus">True</property> 
    715                 <property name="receives_default">True</property> 
    716                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    717                 <property name="response_id">0</property> 
    718                 <property name="font_name">Monospace 12</property> 
    719                 <signal name="font_set" handler="set_term_font"/> 
    720               </widget> 
    721               <packing> 
    722                 <property name="left_attach">1</property> 
    723                 <property name="right_attach">2</property> 
    724                 <property name="top_attach">3</property> 
    725                 <property name="bottom_attach">4</property> 
    726               </packing> 
    727             </child> 
    728             <child> 
    729               <widget class="GtkFontButton" id="term_font_4"> 
    730                 <property name="visible">True</property> 
    731                 <property name="can_focus">True</property> 
    732                 <property name="receives_default">True</property> 
    733                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    734                 <property name="response_id">0</property> 
    735                 <property name="font_name">Monospace 12</property> 
    736                 <signal name="font_set" handler="set_term_font"/> 
    737               </widget> 
    738               <packing> 
    739                 <property name="left_attach">1</property> 
    740                 <property name="right_attach">2</property> 
    741                 <property name="top_attach">4</property> 
    742                 <property name="bottom_attach">5</property> 
    743               </packing> 
    744             </child> 
    745             <child> 
    746               <widget class="GtkFontButton" id="term_font_5"> 
    747                 <property name="visible">True</property> 
    748                 <property name="can_focus">True</property> 
    749                 <property name="receives_default">True</property> 
    750                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    751                 <property name="response_id">0</property> 
    752                 <property name="font_name">Monospace 12</property> 
    753                 <signal name="font_set" handler="set_term_font"/> 
    754               </widget> 
    755               <packing> 
    756                 <property name="left_attach">1</property> 
    757                 <property name="right_attach">2</property> 
    758                 <property name="top_attach">5</property> 
    759                 <property name="bottom_attach">6</property> 
    760               </packing> 
    761             </child> 
    762             <child> 
    763               <widget class="GtkFontButton" id="term_font_6"> 
    764                 <property name="visible">True</property> 
    765                 <property name="can_focus">True</property> 
    766                 <property name="receives_default">True</property> 
    767                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    768                 <property name="response_id">0</property> 
    769                 <property name="font_name">Monospace 12</property> 
    770                 <signal name="font_set" handler="set_term_font"/> 
    771               </widget> 
    772               <packing> 
    773                 <property name="left_attach">1</property> 
    774                 <property name="right_attach">2</property> 
    775                 <property name="top_attach">6</property> 
    776                 <property name="bottom_attach">7</property> 
    777               </packing> 
    778             </child> 
    779             <child> 
    780               <widget class="GtkFontButton" id="term_font_7"> 
    781                 <property name="visible">True</property> 
    782                 <property name="can_focus">True</property> 
    783                 <property name="receives_default">True</property> 
    784                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    785                 <property name="response_id">0</property> 
    786                 <property name="font_name">Monospace 12</property> 
    787                 <signal name="font_set" handler="set_term_font"/> 
    788               </widget> 
    789               <packing> 
    790                 <property name="left_attach">1</property> 
    791                 <property name="right_attach">2</property> 
    792                 <property name="top_attach">7</property> 
    793                 <property name="bottom_attach">8</property> 
    794               </packing> 
     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> 
    795795            </child> 
    796796          </widget> 
    …… 
    814814            <property name="n_columns">2</property> 
    815815            <child> 
    816               <widget class="GtkFontButton" id="debug_font"> 
    817                 <property name="visible">True</property> 
    818                 <property name="can_focus">True</property> 
    819                 <property name="receives_default">True</property> 
    820                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    821                 <property name="response_id">0</property> 
    822                 <property name="font_name">Monospace 12</property> 
    823                 <signal name="font_set" handler="set_xtra_font"/> 
    824               </widget> 
    825               <packing> 
    826                 <property name="left_attach">1</property> 
    827                 <property name="right_attach">2</property> 
     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> 
    828873                <property name="top_attach">5</property> 
    829874                <property name="bottom_attach">6</property> 
    …… 
    831876            </child> 
    832877            <child> 
     878              <widget class="GtkFontButton" id="message_font"> 
     879                <property name="visible">True</property> 
     880                <property name="can_focus">True</property> 
     881                <property name="receives_default">True</property> 
     882                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     883                <property name="response_id">0</property> 
     884                <property name="font_name">Monospace 12</property> 
     885                <signal name="font_set" handler="set_xtra_font"/> 
     886              </widget> 
     887              <packing> 
     888                <property name="left_attach">1</property> 
     889                <property name="right_attach">2</property> 
     890              </packing> 
     891            </child> 
     892            <child> 
     893              <widget class="GtkFontButton" id="inv_font"> 
     894                <property name="visible">True</property> 
     895                <property name="can_focus">True</property> 
     896                <property name="receives_default">True</property> 
     897                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     898                <property name="response_id">0</property> 
     899                <property name="font_name">Monospace 12</property> 
     900                <signal name="font_set" handler="set_xtra_font"/> 
     901              </widget> 
     902              <packing> 
     903                <property name="left_attach">1</property> 
     904                <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"> 
     911                <property name="visible">True</property> 
     912                <property name="can_focus">True</property> 
     913                <property name="receives_default">True</property> 
     914                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     915                <property name="response_id">0</property> 
     916                <property name="font_name">Monospace 12</property> 
     917                <signal name="font_set" handler="set_xtra_font"/> 
     918              </widget> 
     919              <packing> 
     920                <property name="left_attach">1</property> 
     921                <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"> 
     928                <property name="visible">True</property> 
     929                <property name="can_focus">True</property> 
     930                <property name="receives_default">True</property> 
     931                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
     932                <property name="response_id">0</property> 
     933                <property name="font_name">Monospace 12</property> 
     934                <signal name="font_set" handler="set_xtra_font"/> 
     935              </widget> 
     936              <packing> 
     937                <property name="left_attach">1</property> 
     938                <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> 
    833944              <widget class="GtkFontButton" id="status_font"> 
    834945                <property name="visible">True</property> 
    …… 
    848959            </child> 
    849960            <child> 
    850               <widget class="GtkFontButton" id="monst_list_font"> 
     961              <widget class="GtkFontButton" id="debug_font"> 
    851962                <property name="visible">True</property> 
    852963                <property name="can_focus">True</property> 
    …… 
    860971                <property name="left_attach">1</property> 
    861972                <property name="right_attach">2</property> 
    862                 <property name="top_attach">3</property> 
    863                 <property name="bottom_attach">4</property> 
    864               </packing> 
    865             </child> 
    866             <child> 
    867               <widget class="GtkFontButton" id="equip_font"> 
    868                 <property name="visible">True</property> 
    869                 <property name="can_focus">True</property> 
    870                 <property name="receives_default">True</property> 
    871                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    872                 <property name="response_id">0</property> 
    873                 <property name="font_name">Monospace 12</property> 
    874                 <signal name="font_set" handler="set_xtra_font"/> 
    875               </widget> 
    876               <packing> 
    877                 <property name="left_attach">1</property> 
    878                 <property name="right_attach">2</property> 
    879                 <property name="top_attach">2</property> 
    880                 <property name="bottom_attach">3</property> 
    881               </packing> 
    882             </child> 
    883             <child> 
    884               <widget class="GtkFontButton" id="inv_font"> 
    885                 <property name="visible">True</property> 
    886                 <property name="can_focus">True</property> 
    887                 <property name="receives_default">True</property> 
    888                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    889                 <property name="response_id">0</property> 
    890                 <property name="font_name">Monospace 12</property> 
    891                 <signal name="font_set" handler="set_xtra_font"/> 
    892               </widget> 
    893               <packing> 
    894                 <property name="left_attach">1</property> 
    895                 <property name="right_attach">2</property> 
    896                 <property name="top_attach">1</property> 
    897                 <property name="bottom_attach">2</property> 
    898               </packing> 
    899             </child> 
    900             <child> 
    901               <widget class="GtkFontButton" id="message_font"> 
    902                 <property name="visible">True</property> 
    903                 <property name="can_focus">True</property> 
    904                 <property name="receives_default">True</property> 
    905                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    906                 <property name="response_id">0</property> 
    907                 <property name="font_name">Monospace 12</property> 
    908                 <signal name="font_set" handler="set_xtra_font"/> 
    909               </widget> 
    910               <packing> 
    911                 <property name="left_attach">1</property> 
    912                 <property name="right_attach">2</property> 
    913               </packing> 
    914             </child> 
    915             <child> 
    916               <widget class="GtkLabel" id="debug_label"> 
    917                 <property name="visible">True</property> 
    918                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    919                 <property name="label" translatable="yes">Debug</property> 
    920               </widget> 
    921               <packing> 
    922973                <property name="top_attach">5</property> 
    923974                <property name="bottom_attach">6</property> 
    924975              </packing> 
    925             </child> 
    926             <child> 
    927               <widget class="GtkLabel" id="status_label"> 
    928                 <property name="visible">True</property> 
    929                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    930                 <property name="label" translatable="yes">Status</property> 
    931               </widget> 
    932               <packing> 
    933                 <property name="top_attach">4</property> 
    934                 <property name="bottom_attach">5</property> 
    935               </packing> 
    936             </child> 
    937             <child> 
    938               <widget class="GtkLabel" id="monst_list_label"> 
    939                 <property name="visible">True</property> 
    940                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    941                 <property name="label" translatable="yes">Monster List</property> 
    942               </widget> 
    943               <packing> 
    944                 <property name="top_attach">3</property> 
    945                 <property name="bottom_attach">4</property> 
    946               </packing> 
    947             </child> 
    948             <child> 
    949               <widget class="GtkLabel" id="equipment_label"> 
    950                 <property name="visible">True</property> 
    951                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    952                 <property name="label" translatable="yes">Equipment</property> 
    953               </widget> 
    954               <packing> 
    955                 <property name="top_attach">2</property> 
    956                 <property name="bottom_attach">3</property> 
    957               </packing> 
    958             </child> 
    959             <child> 
    960               <widget class="GtkLabel" id="inventory_label"> 
    961                 <property name="visible">True</property> 
    962                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    963                 <property name="label" translatable="yes">Inventory</property> 
    964               </widget> 
    965               <packing> 
    966                 <property name="top_attach">1</property> 
    967                 <property name="bottom_attach">2</property> 
    968               </packing> 
    969             </child> 
    970             <child> 
    971               <widget class="GtkLabel" id="message_label"> 
    972                 <property name="visible">True</property> 
    973                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> 
    974                 <property name="label" translatable="yes">Messages</property> 
    975               </widget> 
    976976            </child> 
    977977          </widget> 

  • trunk/src/cairo-utils.c

    r645 r648  
    5151void cairo_clear(cairo_surface_t *surface, cairo_rectangle_t r, byte c) 
    5252{ 
    53         cairo_t *cr; 
    54          
    55         if (surface != NULL) 
    56         { 
    57         cr = cairo_create(surface); 
     53        cairo_t *cr = NULL; 
     54         
     55        if ((surface != NULL) &&(cairo_surface_status(surface) == CAIRO_STATUS_SUCCESS)) 
     56        { 
     57        cr = cairo_create(surface); 
     58         
    5859        if (cr !=NULL) 
    5960        { 

  • trunk/src/main-gtk.c

    r647 r648  
    1717 */ 
    1818  
    19  
    2019#include "angband.h" 
    2120 
    …… 
    4342#endif 
    4443 
     44static void recreate_surface(term_data *td) 
     45{ 
     46        if ((td->drawing_area != NULL) && (cairo_surface_get_reference_count(td->surface) > 0)) 
     47        { 
     48                cairo_surface_destroy(td->surface); 
     49        } 
     50         
     51        td->surface = cairo_image_surface_create(CAIRO_FORMAT_ARGB32, td->size.w, td->size.h); 
     52        set_term_matrix(td);     
     53} 
     54 
    4555static int xtra_window_from_name(cptr s) 
    4656{ 
    …… 
    5666