[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue 4931 make deadNote work with other font-settings (issue 309780
Re: Issue 4931 make deadNote work with other font-settings (issue 309780043 by address@hidden)
Wed, 27 Jul 2016 10:16:24 -0700
On 2016/07/27 14:12:12, dak wrote:
On 2016/07/27 13:32:04, thomasmorley651 wrote:
> regtest-version corrected
If we have the meanings to spit out a warning when the character is
not in the
font, shouldn't we be able to selectively fall back to Emmentaler for
not in the current font?
Bad I have no other music-font to test installed on my system, will ask
on the list.