FYI: Changing the text-scaling-factor is easy with gsettings: $ gsettings set org.gnome.desktop.interface text-scaling-factor FACTOR
FACTOR is a float value with high precision For example: $ gsettings set org.gnome.desktop.interface text-scaling-factor 0.9 Also, you can get the current factor with: $ gsettings get org.gnome.desktop.interface text-scaling-factor 1.0 PS: I see the shema for this trick from the recent Tomasz Sałaciński source app
_______________________________________________ Mailing list: https://launchpad.net/~ayatana Post to : ayatana@lists.launchpad.net Unsubscribe : https://launchpad.net/~ayatana More help : https://help.launchpad.net/ListHelp
