решение1
Я не знаю, в чем причина, но я нашел решение.
Я зашел в панель Gnome Tweaks (установленную из Ubuntu Software) и изменил размер шрифта в разделе Fonts на 1.01 и обратно на 1.00. Это исправило ситуацию.
Если вы не используете Gnome Tweaks, вы, возможно, сможете сделать это в настройках, но мне это помогло.