Re: More visible mini-buffer prompt face

[Richard Stallman]

    I see no reason for the prompt to stand out more, and changing the

Until we know what colors he is getting now, it is premature to come
to any conclusions.