On Wed, May 15, 2019 at 2:55 PM João Távora <joaotavora@gmail.com> wrote:

> On Wed, May 15, 2019 at 2:19 PM Stefan Monnier <monnier@iro.umontreal.ca>
> wrote:
>
>> > I've just come across the bug myself, and it is indeed annoying.
>> > Can you check if this patch, which seems the simplest, serves
>> > all purposes?
>>
>> FWIW, I find it rather ugly (makes the two minor modes too tightly
>> intertwined).
>>
>
> It's no work of art. But the modes are already intertwined.
>

Hi Stefan,

I still got the patch outstanding that would fix this bug, perhaps we
can install it until someone comes up with a less ugly solution (tho
as I stated I don't think its thaat bad).

João