Добро пожаловать в новый, не обслуживающий пользователя компонент внутри Ubuntu / Gnome.
Установите gnome-tweak-tool (sudo apt-get install gnome-tweak-tool) и запустите его (он называется «Дополнительные настройки»). Настройки шрифта находятся на вкладке «Шрифты».
Как изменить настройки шрифта DPI?Эта ошибка указана здесь: https://bugs.launchpad.net/ubuntu/+source/webkit2gtk/+bug/1687019?comments=all
См. различные комментарии там о том, как исправить проблема. Вкратце:
start terminal
sudo apt update
sudo apt upgrade
Он должен быть исправлен сразу. Не требуется перезагрузка.
Эта ошибка указана здесь: https://bugs.launchpad.net/ubuntu/+source/webkit2gtk/+bug/1687019?comments=all
См. различные комментарии там о том, как исправить проблема. Вкратце:
start terminal
sudo apt update
sudo apt upgrade
Он должен быть исправлен сразу. Не требуется перезагрузка.