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 size. That would be a more narrowly-scoped version that at least doesn't interfere with users' ability to set a different size, although it would still require non-upstreamable patches in multiple packages.
I like that approach and have now rewritten the patch: https://salsa.debian.org/gnome-team/gnome-terminal/-/merge_requests/9I chose to set "Monospace" when needed instead of specifying "DejaVu Sans Mono" explicitly.
As regards other packages, my thought is to limit this kind of tweak to the terminals we ship by default, i.e. gnome-terminal currently and maybe gnome-console later.
While the importance of the patch is much greater in Ubuntu (with Ubuntu Mono as default), personally I think it may be useful in Debian too after all:
* Consider an Arabic Debian user who opens Tweaks and picks some beautiful monospace font with e.g. the text editor in mind. With the patch applied, that user would not screw up the rendering of Arabic in gnome-terminal unknowingly.
* With the patch also in Debian, we avoid to add to the Ubuntu/Debian delta, which is always desirable. :)
So even if the target branch of the MR is ubuntu/master, it would be great if you could review it with Debian in mind. If I get a green light from you, I will add the patch to Debian instead.
-- Cheers, Gunnar