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.