Closed Wittmaxi closed 2 months ago
@Wittmaxi could you please provide a follow-up PR also adding the png versions of the icons, like requested in #68 for the other overlay icons?
I did not see that this was merged before #68, which accidentally still contained those icons, thus the PNGs were properly added with that PR by accident.
Reintroduce icons for opening/closing the replace area. Icons used in https://github.com/eclipse-platform/eclipse.platform.ui/pull/1976