[xmonad] darcs patch: Implemented smarter system of managing borders for Bor...

Hi there! This is a patch which contains a fairly big rewrite of BorderResize to make it more efficient. The old version used to destroy and re-create all input windows for the borders on every single change. That's obviously not very smart, even so it worked surprisingly well for such a naive approach. In any case, this version now keeps track of windows and where new borders need to be created, destroyed or just adjusted. It should perform better. Regards! Jan Mon Nov 23 00:36:51 CET 2009 Jan Vornberger <jan.vornberger@informatik.uni-oldenburg.de> * Implemented smarter system of managing borders for BorderResize