
On Sat, Oct 13, 2007 at 02:42:29PM -0400, Devin Mullins wrote:
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.
Hiding the config constructor to the user was an explicit (and reasonably) David's request - he's the author and I told him I was going to take care of that since I did some other modification to the module. As I said, I leave this patch to Spencer's discretion. Andrea