r23440 - gnucash/trunk/src/gnome-utils - Work around WebKit bug 119003 by flushing events when removing a page from a window.
Mike Alexander
mta at code.gnucash.org
Tue Nov 26 00:36:49 EST 2013
Author: mta
Date: 2013-11-26 00:36:49 -0500 (Tue, 26 Nov 2013)
New Revision: 23440
Trac: http://svn.gnucash.org/trac/changeset/23440
Modified:
gnucash/trunk/src/gnome-utils/gnc-main-window.c
Log:
Work around WebKit bug 119003 by flushing events when removing a page from a window.
See <https://bugs.webkit.org/show_bug.cgi?id=119003>
Modified: gnucash/trunk/src/gnome-utils/gnc-main-window.c
===================================================================
--- gnucash/trunk/src/gnome-utils/gnc-main-window.c 2013-11-25 22:40:47 UTC (rev 23439)
+++ gnucash/trunk/src/gnome-utils/gnc-main-window.c 2013-11-26 05:36:49 UTC (rev 23440)
@@ -2787,6 +2787,12 @@
{
page_num = gtk_notebook_page_num(notebook, new_page->notebook_page);
gtk_notebook_set_current_page(notebook, page_num);
+ /* This may have caused WebKit to schedule a timer interrupt which it
+ sometimes forgets to cancel before deleting the object. See
+ <https://bugs.webkit.org/show_bug.cgi?id=119003>. Get around this
+ by flushing all events to get rid of the timer interrupt. */
+ while (gtk_events_pending())
+ gtk_main_iteration();
}
}
More information about the gnucash-changes
mailing list