Re: Magnifystaff question (possibly bug?)

[Michiel Sikma]

Just in case anyone happens to have this same problem and wants a quick workaround, I'm using this instead of \teeny:

\override NoteHead.font-size = #-3

Instead of \normalsize:

\override NoteHead.font-size = #0

This seems to work regardless of magnification, if all you care about is the note heads. It's precisely the same effect as \teeny and \normalsize on a non-magnified staff.

Michiel

 

Let's Deliver

http://letsdeliver.com/

address@hidden

On Sat, Apr 29, 2017 at 11:49 AM, Michiel Sikma <address@hidden> wrote:

Hi there,

There's something I don't entirely understand about \magnifyStaff - I'm using it to scale down my entire score, without having to use layout-set-staff-size (since I don't want to switch to a different feta font size, but just scale the feta20 one slightly.)

However, I discovered that something funny happens when you use \teeny or \normalsize or any of the other commands that set fontSize.

Here's an example:

http://lilybin.com/nqeqsu/1

Basically, when using \teeny, it sets the note heads to a smaller than normal size, but it doesn't take \magnifyStaff into account. So the notes are scaled according to a base of 100 rather than whatever the staff magnification is. Similarly, setting \normalsize resets the note heads to 100% of an unmagnified staff.

My expectation is that \magnifyStaff magnifies everything. So if \teeny sets the size to, say, 70%, and \magnifyStaff is set to #50/100, I expect the size to be 35%. And if \normalsize sets the size to 100%, in \magnifyStaff #50/100 I expect the result to be 50%. Et cetera.

The \normalsize/etc commands permanently change the note head size (and markup size) for a voice, leaving everything else the same. Probably, they are internally setting the fontSize to a static value rather than taking the magnification into account.

Either this is a bug or I'm not using it correctly. But it seems like if you have a magnified staff, one should still be able to use the fontSize commands.

Would love to hear people's thoughts, I'm going to see if I can find a workaround - probably I can just set the fontSize myself based on my magnify value.

Regards,

Michiel

 

Let's Deliver

http://letsdeliver.com/

address@hidden