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.
No differences found
This page took 0.025399 seconds and 4 git commands to generate.