From 01af58c37a8eab2346b4a9047b2a1e0b994f120c Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Sun, 13 Nov 2016 20:06:05 +1100
Subject: Added optional line numbers

---
 fltk-widgets-groups-text_displays.ads | 5 +++++
 1 file changed, 5 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 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