Skip to content

I20241219-1920

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