Set DPI settings from gsettings on Linux

Fixes #615.