Re: Font size (was: Merging the pgtk branch)

[Eli Zaretskii]

> From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
> Date: Wed, 04 Aug 2021 14:53:04 +0200
> Cc: Yuuki Harano <masm+emacs@masm11.me>, Eli Zaretskii <eliz@gnu.org>
> 
> $ gsettings set org.gnome.desktop.interface monospace-font-name 'DejaVu Sans 
> Mono 10.5'
> 
> Emacs emits a warning:
> 
> > set-face-attribute: Font not available: #<font-spec nil nil DejaVu\
> > Sans\ Mono\ 10\.5 nil nil nil nil nil nil nil nil nil ((:name
> > . "DejaVu Sans Mono 10.5") (:user-spec . "DejaVu Sans Mono 10.5"))>
> 
> Is this expected?

I don't know if it's expected, but the error message says that the
"10.5" part is not expected there.  What happens if you use "10"
instead of "10.5"?