How to change the font of the Gnome top bar
by Enjoying the Gnome desktop, including the default Gnome Adwaita theme? Just wish the font on the Gnome panel was just a tad smaller? Then you …
Tag: gnome
Manually install a GNOME theme
Out-of-the-box the GNOME desktop environment might strike you as minimalistic. Don’t be fooled though, because that is by design. The idea is that you extend …
Manually install a Gnome Shell Extension from a ZIP file
Did the installation of a Gnome Shell Extension, through your web browser’s Gnome Shell integration add-on, result in an error? This happens sometimes due to …