Wer unter Ubuntu 11.10 die Schriftgröße ändern will und nicht kann, weil gnome-appearance-properties nicht mehr existiert, der verwendet gnome-tweak-tool. Damit geht es dann wieder.

Von hier