From 6fa5de9c6015c2d93aac1f3e379844fc36ff865f Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 13 Nov 2016 18:44:21 +1100 Subject: Added jump to feature --- fltk-widgets-groups-text_displays.ads | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'fltk-widgets-groups-text_displays.ads') 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 -- cgit