Eu atualizei do Ubuntu +17.10 para 18.04.
Depois disso, o Gnome não iniciava - recebi um loop de login, até que eu deletei ~/.config/dconf/user . Dessa forma, perdi toda a configuração, mas a configurei de volta.
No entanto, não consigo fazer o antialiasing funcionar. Eu tentei todas as 3 opções no Gnome Tweaks, mas eu ainda posso ver que algumas fontes são renderizadas estranhamente - com algum tipo de halo colorido ao redor delas. Parece apenas acontecer em alguns programas, por ex. Intellij IDEA, que eu acho que usa o GTK através do Java, mas não tenho certeza.
Existem algumas opções secundárias que preciso definir? Eu lembro que algumas configurações são duplicadas entre o Gnome e o KDE. Existem Wayland e X. De acordo com este artigo , eu tinha X, mas agora eu deveria ter Wayland. Como eu sei qual eu tenho? Poderia mudar para a outra ajuda (ou quebrar mais coisas? :))