From 17696106b37a1438845dc82fa2ec8734e92dafe2 Mon Sep 17 00:00:00 2001 From: Thomas White Date: Thu, 17 Mar 2016 22:15:33 +0100 Subject: F5 = do a full rerender --- src/sc_editor.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/sc_editor.c') diff --git a/src/sc_editor.c b/src/sc_editor.c index 42a0b08..2e00e10 100644 --- a/src/sc_editor.c +++ b/src/sc_editor.c @@ -1547,6 +1547,10 @@ static gboolean key_press_sig(GtkWidget *da, GdkEventKey *event, } break; + case GDK_KEY_F5 : + full_rerender(e); + break; + } if ( claim ) return TRUE; -- cgit v1.2.3