Is it possible to customize the font size and other properties of the window titlebars in gnome-shell?
Install gnome-tweak-tool and under "Fonts" there is "window title font"
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
9 months ago