Re: Grace Notes size

[Thomas Morley]

2018-05-27 15:10 GMT+02:00 foxfanfare <address@hidden>:
>> Thomas Morley-2 wrote
> As editor I'm using jEdit
>
> A screenshot of the relevant entry in music-functions.scm accessed via
> jEdit:
> https://i.imgur.com/yM6oA6y.png
>
> Is this significant different from what you see?
>
> Cheers,
>   Harm
>
>
> Unfortunately, yes!
>
> <http://lilypond.1069038.n5.nabble.com/file/t5604/blocnote.png>
> 2018-05-27 13:58 GMT+02:00 foxfanfare &lt;foxfanfare@&gt;:
>
> I tried jEdit, it is much better, thanks!


Well, which editor to use is sort of religion ;)

Though, if you get something from your editor like your image and
can't change the relevant settings, trash it.

Cheers,
  Harm