diff options
author | Jed Barber <jjbarber@y7mail.com> | 2016-10-04 18:52:32 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2016-10-04 18:52:32 +1100 |
commit | 1f9e7a15d9414b1a96691111069523a70e107f16 (patch) | |
tree | 6a1a2642cf8936cd9bd2aa013229e6f9c2b79860 /src/editor_windows.ads | |
parent | 7a84d0f3d0d181196b24795592a260e05b63fa74 (diff) |
Basic find functionality working
Diffstat (limited to 'src/editor_windows.ads')
-rw-r--r-- | src/editor_windows.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/editor_windows.ads b/src/editor_windows.ads index 3acec25..b6c6a00 100644 --- a/src/editor_windows.ads +++ b/src/editor_windows.ads @@ -59,6 +59,11 @@ package Editor_Windows is procedure Delete (This : in out Editor_Window); + function Get_Insert_Position (This : in Editor_Window) return Natural; + procedure Set_Insert_Position (This : in out Editor_Window; Pos : in Natural); + procedure Show_Insert_Position (This : in out Editor_Window); + + type About_Window is new Double_Window with private; |