Lars Ingebrigtsen writes: > Hm... well, since this is an optional thing users can switch on, > perhaps making it slightly slower wouldn't be that much of a problem. > Let's see... OK, here's a proof of concept. With the patch, the mode line looks like: