The size of the folders on the desktop and the upper (gnome?) bar both suddenly changed yesterday.
As you can see in the picture, the text Tweaks
(on the top bar) and example
(on the desktop) are smaller than the font in the file navigator.
I checked this post (How do I change fonts and adjust their size?) but curiously, the values seem unchanged and are still at their default values. (See pic)
Which is the relevant parameter for the upper menu and desktop icon font size?
Thanks!