On Fri, Apr 28, 2000 at 04:22:45PM +0200, Lars Gullik Bj&resh;nnes wrote:
> Dekel Tsur <[EMAIL PROTECTED]> writes:
> 
> | 1. Editing of label insets.
> 
> We had that, Alejandro took it out. Shold be easy to put in again.
> 
> 
> | 3. A menu with the table of contents.
> 
> Hmm, that was a new idea. I think I like it.

I've already manage to do (1) + (3). A patch is attached.

patch.gz

Reply via email to