diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-05-23 10:14:39 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-05-23 10:14:39 +1000 |
| commit | 404ef8737ec179ef006e769893e20a20ae6088d9 (patch) | |
| tree | fbc500e4c60e9bc07abb68dba8bde606a6afc891 /src/editor_windows.ads | |
| parent | 368a78ef2467f3594e7442bd648beb21e4fd5f30 (diff) | |
Fixed Hide procedure so it properly ensures the Jump To window is hidden
Diffstat (limited to 'src/editor_windows.ads')
0 files changed, 0 insertions, 0 deletions