October 23, 2013 by ricardovs
After screwing up my Debian system a bit, I no longer have the Gnome-tweak-tool option to select the window title bar font. How to do it manually? Just by typing the following command:
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'FONT SIZE'
Well, FONT and SIZE they speak for themselves :-).