Antwort1
Ich weiß nicht, woran es liegt, aber ich habe eine Lösung gefunden.
Ich ging in das Gnome Tweaks-Bedienfeld (installiert von Ubuntu Software) und änderte die Schriftgröße unter Schriftarten auf 1,01 und wieder zurück auf 1,00. Das hat das Problem behoben.
Wenn Sie Gnome Tweaks nicht verwenden, können Sie dies möglicherweise auch in den Einstellungen tun, aber bei mir hat es funktioniert.