On Mon, Oct 19, 2015 at 5:57 AM, John Frankish <john.frank...@outlook.com <mailto:john.frank...@outlook.com> > wrote:
BTW this also appeared to show that attempting to change fonts with the gnome-tweak-tool fonts/window title has no effect… In my setup I can successfully change the type and size of the font used for the window title using GNOME Tweak Tool. Right now I'm using Cantarell 11 but it works with whatever font or size I choose. I checked again, but using the tweak-tool to change from Cantarell 11 bold to Cantarell 11 normal had no effect, even after restarting gnome-shell :(
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
