View Revisions: Note 103037

Summary 0032454: High-DPI icons