How about new note font setting in Notation Options?

Chord Font: 100%
Lyrics Font: 100%
Text Font: 100%
Title Font: 100%

NEW
Note Font: 70%

For Example user setting 70% smaller note font
may lead to situation that triplets can be printed
acceptable with sharps/flats/naturals.

Thank you for your time

B