diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-11-13 18:44:21 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-11-13 18:44:21 +1100 |
| commit | 6fa5de9c6015c2d93aac1f3e379844fc36ff865f (patch) | |
| tree | 585753829a21867c8733459a35671c14f899d5d3 /fltk-widgets-groups-text_displays.ads | |
| parent | 0f9b0b9259ada50de7f8866f9591ce4ad3e7eadc (diff) | |
Added jump to feature
Diffstat (limited to 'fltk-widgets-groups-text_displays.ads')
| -rw-r--r-- | fltk-widgets-groups-text_displays.ads | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/fltk-widgets-groups-text_displays.ads b/fltk-widgets-groups-text_displays.ads index a55b28f..6362160 100644 --- a/fltk-widgets-groups-text_displays.ads +++ b/fltk-widgets-groups-text_displays.ads @@ -87,6 +87,21 @@ package FLTK.Widgets.Groups.Text_Displays is Margin : in Natural := 0); + -- takes into account word wrap as well as newline characters + function Skip_Lines + (This : in out Text_Display; + Start, Lines : in Natural; + Start_Pos_Is_Line_Start : in Boolean := False) + return Natural; + + + -- takes into account word wrap as well as newline characters + function Rewind_Lines + (This : in out Text_Display; + Start, Lines : in Natural) + return Natural; + + private |