From 80dab00932cb7554e05ade62975d0d2e0c549dbd Mon Sep 17 00:00:00 2001 From: Rod Kay Date: Sun, 10 Dec 2023 17:43:01 +1100 Subject: [PATCH] gel.window.gtk: Return 'False' when handling keyboard events so other widgets can use them. --- 4-high/gel/source/platform/gtk/gel-window-gtk.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/4-high/gel/source/platform/gtk/gel-window-gtk.adb b/4-high/gel/source/platform/gtk/gel-window-gtk.adb index 4354cb2..eaed8f6 100644 --- a/4-high/gel/source/platform/gtk/gel-window-gtk.adb +++ b/4-high/gel/source/platform/gtk/gel-window-gtk.adb @@ -46,7 +46,7 @@ is gel_Window.Keyboard.emit_key_press_Event (Key => to_gel_Key (Event.Key.keyVal), key_Code => Integer (Event.Key.hardware_Keycode)); - return True; + return False; end key_press_Event_Cb; @@ -69,7 +69,7 @@ is gel_Window.is_Open := False; end if; - return True; + return False; end key_release_Event_Cb;