3
Des polices «xterm» plus grandes sur les écrans HIDPI
Après plusieurs années d'utilisation heureuse de différents émulateurs de terminaux comme Konsole , Gnome-TERMINAL et dernièrement XFCE Terminal dans leurs environnements de bureau appropriés, j'ai décidé d'utiliser le bon vieux xterm avec ses polices bitmap . Cela fonctionne très bien, il prend en charge Unicode et la famille de polices …