Re: Grace Notes size

[Thomas Morley]

2018-05-27 13:58 GMT+02:00 foxfanfare <address@hidden>:

> Thomas Morley-2 wrote
>> The defaults for graces are defined in music-functions.scm, look for
>> `general-grace-settings'.
>
> I just wonder, how do you read easily this kind of file? Because the default
> output in Windows Bloc Notes isn't very practical.

I'don't have Windows...

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