Возможно, вы могли бы это сделать, отредактировав CSS для панели в ~/.config/gtk-3.0/gtk.css. Что-то вроде этого могло бы работать:
PanelWidget,
PanelApplet,
PanelToplevel {
font: Sans 20
}
Я не уверен, что у меня есть селектор полностью прав. Вы можете посмотреть файл темы Ambiance здесь, на /usr/share/themes/Ambiance/gtk-3.0/apps/gnome-panel.css
Это ошибка с последней версией ядра.
Чтобы исправить эту проблему (и пока обновление не будет перенесено в репозитории), загрузите и установите исправленную версию, которая может быть найдена в этом deb файл.
Это ошибка с последней версией ядра.
Чтобы исправить эту проблему (и пока обновление не будет перенесено в репозитории), загрузите и установите исправленную версию, которая может быть найдена в этот файл deb .