Re: subtle problem of font-lock in *compilation* buffer

[Stefan Monnier]

>     Sadly, it seems to be becoming more and more common for people to use
>     spaces in their file/directory names.

> We can try to find clever ways to distinguish, as you've done here.
> (Thanks for thinking of it.)

> Despite the best we can do, there will still be some names that could
> be confused with parts of compiler messages, such that we can't
> distinguish.  When that happens, we have to parse the compiler
> messages properly.  If someone actually uses a name that causes
> confusion, we have to tell him "Don't use names like that."

One problem is that he may not have a choice.  His home directory may
already contain spaces in its name (quite common under w32).


        Stefan