Feature request: floating point DropdownWidth and DropdownHeight for more precise control
Motivation: I like full-screen drop-down terminal with DropdownWith=DropdownHeight=100. The only problem of it is that it somehow prevents the hidden xfce4-panel from showing up when the mouse is on the edge of the screen.
The current configuration only accepts integer percentage for DropdownWidth and DropdownHeight. As a result, the largest width/height that is not 100% is 99%, which is an obvious gap with ~10 pixels.
It would be nice if DropdownWidth/DropdownHeight are allowed to be floating points, so that we can have technically non full-screen drop-down terminal with negligible 1px margin.
Thanks.