View Revisions: Note 14660

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