@peterg4000 said in Should I install proprietary NVidia drivers during install or not?:
@just - My quick reading from Googling Cinnamon indicated panel size was a fixed pixel height. Are you saying the panel re-sizes to the font? Didn’t try that, but what I read implied it was a non-starter. Would be happy to be proved wrong. But liking Mate anyway, after a bit of tweaking.
I never post anything that I didn’t try or don’t use myself. It wouldn’t have any sense to suggest to increase the font size if the panel wasn’t scaled / enlarged accordingly. Agree, with default font sizes Cinnamon shells are very hard to read and almost unusable.
Cinnamon’s panel has some degree of scaling flexibility. Sure, if you set font size, say, to 48pt, the panel will not be enlarged so much. But if you set reasonable font sizes, the panel, and other GUI elements (popups, windows) are scaled accordingly.
Below is a shot ofmy Cinnamon with Void theme.
I’ve changed the default Droid Sans font family to Amaranthkern01. With the latter, the default 8.5pt panel’s font size is increased to 14pt. It’s so huge in this example only, actually I’m using 12pt for the panel.
I also increased the default 9pt menu font size to 14pt. Again, it’s so big in this example only. In everyday life it is set to 12pt.
The font in Geany text editor under Cinnamon’s menu is Audimat Mono Regular 14pt.
Don’t believe blindly everything you read in Internet. Read, if it seems reasonable, try it. It may or may not work. Changing Cinnamon themes font sizes works.