[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Broken hairpin has no padding

From: Martín Rincón Botero
Subject: Re: Broken hairpin has no padding
Date: Sat, 30 Jul 2022 12:44:27 -0600


 Thanks Jean for the info. Will do.

> On Jul 30, 2022 at 10:56 AM,  <Jean Abou Samra (mailto:jean@abou-samra.fr)>  
> wrote:
>   >  Le 30/07/2022 18:51 CEST, Martín Rincón Botero  
> <martinrinconbotero@gmail.com>  a écrit :  >   >   >  Hello,  >   >   >   >  
> a few weeks ago I made a comment analyzing the situation with issue #650 
> https://gitlab.com/lilypond/lilypond/-/issues/650#note_1014268644 and would 
> like to hear your opinions on the subject before submitting the corresponding 
> merge request which adds horizontal padding to broken hairpins. For this sort 
> of question, you are more likely to get attention on lilypond-devel than 
> bug-lilypond (which is not subscribed to by all developers, while it is 
> subscribed to by some people who aren't developers but just accept some of 
> the job to read bug reports and create an issue if they look valid and not a 
> duplicate of an existing issue). That being said, I think it would be easiest 
> to look at this if you actually submit the merge request, which displays the 
> test differences. Thanks, Jean  

reply via email to

[Prev in Thread] Current Thread [Next in Thread]