[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Change size of DoublePercentRepeat
From: |
Xavier Scheuer |
Subject: |
Re: Change size of DoublePercentRepeat |
Date: |
Sat, 21 Jan 2012 21:31:51 +0100 |
On 21 January 2012 20:59, Caio Barros <address@hidden> wrote:
> \ override DoublePercentRepeat #'font-size = #4
It works here.
Are you sure you have double percent and not [simple] percent repeat?
Cheers,
Xavier
--
Xavier Scheuer <address@hidden>
- Change size of DoublePercentRepeat, Caio Barros, 2012/01/21
- Re: Change size of DoublePercentRepeat,
Xavier Scheuer <=
- Re: Change size of DoublePercentRepeat, Caio Barros, 2012/01/21
- Re: Change size of DoublePercentRepeat, Xavier Scheuer, 2012/01/21
- Re: Change size of DoublePercentRepeat, Caio Barros, 2012/01/21
- Re: Change size of DoublePercentRepeat, Xavier Scheuer, 2012/01/21
- Re: Change size of DoublePercentRepeat, Caio Barros, 2012/01/21
- Re: Change size of DoublePercentRepeat, Caio Barros, 2012/01/21