10 Aug
2007
10 Aug
'07
3:57 p.m.
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