X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=src%2Fwindow.c;h=719816f58eeb77c1567228379c7e192b0f61c76a;hb=0da322b6699ac19cef78a8d6fd146b3720894a8a;hp=aa894c6a9f84b7d511170872069b8ef353d824a1;hpb=4c3e3df47c07d1c4d4a8fe03c315fb5a55ef08c9;p=rodin%2Fchimara.git

diff --git a/src/window.c b/src/window.c
index aa894c6..719816f 100644
--- a/src/window.c
+++ b/src/window.c
@@ -211,15 +211,11 @@ glk_window_get_root()
  * 
  * So to create a text buffer window which takes the top 40% of the original
  * window's space, you would execute
- * <informalexample><programlisting>
- * newwin = #glk_window_open(win, #winmethod_Above | #winmethod_Proportional, 40, #wintype_TextBuffer, 0);
- * </programlisting></informalexample>
+ * |[ newwin = #glk_window_open(win, #winmethod_Above | #winmethod_Proportional, 40, #wintype_TextBuffer, 0); ]|
  *
  * To create a text grid which is always five lines high, at the bottom of the
  * original window, you would do
- * <informalexample><programlisting>
- * newwin = #glk_window_open(win, #winmethod_Below | #winmethod_Fixed, 5, #wintype_TextGrid, 0);
- * </programlisting></informalexample>
+ * |[ newwin = #glk_window_open(win, #winmethod_Below | #winmethod_Fixed, 5, #wintype_TextGrid, 0); ]|
  * 
  * Note that the meaning of the @size argument depends on the @method argument.
  * If the method is #winmethod_Fixed, it also depends on the @wintype argument.
@@ -563,7 +559,7 @@ glk_window_open(winid_t split, glui32 method, glui32 size, glui32 wintype,
 	/* Set the window as a child of the Glk widget */
 	gtk_widget_set_parent(win->frame, GTK_WIDGET(glk_data->self));
 	gtk_widget_queue_resize(GTK_WIDGET(glk_data->self));
-
+	
 	gdk_threads_leave();
 	
 	/* For blank or pair windows, this is almost a no-op. For text grid and
@@ -771,6 +767,7 @@ glk_window_close(winid_t win, stream_result_t *result)
 	/* Schedule a redraw */
 	gdk_threads_enter();
 	gtk_widget_queue_resize( GTK_WIDGET(glk_data->self) );
+	gdk_window_process_all_updates();
 	gdk_threads_leave();
 }
 
@@ -988,6 +985,7 @@ glk_window_get_size(winid_t win, glui32 *widthptr, glui32 *heightptr)
         case wintype_TextGrid:
 			gdk_threads_enter();
 			/* Wait for the window to be drawn, and then cache the width and height */
+			gdk_window_process_all_updates();
 			while(win->widget->allocation.width == 1 && win->widget->allocation.height == 1)
 		    {
 		        /* Release the GDK lock momentarily */
@@ -996,7 +994,8 @@ glk_window_get_size(winid_t win, glui32 *widthptr, glui32 *heightptr)
 		        while(gtk_events_pending())
 		            gtk_main_iteration();
 		    }
-		    win->width = (glui32)(win->widget->allocation.width / win->unit_width);
+		    
+			win->width = (glui32)(win->widget->allocation.width / win->unit_width);
 		    win->height = (glui32)(win->widget->allocation.height / win->unit_height);
             gdk_threads_leave();
 			
@@ -1017,7 +1016,8 @@ glk_window_get_size(winid_t win, glui32 *widthptr, glui32 *heightptr)
             } */
             
             /* Instead, we wait for GTK to draw the widget. This is probably very slow and should be fixed. */
-            while(win->widget->allocation.width == 1 && win->widget->allocation.height == 1)
+            gdk_window_process_all_updates();
+			while(win->widget->allocation.width == 1 && win->widget->allocation.height == 1)
             {
                 /* Release the GDK lock momentarily */
                 gdk_threads_leave();