Re: `auto-dim-other-windows` -- scrutiny invited

[Stefan Monnier]

> The problem with `window-configuration-change-hook` is that it isn't called
> all the times we would need it. For example, it's not called when you do
> `other-window` via `C-x o`.

It's not sufficient, indeed: it's the hook needed to know when an overlay
needs to be added.  But you additionally need a post-command-hook to
disable the overlay of the selected window (and enable the overlay of
the previously selected window).


        Stefan