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

[Eli Zaretskii]

> From: Uwe Brauer <oub@mat.ucm.es>
> Date: Fri, 07 Aug 2015 07:43:16 +0000
> 
> >>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> 
> >> However  I want now to replace the «etl» font by the nicer Deja Vu font, 
> >> but
> >> how? I cannot find the DejaVu font via xfontsel. 
> 
> > Doesn't the following work for you?
> 
> >   (set-face-font 'default "DejaVu Sans Mono")
> 
> It does, but the size is too big for my purposes, so I would need to add
> the fonts size as an option, but that seems not to be possible with 
> set-face-font

Why not possible?  This should work (it does for me):

  (set-face-font 'default "DejaVu Sans Mono-12")

(assuming 12 is the size you want; if not, use a different size).