Respuesta1
No sé qué lo causa, pero encontré una solución.
Entré al panel Gnome Tweaks (instalado desde el software Ubuntu) y cambié el Tamaño de fuente en Fuentes a 1.01 y nuevamente a 1.00. Eso lo solucionó.
Si no estás usando Gnome Tweaks, es posible que también puedas hacerlo en Configuración, pero eso funcionó para mí.