I just started using Atom because of its support for the Idris languge. One of the main features of the Idris package is a bottom panel with various information about the code being edited:
I open that panel all the time, with various shortcuts, and I’d like to close it with Esc, just like I do with the find & replace panel. But Esc does not work and I cannot find a shortcut that does.
Is this something that should be added to the Idris plugin? If so, can you point me to where in the code should I start looking?