Hi DPI extension for brackets on linux.