|
From: | Caio Barros |
Subject: | Re: Change size of DoublePercentRepeat |
Date: | Sat, 21 Jan 2012 20:12:21 -0200 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |