|
I also have not been blessed with "sticky" font sizes in Marvin. And yes I can change the font size to something near to what I consider optimal. However unlike the color themes, the font sizes don't have names or even numbers like word processors & spread sheets do so my changes are only approximately optimal.
For my personal use both the font size and the color schemes would be better if I had numerical control, eg. Point size on fonts, RGB values on colors. Apparently at least one other user has similar feelings.
Al that said, Kris, Marvin is a wonder of programming. I's done enough coding in my past to recognize that.
|