It may soon be easier to change GNOME Shell font thanks to a new patch that makes the GNOME Shell interface respect a user's font settings.
GNOME Tweak Tool, the handy advanced settings utility for the GNOME desktop, has changed its name to the shortened title of 'GNOME Tweaks'.
A new development snapshot of GNOME Tweak Tool is available to download, and it surfaces yet another really useful GNOME feature.
A new version of the GNOME Tweak Tool is available for testing in Ubuntu 17.10 — and it includes some nifty new options! You can read a full surmise of the changes in the GNOME […]