diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-10-04 18:52:32 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-10-04 18:52:32 +1100 |
| commit | 3f1a529a3b82c322678163cb70a8884fdf3eb920 (patch) | |
| tree | f4c37f9c5d156d5d66658df7cae20557c8f6ac02 /fltk-widgets-groups-text_displays.ads | |
| parent | bc54653c3e5277afecaecf2f208e1ee335df3a6e (diff) | |
Basic find functionality working
Diffstat (limited to 'fltk-widgets-groups-text_displays.ads')
| -rw-r--r-- | fltk-widgets-groups-text_displays.ads | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/fltk-widgets-groups-text_displays.ads b/fltk-widgets-groups-text_displays.ads index bb99e78..84c6551 100644 --- a/fltk-widgets-groups-text_displays.ads +++ b/fltk-widgets-groups-text_displays.ads @@ -56,6 +56,20 @@ package FLTK.Widgets.Groups.Text_Displays is Size : in Font_Size); + function Get_Insert_Position + (This : in Text_Display) + return Natural; + + + procedure Set_Insert_Position + (This : in out Text_Display; + Pos : in Natural); + + + procedure Show_Insert_Position + (This : in out Text_Display); + + private |