From de8789b8f2573a5a46821c3b34a87f060ad91b73 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sun, 20 Oct 2002 12:44:29 +0000
Subject: [PATCH] ScrollOnKey wasn't working because I failed to set
 seen_key_event in pterm.c.

[originally from svn r2106]
---
 unix/pterm.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/unix/pterm.c b/unix/pterm.c
index 692c704f..541e733a 100644
--- a/unix/pterm.c
+++ b/unix/pterm.c
@@ -786,6 +786,7 @@ gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
 
 	ldisc_send(output+start, end-start, 1);
 	show_mouseptr(0);
+	seen_key_event = 1;
 	term_out();
     }