From 42904bb6f3b48b27961bbec807cb514661ebb675 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 13 Nov 2016 20:06:05 +1100 Subject: Added optional line numbers --- src/windows-editor.adb | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/windows-editor.adb') diff --git a/src/windows-editor.adb b/src/windows-editor.adb index e9195dd..d995f7a 100644 --- a/src/windows-editor.adb +++ b/src/windows-editor.adb @@ -197,5 +197,15 @@ package body Windows.Editor is end Set_Wrap_Mode; + + + procedure Set_Linenumber_Width + (This : in out Editor_Window; + Width : in Natural) is + begin + This.Editor.Set_Linenumber_Width (Width); + end Set_Linenumber_Width; + + end Windows.Editor; -- cgit