From fbfc5fdae3a6a06730cb9b209c1286dc3dee45da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Lindqvist?= Date: Sat, 18 Jun 2016 20:39:57 +0200 Subject: [PATCH] ui.backend.gtk: add handling of insert key (#1656) --- basis/ui/backend/gtk/gtk.factor | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/basis/ui/backend/gtk/gtk.factor b/basis/ui/backend/gtk/gtk.factor index e1616b5f34..7f75dfd4e8 100644 --- a/basis/ui/backend/gtk/gtk.factor +++ b/basis/ui/backend/gtk/gtk.factor @@ -113,6 +113,7 @@ CONSTANT: action-key-codes { $ GDK_KEY_KP_Enter "ENTER" } { $ GDK_KEY_Escape "ESC" } { $ GDK_KEY_Delete "DELETE" } + { $ GDK_KEY_Insert "INSERT" } { $ GDK_KEY_Home "HOME" } { $ GDK_KEY_Left "LEFT" } { $ GDK_KEY_Up "UP" } @@ -197,8 +198,9 @@ CONSTANT: action-key-codes ] dip window send-scroll t ; : key-sym ( event -- sym/f action? ) - keyval>> dup action-key-codes at [ t ] - [ gdk_keyval_to_unicode [ f ] [ 1string ] if-zero f ] ?if ; + keyval>> dup action-key-codes at [ t ] [ + gdk_keyval_to_unicode [ f ] [ 1string ] if-zero f + ] ?if ; : key-event>gesture ( event -- key-gesture ) [ event-modifiers ] [ key-sym ] [