darcs patch: NamedWindows: if fetchName returns Nothi... (and 1 more)
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 <andrea.rossato@unibz.it> * 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 <andrea.rossato@unibz.it> * 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).
On Fri, 6 Jul 2007 15:11:41 +0200 Andrea Rossato <mailing_list@istitutocolli.org> 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 <andrea.rossato@unibz.it> * 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 <andrea.rossato@unibz.it> * 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.
participants (2)
-
Andrea Rossato -
Spencer Janssen