J'ai récemment installé pantheon-terminal sur mon nouvel Ubuntu 18.04 et j'ai un problème de chevauchement de texte.
J'ai essayé de changer la police avec dconf-editor, mais rien n'a changé.
Quelqu'un peut-il m'aider à modifier l'espacement ou à le résoudre d'une manière ou d'une autre? Cordialement!
Résolu en réinstallant Ubuntu.
J'ai eu le même problème et l'ai résolu en changeant le type de police système Monospace en "Monospace Regular". Par défaut, c'était "Roboto Mono 10". Cela peut être fait dans des ajustements élémentaires ou comme indiqué dans ce lien
Réinitialisation pantheon-terminal
les paramètres peuvent aider.
Vous pouvez essayer la commande suivante:
gsettings reset-recursively io.elementary.terminal.settings