-
Jasper St. Pierre authored
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.
2b798511