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.adb | |
parent | 00a92fa838520364cb02e71f6d9372f617aed57a (diff) |
Added optional line numbers
Diffstat (limited to 'fltk-widgets-groups-text_displays.adb')
-rw-r--r-- | fltk-widgets-groups-text_displays.adb | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/fltk-widgets-groups-text_displays.adb b/fltk-widgets-groups-text_displays.adb index c6a1589..1aa5962 100644 --- a/fltk-widgets-groups-text_displays.adb +++ b/fltk-widgets-groups-text_displays.adb @@ -97,6 +97,11 @@ package body FLTK.Widgets.Groups.Text_Displays is return Interfaces.C.int; pragma Import (C, fl_text_display_rewind_lines, "fl_text_display_rewind_lines"); + procedure fl_text_display_linenumber_width + (TD : in System.Address; + W : in Interfaces.C.int); + pragma Import (C, fl_text_display_linenumber_width, "fl_text_display_linenumber_width"); + @@ -306,5 +311,17 @@ package body FLTK.Widgets.Groups.Text_Displays is end Rewind_Lines; + + + procedure Set_Linenumber_Width + (This : in out Text_Display; + Width : in Natural) is + begin + fl_text_display_linenumber_width + (This.Void_Ptr, + Interfaces.C.int (Width)); + end Set_Linenumber_Width; + + end FLTK.Widgets.Groups.Text_Displays; |