0

Is it possible to use a font for the gnome panel which isn't the default font. I tried to define the font inside a gnome theme but that doesn't chnge anything and if i write something like : gtk-font-name = panel-menu=fontname in ~/.config/gtk-3.0/settings.ini nothing change.

user43787
  • 352
  • 1
  • 5
  • 17

1 Answers1

1

You could probably do this by editing the CSS for the panel in ~/.config/gtk-3.0/gtk.css.
Something like this might work:

PanelWidget,
PanelApplet,
PanelToplevel {
    font: Sans 20
}

I'm not sure I've got the selector completely correct though. You can look at the Ambiance theme file here at /usr/share/themes/Ambiance/gtk-3.0/apps/gnome-panel.css

Oli
  • 289,791
  • 117
  • 680
  • 835