STRUT aware gap toggling (clean patch)
STRUT aware gap toggling (clean patch)

Without this patch, ManageDocks would only set the gap according to a window’s
STRUT when the window is first mapped. This information would then get lost when
the user toggle the gap.

Now, when the user toggles the Gap, all present windows are scanned for STRUT
settings, and the gap is set accordingly. No need to manually configure the gap
anymore.

This is the same patch as before, but independant of the Hooks patches, and with
more documentation.

darcs-hash:20071022220132-c9905-fb953a07a9c15ed37a40b47d83763f434de47fcf

jthornber/XMonadContrib,jthornber/XMonadContrib