Mutter

  1. Bug #1724037
  2. Comment #2

Comment 2 for bug 1724037

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

It is mostly possible in 17.10 already, except there is no nice GUI for the setting and icons in the dock and headerbars will refuse to scale down. Try:

  gsettings set org.gnome.desktop.interface text-scaling-factor 0.85

So the setting exists. We just lack a GUI for it in gnome-control-center.