bug#13686: hi-yellow vs. hi-lock-1

[Stefan Monnier]

>> "hi-lock-1", "hi-lock-2", etc. are the best names.
> My earlier mail asked for making the highlighting face a "core" one.  So
> having highlight-1, highlight-2 etc as "core" themable faces will make
> theme designers pay attention to it.

We could definitely add such core faces.  But in order for that to
augment current functionality, we still need a way for the user to
specify the highlighting directly by its attribute.


        Stefan