[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Height of start bar brace
From: |
Noeck |
Subject: |
Re: Height of start bar brace |
Date: |
Tue, 26 May 2015 14:46:07 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 |
Dear Pierre,
thanks for looking into this. However, I don't understand what you tell
me here. If I run your code, I see that it does *not* automatically
scale the brace but it is rather odd: too small or too big.
Cheers,
Joram