**Description** See https://github.com/eclipse-platform/eclipse.platform.ui/issues/3039 **Reproducible on** For the moment, **this has only been tested on _Mac_** - [ ] Windows - [ ] Linux - [x] Mac - [ ] All platforms **TO-DO** - [ ] Test if it's reproducible on other platforms as well