diff options
| author | Thomas White <taw@bitwiz.org.uk> | 2016-03-17 22:15:33 +0100 |
|---|---|---|
| committer | Thomas White <taw@bitwiz.org.uk> | 2016-03-17 22:15:33 +0100 |
| commit | 17696106b37a1438845dc82fa2ec8734e92dafe2 (patch) | |
| tree | 8992b8b75987832b841ccc5420622ad0e77a4430 | |
| parent | 620b7da4f4b002ac0fdb6e5663c6db392e7a59dd (diff) | |
F5 = do a full rerender
| -rw-r--r-- | src/sc_editor.c | 4 |
1 files changed, 4 insertions, 0 deletions
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; |