On 2023-02-03 17:20, Simon McVittie wrote:
On Fri, 03 Feb 2023 at 11:49:34 +0100, Gunnar Hjalmarsson wrote:
I chose to set "Monospace" when needed instead of specifying "DejaVu Sans
Mono" explicitly.
You said in the new patch that fontconfig prefers DejaVu Sans Mono as
its implementation of
On Fri, 03 Feb 2023 at 11:49:34 +0100, Gunnar Hjalmarsson wrote:
> I chose to set "Monospace" when needed instead of specifying "DejaVu Sans
> Mono" explicitly.
You said in the new patch that fontconfig prefers DejaVu Sans Mono as
its implementation of Monospace in Arabic-script locales. To
Control: tags -1 - moreinfo
Hi again, Simon!
On 2023-01-26 15:50, Simon McVittie wrote:
Another option would be to change the gnome-terminal patch so that if
the locale is Arabic *and* the default font is either "Monospace" or
"Ubuntu Mono", we replace it with "DejaVu Sans Mono" of the same
On 2023-01-27 00:55, Jeremy Bicha wrote:
On Thu, Jan 26, 2023 at 5:39 PM Gunnar Hjalmarsson
wrote:
That detail made me curious. I suppose it's related to this
commit:
https://gitlab.freedesktop.org/fontconfig/fontconfig/-/commit/ad70d785
Which is not only about monospace, but affects most
On Thu, Jan 26, 2023 at 5:39 PM Gunnar Hjalmarsson wrote:
> That detail made me curious. I suppose it's related to this commit:
>
> https://gitlab.freedesktop.org/fontconfig/fontconfig/-/commit/ad70d785
>
> Which is not only about monospace, but affects most Debian users, also
> for sans-serif
On 2023-01-26 15:50, Simon McVittie wrote:
* "Monospace" is a fontconfig alias intended to point to a generic monospace
font, which until recently was resolved to DejaVu Sans Mono by
fontconfig. Since the recent upgrade to fontconfig 2.14, "Monospace"
now prefers Noto Sans Mono instead,
Thanks for your reply, Simon. It helped me realize a significant
difference between Ubuntu and Debian with respect to desktop configuration:
While Ubuntu sets a *specific* font (Ubuntu Mono) as the default
monospace font, Debian just sets "Monospace" and with that defers to
fontconfig.
To
Control: tags -1 + moreinfo
On Thu, 26 Jan 2023 at 14:46:44 +0100, Gunnar Hjalmarsson wrote:
> Ubuntu just added a patch to set DejaVu Sans Mono as the default font in
> gnome-terminal for Arabic users.
>
> Related discussions:
>
> https://discourse.ubuntu.com/t/33413
>
>
Package: src:gnome-terminal
Version: 3.46.7-1
Ubuntu just added a patch to set DejaVu Sans Mono as the default font in
gnome-terminal for Arabic users. Related discussions:
https://discourse.ubuntu.com/t/33413
https://launchpad.net/bugs/2002290
For other users and applications Ubuntu uses
9 matches
Mail list logo
