**Description** Mirror ticket for https://github.com/eclipse-platform/eclipse.platform.ui/issues/3010