ScrollOnKey wasn't working because I failed to set seen_key_event in

pterm.c.

[originally from svn r2106]

diff --git a/unix/pterm.c b/unix/pterm.c
index 692c704fbcf41f5c48790f39aae0b6960d373744..541e733a751d097ba14f7dd1274b090f6a421ec6 100644 (file)
--- 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();
     }