Re: easyHeads size

[David Kastrup]

Simon Albrecht <address@hidden> writes:

> On 12.11.2016 01:02, Andrew Bernard wrote:
>> Hi Simon,
>>
>> So it is a bug actually?
>
> I think it’s very reasonable to expect that functionality.

\easyHeadsOn uses

easyHeadsOn = {
  \override NoteHead.stencil = #note-head::brew-ez-stencil
  \override NoteHead.font-size = #-8
  \override NoteHead.font-family = #'sans
  \override NoteHead.font-series = #'bold
}

so a fixed font size is more or less expected.  One could instead have
note-head::brew-ez-stencil account for the difference from the default
font-size, and this value of -8 is a factor of about 0.4 (a major
tenth).  But to add insult to injury, the essay has

  \set autoBeaming = ##f
  \time 2/4
  <d' f g>4
  \once \override NoteHead.stencil = #note-head::brew-ez-stencil
  \once \override NoteHead.font-size = #-7
  \once \override NoteHead.font-family = #'sans
  \once \override NoteHead.font-series = #'bold

which should probably be replaced by \easyHeadsOn.  Will there be other
legacy uses?  Probably.

-- 
David Kastrup