Comment 26 for bug 2002290

Revision history for this message
Gunnar Hjalmarsson (gunnarhj) wrote :

On 2023-02-03 10:46, Gunnar Hjalmarsson wrote:
> https://salsa.debian.org/gnome-team/gnome-terminal/-/blob/e832a65a/debian/patches/Use-DejaVu-as-system-font-if-LANG-is-Arabic.patch

I got more feedback, this time in the form of a code review, and it resulted in yet another version:

https://salsa.debian.org/gnome-team/gnome-terminal/-/blob/5e5f49ca/debian/patches/Use-DejaVu-as-system-font-if-LANG-is-Arabic.patch

> Another change is that it now sets "Monospace" instead of specifying
> "DejaVu Sans Mono" explicitly.

That is no longer true. The latest version, which is applied in the PPA in version 3.44.0-1ubuntu1+dejavu3, sets "DejaVu Sans Mono" explicitly.

My plea for another test still stands. ;)