RE: font-lock-warning-face hard to read because it is bold

[Drew Adams]

> > Eli and Jason, do you use font smoothing?
>
> How does one tell?  I don't think I use that, but I want to be sure.

As I wrote to Lennart:

> 1. Right-click the desktop. Choose Properties in the pop-up menu.
> 2. Go to the Appearance tab.
> 3. Click the Effects button.

See whether the box described next is checked, and, if so, what the
pull-down value is. Steps 4 & 5 are to set it to ClearType, which is what is
shown in the screenshot I sent.

> 4. Check the box "Use the following method to smooth edges of screen
fonts:"
> 5. Pick a smoothing type with the pull-down list. I use ClearType.