AFAICT, F4 allows to open the terminal but doesn’t hide it.
It would be nice to be able to hit F4 a second time to hide it,
a third time to bring it back and so on.

(Unlike in e.g. Dolphin, I’m not suggesting that it should send
an EOF and kill the current terminal, merely that it could be
hidden and shown again.)

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.