X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=src%2Fwindow.c;h=719816f58eeb77c1567228379c7e192b0f61c76a;hb=0da322b6699ac19cef78a8d6fd146b3720894a8a;hp=2f3c6021ec4628d0b9f33af14b0cbea739a4dc20;hpb=79e849f3294d0d7824a8a06955a6baf3f2a2a5b7;p=rodin%2Fchimara.git
diff --git a/src/window.c b/src/window.c
index 2f3c602..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
- *
- * newwin = #glk_window_open(win, #winmethod_Above | #winmethod_Proportional, 40, #wintype_TextBuffer, 0);
- *
+ * |[ 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
- *
- * newwin = #glk_window_open(win, #winmethod_Below | #winmethod_Fixed, 5, #wintype_TextGrid, 0);
- *
+ * |[ 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.
@@ -417,7 +413,7 @@ glk_window_open(winid_t split, glui32 method, glui32 size, glui32 wintype,
{
GtkWidget *textview = gtk_text_view_new();
- gtk_text_view_set_wrap_mode( GTK_TEXT_VIEW(textview), GTK_WRAP_CHAR );
+ gtk_text_view_set_wrap_mode( GTK_TEXT_VIEW(textview), GTK_WRAP_NONE );
gtk_text_view_set_editable( GTK_TEXT_VIEW(textview), FALSE );
gtk_widget_show(textview);
@@ -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();