Ubuntu
vte2.91 package

  1. Bug #2002290
  2. Comment #25

Comment 25 for bug 2002290

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

Hi M.Hanny Sabbagh!

Even if bug 1 is fixed, I have rewritten the patch after feedback from one of the Debian developers. Currently it looks like this:

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

One change is that it now honors the font size set in Tweaks, so while the family may be manipulated if LANG is an Arabic locale, the size keeps unchanged.

Another change is that it now sets "Monospace" instead of specifying "DejaVu Sans Mono" explicitly. Both you and I think that it still results in "DejaVu Sans Mono", but I'm not 100% sure after some own tests yesterday.

It would be great if you could test again, and check if it still handles the rendering of Arabic script as expected. For your convenience I have applied the new patch in my PPA for 22.04:

https://launchpad.net/~gunnarhj/+archive/ubuntu/gnome-terminal