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