atom/atom-shell — pull request #727 by zcbenz (2014-10-21 11:58:22+00:00)
Title: Set DPI settings from gsettings on Linux

Fixes #615.