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

[Uwe Brauer]

>>>>> "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.

Thanks!

Uwe