I would like a drop down terminal which drops down when I move the mouse to the top (or bottom, left, right), similar to how the panel can be configured to auto-hide and only drop down or pop up if the mouse hovers to the border where it is.
Currently I only found a method using shortcuts e.g. F12 to bind to e.g.
I'm using XFCE 4.12, but I'm not particularly fixed to XFCE or
xfce4-terminal, so if some other desktop or terminal supports this, it would also help.