[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: \hideNotes hides too many dots
|
From: |
Robin Bannister |
|
Subject: |
Re: \hideNotes hides too many dots |
|
Date: |
Tue, 20 Jun 2017 11:18:46 +0200 |
|
User-agent: |
Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.0.1 |
Thomas Morley wrote:
I've no clue how this _could_ be fixed.
I failed to identify the code responsible for dropping one dot either.
In 2.18.2 this is note-collision.cc, which comments:
> when merging identical heads, dots on the down-stem head disappear
Further down, dot_wipe_head triggers suicide rather than transparency.
Cheers,
Robin