On Sep 14, 2006, at 3:20 PM, Marco Paladini wrote:
> Hello list
> i need a refresh map in playernav
> i did it myself
> here is a simple patch to do it
Thanks. I've integrated your patch into CVS HEAD and the 2.0.x
branch. I made a slight modification to loosen the error-checking so
that playernav doesn't exit so easily.