diff options
Diffstat (limited to 'src/fltk_binding/fltk-widgets-groups-text_displays-text_editors.ads')
| -rw-r--r-- | src/fltk_binding/fltk-widgets-groups-text_displays-text_editors.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/fltk_binding/fltk-widgets-groups-text_displays-text_editors.ads b/src/fltk_binding/fltk-widgets-groups-text_displays-text_editors.ads index 5e3ff01..d4c9b85 100644 --- a/src/fltk_binding/fltk-widgets-groups-text_displays-text_editors.ads +++ b/src/fltk_binding/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 |