Re: Issue 4015: Add \magnifyStaff. (issue 117830043 by address@hidden)

[Marc Hohl]

Am 18.07.2014 01:59, schrieb David Nalesnik:
> Hi Mark,
>
> On Thu, Jul 17, 2014 at 2:34 PM, <address@hidden
> <mailto:address@hidden>> wrote:
>
>
>
>     While I have your attention, there was some discussion on the mailing
>     list about changing \magnifyMusic and \magnifyStaff to \resizeMusic and
>     \resizeStaff.  Any opinion?
>
>
> Hmm.  To be honest, I rather like \magnifyMusic and \magnifyStaff.  I
> wouldn't think twice about asking for a magnification of 0.5.  Besides,
> there is a markup command \magnify, which presumably allows shrinking.

I wasn't aware of that. Should this be renamed, too?

>   I don't see any issue with calling the commands \scale..., either.  I
> don't see a conflict with \scaleDurations, or the markup command \scale,
> for that matter.

+1

> I don't particularly like \resize..., as there's no sense of a relative
> change, just a change to some other size.

\rescale...?

Marc