View Revisions: Note 14679

Summary 0004351: gui font sizes are very small on a large screen (High DPI) (how to fix)