I20250717-1800
tagged this
17 Jul 14:02
This commit changes the usage of all remaining PNGs and GIFs in Eclipse Platform to SVG. In detail the following changes were performed: 1. Include missing SVGs for existing GIFs in bundle `org.eclipse.core.tools.resources`. All SVGs were either copied from other bundles or created from scratch by myself. 2. Enabling the image comparison of mutliple SVGs with each other. 3. Changing the reference of two JFace PNGs in bundle `org.eclipse.team.ui` to SVG.