Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

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.

share|improve this question

1 Answer 1

up vote 1 down vote accepted

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

share|improve this answer
    
Thx it works now.But it doesn't work if i edit the theme file. –  user43787 Feb 20 '12 at 14:16

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.