From 01af58c37a8eab2346b4a9047b2a1e0b994f120c Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 13 Nov 2016 20:06:05 +1100 Subject: Added optional line numbers --- c_fl_text_display.cpp | 5 +++++ c_fl_text_display.h | 1 + fltk-widgets-groups-text_displays.adb | 17 +++++++++++++++++ fltk-widgets-groups-text_displays.ads | 5 +++++ 4 files changed, 28 insertions(+) diff --git a/c_fl_text_display.cpp b/c_fl_text_display.cpp index 85ad733..b9e59c6 100644 --- a/c_fl_text_display.cpp +++ b/c_fl_text_display.cpp @@ -98,3 +98,8 @@ int fl_text_display_rewind_lines(TEXTDISPLAY td, int s, int l) { return reinterpret_cast(td)->rewind_lines(s, l); } + +void fl_text_display_linenumber_width(TEXTDISPLAY td, int w) { + reinterpret_cast(td)->linenumber_width(w); +} + diff --git a/c_fl_text_display.h b/c_fl_text_display.h index 3202397..dbd683f 100644 --- a/c_fl_text_display.h +++ b/c_fl_text_display.h @@ -28,6 +28,7 @@ extern "C" void fl_text_display_previous_word(TEXTDISPLAY td); extern "C" void fl_text_display_wrap_mode(TEXTDISPLAY td, int w, int m); extern "C" int fl_text_display_skip_lines(TEXTDISPLAY td, int s, int l, int p); extern "C" int fl_text_display_rewind_lines(TEXTDISPLAY td, int s, int l); +extern "C" void fl_text_display_linenumber_width(TEXTDISPLAY td, int w); #endif 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; 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 -- cgit