diff options
| author | Dana Jansens <danakj@orodu.net> | 2013-08-11 16:37:14 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2013-08-11 16:38:20 -0400 |
| commit | db212a4f0149d26dd8f29150a41363b92c14ca4f (patch) | |
| tree | 54797e0e1b743ebc42594a4519da67f1aed8529c /tools | |
| parent | aa1fe695a5bf4625b2d2fc9a26d950e49a36f191 (diff) | |
Maximized undecored windows have incorrect top border. (Bug 5996)
If the window has no border since the theme has bwidth=0, or because the
window is truly undecorated via MWM hints, then we should not allocate space
for the frame of the window which will just be empty pixels.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions