Bug#1029707: Maybe set DejaVu Sans Mono as default font for Arabic

[Gunnar Hjalmarsson]

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 Ubuntu Mono by default for 
the desktop, but that font has proved to result in poor rendering in 
terminal of Arabic script. Even if Debian does not have Ubuntu Mono, it 
struck me that there may still be a need to include the patch in Debian.

Debian currently uses "Monospace" by default, which means — if I 
understand it correctly — that it queries fontconfig:

$ fc-match monospace
NotoSansMono-Regular.ttf: "Noto Sans Mono" "Regular"

It looks like the Noto fonts are present in Debian since they are pulled 
by libreoffice, and Noto is given higher precedence than DejaVu by the 
font configuration.

In the above linked discourse topic M.Hanny Sabbagh let us know that he 
has tested multiple monospace fonts in gnome-terminal, and that all of 
them — except for DejaVu Sans Mono — suffer from the rendering issue 
(spaces between letters + overlapping of some letters). I have asked if 
Noto Sans Mono was one of the fonts he tested.

If the issue is present also with Noto Sans Mono, I would recommend that 
we include the above mentioned gnome-terminal patch in Debian too.

-- 
Cheers,
Gunnar