Re: Layout menu patch

[Jean-Marc Lasgouttes]

>>>>> "Dekel" == Dekel Tsur <[EMAIL PROTECTED]> writes:

Dekel> There is enough room for 5 lines. However, when you are using
Dekel> nested environments, the left margin usually increases, so this
Dekel> shouldn't be a problem.

Right.

>> - the lines can potentially collide with the '!' of marginpars. I
>> think this '!' should go away, unless somebody find it useful. I
>> find confusing myself.

Dekel> I don't like it either.

I'll remove it (now if it is easy enough).

Dekel> Done it. A patch is attached.

Thanks. I applied it.

JMarc