τοΖεη, дак обычный gnome-shell. Верхняя панелька с датой временем и т.д. В дополнительных параметрах шрифт меняю- меняется везде, в окнах, заголовках, только вот в этой,блин, стандартный шрифт, который идет со стандартной темой Adwaita. Думаю, меняется где-то в конфиге темы, ну или там через dconf-editor. Раньше на 2м гноме менялось через редактирование gnome.css Сейчас по этому адресу лежит только файл gnome-classic.css, т.е это для сессии gnome-classic.
dconf весь перерыл.
Gnome 3.22
P.S. Можно, конечно shell-тему поменять, но это ж не выход))