Andrea Rossato on 2007-07-07 08:53:09 +0200: > this fixes the issue reported by Geoffrey about tabs drawn over floating > windows. I can also confirm this patch fixes that particular issue.