View Revisions: Note 100266

Summary 0031789: [Patches] New icons for IDE (with High-DPI)