maybe by https://github.com/eclipse-platform/eclipse.platform.ui/commit/1848058a52102b5deff39427365e56fe882656b3 https://github.com/eclipse-platform/eclipse.platform.ui/pull/3074 https://github.com/eclipse-xtext/xtext/pull/3530#issuecomment-3398495925
maybe by eclipse-platform/eclipse.platform.ui@1848058
eclipse-platform/eclipse.platform.ui#3074
#3530 (comment)