diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-11-13 20:06:05 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-11-13 20:06:05 +1100 |
| commit | 01af58c37a8eab2346b4a9047b2a1e0b994f120c (patch) | |
| tree | 9e231269908ea9f3024bff02732e3f2842d2b321 /fltk-widgets-groups-text_displays.ads | |
| parent | 00a92fa838520364cb02e71f6d9372f617aed57a (diff) | |
Added optional line numbers
Diffstat (limited to 'fltk-widgets-groups-text_displays.ads')
| -rw-r--r-- | fltk-widgets-groups-text_displays.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/fltk-widgets-groups-text_displays.ads b/fltk-widgets-groups-text_displays.ads index 6362160..0e136ff 100644 --- a/fltk-widgets-groups-text_displays.ads +++ b/fltk-widgets-groups-text_displays.ads @@ -102,6 +102,11 @@ package FLTK.Widgets.Groups.Text_Displays is return Natural; + procedure Set_Linenumber_Width + (This : in out Text_Display; + Width : in Natural); + + private |