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 | 42904bb6f3b48b27961bbec807cb514661ebb675 (patch) | |
tree | c286b74246da46768ad1fff665c1c39712a8c628 /src/fltk_binding/fltk-widgets-groups-text_displays.ads | |
parent | 4aea3718c6de90471d0f63d930a874c87edb3fcd (diff) |
Added optional line numbers
Diffstat (limited to 'src/fltk_binding/fltk-widgets-groups-text_displays.ads')
-rw-r--r-- | src/fltk_binding/fltk-widgets-groups-text_displays.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/fltk_binding/fltk-widgets-groups-text_displays.ads b/src/fltk_binding/fltk-widgets-groups-text_displays.ads index 6362160..0e136ff 100644 --- a/src/fltk_binding/fltk-widgets-groups-text_displays.ads +++ b/src/fltk_binding/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 |