diff options
| author | Felix Crux <felixc@felixcrux.com> | 2014-12-19 23:36:46 +0100 |
|---|---|---|
| committer | Felix Crux <felixc@felixcrux.com> | 2014-12-19 23:36:46 +0100 |
| commit | e1fea474888bd42f46e31cb902e3e1175b38d2dd (patch) | |
| tree | 392a1a28e6e4b682b0dbe8552bdf17732eb2581c /XMonad/Prompt/AppLauncher.hs | |
| parent | f84a11a13e06976dff90f10a75b02a145d404fbe (diff) | |
| download | XMonadContrib-e1fea474888bd42f46e31cb902e3e1175b38d2dd.tar.gz XMonadContrib-e1fea474888bd42f46e31cb902e3e1175b38d2dd.tar.xz XMonadContrib-e1fea474888bd42f46e31cb902e3e1175b38d2dd.zip | |
Layout.Spacing: Outer window edges now get as much spacing as inner ones
Ignore-this: 61363e97939fe857876c8252ac5f0302
Layout.Spacing applies a customizable amount of space around the outside of each
window. At window edges where two windows meet, the total distance between them
is therefore twice the customized value (one space value from each window). At
the edge of the screen, however, the spacing is only applied once. This results
in uneven amounts of spacing and differently-sized gaps on the screen.
This patch extends the Spacing layout to include a further gap all around the
edge of the screen, thus making all spaces around windows equal in size.
darcs-hash:20141219223646-7cf82-41539353bf5af7c54809bb7a9ff1c6a52320aa10.gz
Diffstat (limited to 'XMonad/Prompt/AppLauncher.hs')
0 files changed, 0 insertions, 0 deletions