On Fri, 6 Jul 2007 15:11:41 +0200 Andrea Rossato wrote:

I'm sending the last two patches again (so forget the previous ones) since their descriptions were so full of typos...

Thanks, Andrea

Fri Jul 6 15:06:44 CEST 2007 Andrea Rossato * NamedWindows: if fetchName returns Nothing sets the name to resName ClassHint fetchName may return a Nothing if the window's name contains multi byte characters. In such a case the resName string of the ClassHints of that window will be used instead.

Fri Jul 6 15:08:45 CEST 2007 Andrea Rossato * Tabbed: added more configuration options It is now possible to configure active and inactive border colors, and active and inactive text colors (i.e. tabs are now very similar to Ion3 tabs: former Ion users may appreciate).

I spoke too soon. I applied this fixed patch rather than the patches with typos.