diff options
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 |