
13 Oct
2007
13 Oct
'07
2:42 p.m.
On Sat, Oct 13, 2007 at 11:17:42AM +0200, Andrea Rossato wrote:
Sat Oct 13 11:05:24 CEST 2007 Andrea Rossato
* WindowNavigation: don't export the config constructor and some haddock fixes I told to David I would have taken care of that: instead of exporting the config constructor we export 2 functions: navigateColor and noNavigateBorders. Updated documentation accordingly.
I'm confused... what's the benefit of this? It's no big deal to me, 'cause I would just use noNavigateBorders, but it seems to remove the ability to have different U/D/L/R border colors. Devin