DPI

the [property@Gtk.

Settings:gtk-xft-dpi] setting has changed