[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: regtests about very small differencies

From: Benkő Pál
Subject: Re: regtests about very small differencies
Date: Mon, 9 Jul 2012 21:12:18 +0200

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]