Closed HeikoKlare closed 1 month ago
The icon for closing the replace bar was accidentally added in a version that is vertically flipped compared to the comparable icon in other tools, namely an arrow pointing up instead of down. This change corrects the icon.
Belongs to https://github.com/eclipse-platform/eclipse.platform.ui/pull/2132
The icon for closing the replace bar was accidentally added in a version that is vertically flipped compared to the comparable icon in other tools, namely an arrow pointing up instead of down. This change corrects the icon.
Belongs to https://github.com/eclipse-platform/eclipse.platform.ui/pull/2132