althaser Tue, 06 May 2014 11:24:52 -0700
using dconf-editor org.gnome.desktop.interface text-scaling-factor or gnome-tweak-tool to switch values.
cheers, althaser
