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/windows-editor.adb | |
| parent | 4aea3718c6de90471d0f63d930a874c87edb3fcd (diff) | |
Added optional line numbers
Diffstat (limited to 'src/windows-editor.adb')
| -rw-r--r-- | src/windows-editor.adb | 10 |
1 files changed, 10 insertions, 0 deletions
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; |