Subject: Re: bug#20619: Another HiDPI issue

From: "C. Scott Ananian" <[email-masked]>
Date: Wed, 18 May 2016 08:20:45 -0400

It's not like it's hard to reproduce: download gnome-tweak-tool and set
your scaling factor to 2.  It doesn't require any special hardware.