Re: can we please define a face for compile.el mouseover?

[Stefan Monnier]

> Can we please define a face to be used for the `mouse-face' property in the
> `compile.el' code?

Why do you want a different mouse-face in compile.el than elsewhere?

> It doesn't make sense to hard-code `highlight' in this code.
> For a user to be able to use a different face for mouseover s?he needs
> to duplicate EACH of the

Actually, you should be able to do it cleanly using face-remapping.


        Stefan