diff options
| author | Dana Jansens <danakj@orodu.net> | 2012-10-01 00:32:39 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2012-10-06 22:47:46 -0400 |
| commit | 8a26a5190ca8479b96261c9e896e88bd32f56d06 (patch) | |
| tree | 7b9c354bb439025752f3841d76ff3d1dc0a91c2c /data | |
| parent | 1869e4e830d08acd5f7801acd8910ce99806f53b (diff) | |
When an undecorated window is maximized give it a 1px border at the top (Fix bug 5506)
We want to keep some way for a user to re-decorate the window with the default
bindings. However with a large border width, the top border is much bigger than
it needs to be! So make it fixed at 1px large in this case.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions