Re: Customization gnome3

2013-02-18 Thread Chris Jones
On Tue, Feb 12, 2013 at 04:05:32PM EST, Jason Heeris wrote: > There are a couple of things I do to tweak fonts and other settings > (in this order): > > 1. Use gnome-tweak-tool. No effect on gnome-shell fonts (top panel, Overview, notifications..) > 2. Use dconf-editor to change fonts. For exam

Re: Customization gnome3

2013-02-12 Thread Jason Heeris
There are a couple of things I do to tweak fonts and other settings (in this order): 1. Use gnome-tweak-tool. 2. Use dconf-editor to change fonts. For example, window title font is under /org/gnome/desktop/wm/preferences/titlebar-font. 3. The Elegance-colors theme has an associated application (

Customization gnome3

2013-02-12 Thread Chris Jones
I have been evaluating gnome-shell v3.4 on a debian sid/unstable test system over the last couple of weeks and I'm having a bit of a difficult time deciding on a customization strategy. After changing font settings via gnome-tweak-tool, I noticed that the top panel and Overview were not affected.