Community
Participate
Working Groups
Created attachment 268647 [details] Screenshot See screenshot.
@Fabian, something for you?
New Gerrit change created: https://git.eclipse.org/r/98561
Gerrit change https://git.eclipse.org/r/98561 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=31c0fdd63e274811c468d5f9ff6f3ab5b28a03f6
Thanks, Fabian. I leave the bug open for the 4.7.1 downport.
Lets leave the label bug in 4.8.