hidden panel steals a pixels
I'd like to report a bug that I've been hunting for a while.
To reproduce:
- choose a theme with dark panels
- move the panel to the left side of the screen
- enable auto-hide of the panel (I use always, doesn't matter)
- note that
reserve space at the screen border
becomes greyed-out
- note that
- in xfce4-terminal, run
echo -e "\np\n"
, then maximize the terminal.
Watch the leftmost pixels of the terminal disappear. xterm does the same, so it isn't the terminals fault.
The line representing the hidden panel (I'll call it panel hint) overlaps all windows but doesn't reserve a "keep out zone" for the windows, making the leftmost pixels of each terminal character other program disappear.
In full-screen, the panel hint is hidden
I can think of two good solutions to this issue:
- don't grey out the
reserve space at the screen border
option and make it reserve space only for the panel hint, not the full-size panel when the panel is actively hiding (set to always OR intelligent + wants to hide), so the windows don't move around when we access the panel. - give us an option to disable the panel hint, as:
- you can't see it on dark themes
- it's static
- it's solid color
- we know where we put our panels
- it's easy to find with the mouse
so why waste the pixels?
I'm running manjaro-xfce with the default Matcha-sea and it has dark panels, which is why it took me over an hour to find out that it's the panel, not the terminal or xfwm. I even created a 1080p full-screen test image to test whether it's my thinkpads display that's missing pixels at the edges: