On Wed, May 15, 2019 at 2:19 PM Stefan Monnier <address@hidden
> 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
It's no work of art. But the modes are already intertwined.
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).