diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-11-18 21:24:27 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-11-18 21:24:27 +1100 |
| commit | 5d88963cd203f30b79433e34e5c89bfcf8abfe60 (patch) | |
| tree | b1ad21448acadf0ab20fd156a97e880601e18f72 /fltk-widgets-groups-text_displays-text_editors.ads | |
| parent | 0c231d7e045b0ae92f7cf8db1329843010940d3e (diff) | |
Moved Shortcut_Key type to FLTK.Enums, added function to remove key bindings from Text_Editors
Diffstat (limited to 'fltk-widgets-groups-text_displays-text_editors.ads')
| -rw-r--r-- | fltk-widgets-groups-text_displays-text_editors.ads | 8 |
1 files changed, 8 insertions, 0 deletions
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 |