>>> On 27/01/2019 04:52, David F. wrote:
>>> I can specify the font for my score to use with #(define fonts … ), but
>>> calling #(set-global-staff-size) undoes the font definition.
I seem to recall that’s documented somewhere but I can’t find where.
>> Why do you insist on the order, anyway? I
On Jan 27, 2019, at 9:09 PM, Martin Neubauer wrote:
> On 27/01/2019 04:52, David F. wrote:
>> I can specify the font for my score to use with #(define fonts … ), but
>> calling #(set-global-staff-size) undoes the font definition.
>>
>> In the snippet below, Times New Roman will be used as the
On 27/01/2019 04:52, David F. wrote:
> I can specify the font for my score to use with #(define fonts … ), but
> calling #(set-global-staff-size) undoes the font definition.
>
> In the snippet below, Times New Roman will be used as the font for the whole
> document. But if line 6 is uncommented
On Jan 26, 2019, at 8:52 PM, David F. wrote:
> I can specify the font for my score to use with #(define fonts … ), but
> calling #(set-global-staff-size) undoes the font definition.
>
> In the snippet below, Times New Roman will be used as the font for the whole
> document. But if line 6 is
I can specify the font for my score to use with #(define fonts … ), but calling
#(set-global-staff-size) undoes the font definition.
In the snippet below, Times New Roman will be used as the font for the whole
document. But if line 6 is uncommented, the font reverts to the default of New
Centu
