-
Matthias Clasen authored
Changing font size does not cause widgets to update their size properly anymore, since we forgot an invalidation flag. The problem can be observed e.g. by running gtk3-demo and calling gsettings set org.gnome.desktop.interface font-name "Cantarell 22"
31f502a9