call gdk_flush() in Update() (see discussion of patch 1047642)

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@32275 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Vadim Zeitlin 2005-02-21 01:24:22 +00:00
parent 09d8cc190d
commit 1b965a9cfb
2 changed files with 12 additions and 0 deletions

View File

@ -3941,6 +3941,12 @@ void wxWindowGTK::Refresh( bool eraseBackground, const wxRect *rect )
void wxWindowGTK::Update()
{
GtkUpdate();
// when we call Update() we really want to update the window immediately on
// screen, even if itmeans flushing the entire queue and hence slowing down
// everything -- but it should still be done, it's just that Update() should
// be called very rarely
gdk_flush();
}
void wxWindowGTK::GtkUpdate()

View File

@ -3941,6 +3941,12 @@ void wxWindowGTK::Refresh( bool eraseBackground, const wxRect *rect )
void wxWindowGTK::Update()
{
GtkUpdate();
// when we call Update() we really want to update the window immediately on
// screen, even if itmeans flushing the entire queue and hence slowing down
// everything -- but it should still be done, it's just that Update() should
// be called very rarely
gdk_flush();
}
void wxWindowGTK::GtkUpdate()