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