On Wed, 3 May 2017, 11:38 Jiri Eischmann, <eischmann@redhat.com> wrote:

Well, then it's a problem of discoverability. People just don't know
about this key and they rather use an extension (Inpatient). I think
running Fedora Workstation on an older computer is enough common to
have it at least in the Tweak Tool.

It's already there:
https://git.gnome.org/browse/gnome-tweak-tool/tree/gtweak/tweaks/tweak_group_interface.py#n266