Я только что обновился до gnome 3.10 в ubuntu 13.10, это работает, но размер шрифта был действительно беспорядок сразу после обновления.
Я решил включить и отключить «большие шрифты» в параметрах доступности. Надеюсь, это поможет кому-то еще.