diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-04-27 10:40:48 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-04-27 10:40:48 +1000 |
| commit | 0d842f0423ba0754fb3675c7468397a8da5f6e1b (patch) | |
| tree | d5da172bc7af2f7f48a3415eceac67ed67542787 /fltk-widgets-groups-text_displays-text_editors.ads | |
| parent | 5d88963cd203f30b79433e34e5c89bfcf8abfe60 (diff) | |
Organising source
Diffstat (limited to 'fltk-widgets-groups-text_displays-text_editors.ads')
| -rw-r--r-- | fltk-widgets-groups-text_displays-text_editors.ads | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/fltk-widgets-groups-text_displays-text_editors.ads b/fltk-widgets-groups-text_displays-text_editors.ads deleted file mode 100644 index d4c9b85..0000000 --- a/fltk-widgets-groups-text_displays-text_editors.ads +++ /dev/null @@ -1,54 +0,0 @@ - - -with FLTK.Enums; use FLTK.Enums; - - -package FLTK.Widgets.Groups.Text_Displays.Text_Editors is - - - type Text_Editor is new Text_Display with private; - - - function Create - (X, Y, W, H : in Integer; - Text : in String) - return Text_Editor; - - - procedure Undo - (This : in out Text_Editor); - - - procedure Cut - (This : in out Text_Editor); - - - procedure Copy - (This : in out Text_Editor); - - - procedure Paste - (This : in out Text_Editor); - - - procedure Delete - (This : in out Text_Editor); - - - procedure Remove_Key_Binding - (This : in out Text_Editor; - Key : in Shortcut_Key); - - -private - - - type Text_Editor is new Text_Display with null record; - - - overriding procedure Finalize - (This : in out Text_Editor); - - -end FLTK.Widgets.Groups.Text_Displays.Text_Editors; - |