Re: Broken hairpin has no padding

[Martín Rincón Botero]

 Thanks Jean for the info. Will do.
  
  
  
 www.martinrinconbotero.com
  
  
  

  
  
>   
> 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  
>
>