Skip to content

I20241218-1800

I20241218-1800: Fix Placement of "Pin Editor" Icon
@BeckerWdf BeckerWdf tagged this 18 Dec 18:01 
Contributes to
https://github.com/eclipse-platform/eclipse.platform.ui/issues/2582
Assets 2
Loading