|
From: | Xavier Scheuer |
Subject: | Re: Change size of DoublePercentRepeat |
Date: | Sat, 21 Jan 2012 22:33:31 +0100 |
On 21 January 2012 21:53, Caio Barros <address@hidden> wrote: > \override DoublePercentRepeat #'font-size = #10 It's DoubleRepeatSlash , not DoublePercentRepeat . \override DoubleRepeatSlash #'font-size = #10 Cheers, Xavier -- Xavier Scheuer <address@hidden>
[Prev in Thread] | Current Thread | [Next in Thread] |