X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=libchimara%2Finput.c;h=d59191641ac2d892eb40ddec1e8215eddf09b83d;hb=8b8b592abd23f01d0e083011b309c6f02f8183d5;hp=43ed0453ddcc56a43394809eac0af3e916371884;hpb=cc4186fe38c106de9251dba5d09660e4a1c2e004;p=projects%2Fchimara%2Fchimara.git

diff --git a/libchimara/input.c b/libchimara/input.c
index 43ed045..d591916 100644
--- a/libchimara/input.c
+++ b/libchimara/input.c
@@ -435,6 +435,10 @@ on_char_input_key_press_event(GtkWidget *widget, GdkEventKey *event, winid_t 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);
 
@@ -456,6 +460,8 @@ on_line_input_key_press_event(GtkWidget *widget, GdkEventKey *event, winid_t win
 	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