Tag Archives: Debian

  1. Setting the window title bar font and size manually

    Leave a comment

    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 …
    Continue reading