mirror of
https://github.com/brl/mutter.git
synced 2025-03-19 09:45:16 +00:00

We already do it in the theme code, but not the actual WM code. Since we include the left/right borders, it only seems fair to include the bottom border. This effectively makes it so that shading a window means that the client window "slot" has 0 height.
Description
Languages
C
98.9%
Meson
0.7%
Python
0.3%