Re: set-face-font and custom-set-font, DejaVu, fonts for hebrew

[Dan Espen]

Uwe Brauer <oub@mat.ucm.es> writes:

>>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:
>
>
>    >   (set-face-font 'default "DejaVu Sans Mono-12")
>
>    > (assuming 12 is the size you want; if not, use a different size).
>
> That is indeed much better, however I want it in bold.
>
> It turns out that
>
> (set-face-font 'default "DejaVu Sans Mono-14")
>
> Does the trick, why bold vs non bold depends on the size is beyond me.

It doesn't and that font is not bold.
This is a bold font:

(set-face-font 'default "DejaVu Sans Mono-14:bold")

-- 
Dan Espen