In Cinnamon zie ik in System Settings - Font Selection een instelling Text scaling factor, net als in Gnome Tweaks. Hiermee kan je nauwkeurig de fontweergave systeembreed vergroten of verkleinen. Onder "Display" heb je dan "User interface scale" (de "display scaling" in een Ubuntu desktop, vooral te gebruiken als je een UHD scherm hebt van zeer hoge resolutie). Cinnamon en zijn vensterbeheerder hebben hun oorsprong in Gnome Shell 3, vandaar de gelijkenissen. Met die combinatie moet je tot iets komen wat goed voor je werkt.