Возможно ли установить шрифт резервной панели gnome 3
Запустите
gsettings set org.gnome.shell disable-user-extensions true
, чтобы отключить все расширения, активированные пользователем (он будет помнить, какая из расширений в данный момент включена, не будет отключать расширения отдельно).
Аналогично, запустите
gsettings set org.gnome.shell disable-user-extensions false
, чтобы активировать расширения.
0
задан user43787
20 February 2012 в 17:15
поделиться
1 ответ
Возможно, вы могли бы это сделать, отредактировав 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
1
ответ дан Oli
25 May 2018 в 14:06
поделиться
-
1Thx он работает сейчас. Но он не работает, если я редактирую файл темы. – user43787 20 February 2012 в 20:16