From 42904bb6f3b48b27961bbec807cb514661ebb675 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

---
 src/windows-editor.ads | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/windows-editor.ads')

diff --git a/src/windows-editor.ads b/src/windows-editor.ads
index d2874ed..8012e09 100644
--- a/src/windows-editor.ads
+++ b/src/windows-editor.ads
@@ -95,6 +95,11 @@ package Windows.Editor is
             Margin : in     Natural := 0);
 
 
+    procedure Set_Linenumber_Width
+           (This  : in out Editor_Window;
+            Width : in     Natural);
+
+
 private
 
 
-- 
cgit