Re: [PATCH] Update Toc when navigation menu is clicked.

[José Matos]

On Wednesday 06 June 2007 21:49:56 Bo Peng wrote:
> OK to apply? (The attached patch also show caption, not filename for
> InsetInclude, a minor correction of the Toc behavior).
>
> Cheers,
> Bo

OK & OK. :-)

-- 
José Abílio