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/windows-editor.adb | |
parent | 368a78ef2467f3594e7442bd648beb21e4fd5f30 (diff) |
Fixed Hide procedure so it properly ensures the Jump To window is hidden
Diffstat (limited to 'src/windows-editor.adb')
0 files changed, 0 insertions, 0 deletions