I have been using Cinnamon (from testing) for a couple of years with no problem until a couple of days ago, when suddenly the font size for most widgets increased. This is annoying, as certain lists in things like Thunderbird no longer fit on the page.
I started playing with the fonts preferences in Cinnamon, to no avail. I could change all sorts of things about the panel font size, but not things like the size of the menus in the programs themselves. I wondered instead if the problem was with one of the themes in Cinnamon, but all the installed ones seem to have the same problem. I looked at the settings in /usr/share/cinnamon/theme/cinnamon.css, but wasn't able change the font size. I tend to update & upgrade every day, so I then looked through /var/log/dpkg.log for a recent upgrade that could be at fault. I downgraded libgtk-3-0, libgtk-3-common, libgail-3-0, gir1.2-gtk-3.0, gtk-update-icon-cache, libgtk-3-bin to 3.22.17-1, which didn't help. I downgraded libwayland-client0, libwayland-cursor0 & libwayland-server0 to 1.13.0-1, but that didn't help either. So I'm now out of ideas. Does anyone know where I should look next? Regards Jeff P.S. Please put me in cc, as I am not subscribed to the list.
signature.asc
Description: OpenPGP digital signature
