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