We can turn on the pull down terminal Tilda. It uses F12
as the keybinding to summon the drop down and I think F12
is suppose to make it disappear as well... But, that does not always work. When it does not, you have to click on the panel and then press F12
, erm... the mouse gets involved so what is the point.
Is there a way to hide or make it go away with the escape Esc
key reliably?