Closed BeckerWdf closed 3 months ago
Contributes to https://github.com/eclipse-platform/eclipse.platform.ui/issues/1901
Contributes to https://github.com/eclipse-platform/eclipse.platform.ui/issues/1901