Not really the most beautiful of fixes. I thought about various
alternatives but I was not pleased with any of them. If anyone has a
better idea for this, I'm all ears.

On 07.06.2006 14:30:31 jeremias wrote:
> Author: jeremias
> Date: Wed Jun  7 05:30:30 2006
> New Revision: 412389
> URL:
> Log:
> Add bookmarks even if one of the leaves didn't resolve.

Jeremias Maerki

Reply via email to