From 5d88963cd203f30b79433e34e5c89bfcf8abfe60 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Fri, 18 Nov 2016 21:24:27 +1100 Subject: Moved Shortcut_Key type to FLTK.Enums, added function to remove key bindings from Text_Editors --- fltk-widgets-groups-text_displays-text_editors.ads | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'fltk-widgets-groups-text_displays-text_editors.ads') diff --git a/fltk-widgets-groups-text_displays-text_editors.ads b/fltk-widgets-groups-text_displays-text_editors.ads index 5e3ff01..d4c9b85 100644 --- a/fltk-widgets-groups-text_displays-text_editors.ads +++ b/fltk-widgets-groups-text_displays-text_editors.ads @@ -1,5 +1,8 @@ +with FLTK.Enums; use FLTK.Enums; + + package FLTK.Widgets.Groups.Text_Displays.Text_Editors is @@ -32,6 +35,11 @@ package FLTK.Widgets.Groups.Text_Displays.Text_Editors is (This : in out Text_Editor); + procedure Remove_Key_Binding + (This : in out Text_Editor; + Key : in Shortcut_Key); + + private -- cgit