View Revisions: Note 14675

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