[Xmonad] darcs patch: Decoration.hs: removed redraw in case of... (and 1 more)

[Andrea Rossato]

On Fri, Aug 10, 2007 at 12:20:31PM -0700, David Roundy wrote:
> On Fri, Aug 10, 2007 at 08:30:40PM +0200, Andrea Rossato wrote:
> > I don't know if there are reasons for it - I did not find any, in
> > which case I think it is superfluous and can lead to unwanted results.
> > David, am I right?
> 
> I think this is in here so that we'd redraw the tab when a window title
> changes, so I think it should stay.

Yes indeed.

I noticed a strange behavior when a propertyNotify event is sent to
the rood window and then propagated (BadGC and BadDrawable warnings
generated inside withGC). I will try to further investigate.

Sorry.

Andrea