WS_CLIPCHILDREN is not always enabled in wxNotebook (caused painting problems).

[wxWidgets.git] / src / gtk / app.cpp

diff --git a/src/gtk/app.cpp b/src/gtk/app.cpp
index 9c88e7e7b92deba21d36a94c8a22070fc4aad0e3..afe49ce3c1552d12142a6abbfc9c7efffb2f421a 100644 (file)
--- a/src/gtk/app.cpp
+++ b/src/gtk/app.cpp
@@ -133,7 +133,20 @@ void wxExit()
 
 bool wxYield()
 {
-    while (gtk_events_pending() > 0) gtk_main_iteration();
+    // it's necessary to call ProcessIdle() to update the frames sizes which
+    // might have been changed (it also will update other things set from
+    // OnUpdateUI() which is a nice (and desired) side effect)
+    for ( wxNode *node = wxTopLevelWindows.GetFirst();
+          node;
+          node = node->GetNext() )
+    {
+        wxWindow *win = ((wxWindow*)node->GetData());
+        win->OnInternalIdle();
+    }
+
+    while (gtk_events_pending() > 0)
+        gtk_main_iteration();
+
     return TRUE;
 }