/* Emit the "waiting" signal to let listeners know we are ready for input */
g_signal_emit_by_name(glk_data->self, "waiting");
-
- /* Schedule a check for the pager */
- /*
- if(win->type == wintype_TextBuffer)
- g_idle_add(pager_check, win);
- */
}
/**
gtk_widget_grab_focus(win->widget);
gdk_threads_leave();
-
- /* Schedule a check for the pager */
- /*
- g_idle_add(pager_check, win);
- */
}
/**
the shift key when the user tries to type a capital letter */
if(event->is_modifier)
return FALSE; /* don't stop the event */
+
+ /* All text up to the input position is now regarded as being read by the user */
+ if(win->type == wintype_TextBuffer)
+ pager_update(win);
glui32 keycode = keyval_to_glk_keycode(event->keyval, win->input_request_type == INPUT_REQUEST_CHARACTER_UNICODE);
switch(win->type)
{
case wintype_TextBuffer:
+ /* All text up to the input position is now regarded as being read by the user */
+ pager_update(win);
/* History up/down */
if(event->keyval == GDK_Up || event->keyval == GDK_KP_Up