Re: regtests about very small differencies

[Janek Warchoł]

On Mon, Jul 9, 2012 at 9:12 PM, Benkő Pál <address@hidden> wrote:
> hi Janek and all,
>
>> There's a much easier way: set staff-size to something really big.
>>
>> I suggest that we adopt this as an official policy: fixes for
>> easy-to-overlook things should be documented by regtests using
>> big/enormous font-size (e.g. between 30 and 100, depending on issue).
>
> note that setting staff-size and font size is not exactly the same.
> depending on the issue one or other method may be clearly better
> than the other or one.

you're right, these are two different things.  I should've written
"big/enormous staff-size".
(that's not to tell that setting big font-size doesn't have its uses)

thanks,
Janek