Closed akurtakov closed 1 year ago
Continuation of https://github.com/eclipse-platform/eclipse.platform.ui/pull/857
Continuation of https://github.com/eclipse-platform/eclipse.platform.ui/pull/857