Re: change the size of the arpeggio arrows

[Janek Warchoł]

On Tue, Apr 3, 2012 at 12:24 AM, Paolo Prete <address@hidden> wrote:
> Hello,
>
> how can I change the size of the arpeggio (up and down) arrows?
> The default size is really small....

I think it may be impossible (i.e. if you increase it's font-size, the
size of the arpeggio zigzag will also increase).
I agree that the arrow should be bigger.  Long time ago i wrote a
draft patch that addresses this, but i'm too busy now to do something
about it.  Maybe you'd like to handle it (files attached)?

cheers,
Janek

0001-font-widening-the-arpeggio-arrow.patch
Description: Binary data

0002-more-fiddling.patch
Description: Binary data