Closed Wittmaxi closed 2 months ago
Is this one still needed?
@akurtakov I believe so, somehow it was never merged!
@HeikoKlare would you please review/merge this one?
@BeckerWdf As our images guy maybe you can verify everything is good here?
@BeckerWdf does https://github.com/eclipse-platform/eclipse.platform.images/commit/48c2ab573d2183cb2cf2338fca8ad445b85abc44 address your comment correctly?
Thank you for checking and merging this, @BeckerWdf!
Add the images used in the editor overlay used to perform find/replace. The images are only added in svg-format whereas they are used in png-format in the Overlay.
In particular, a few new images were created and/or adapted from www.iconbolt.com.
This PR acommodates https://github.com/eclipse-platform/eclipse.platform.ui/pull/1192