Ed Merks
Ed Merks
The way I read it, this is suggesting for a way to control the behavior with no comment about what the default should be...
Even a simple example that reproduces the problem would help...
Note that while typing a pattern, one can often end up with an intermediate state that is not a correct pattern, so a message box is not a good option...
Sorry, I'm mixing it up with this dialog where the feedback is immediate: 
Given the similarities between these two things, one might expect more similarities. 😁
No the spacing is https://github.com/eclipse-platform/eclipse.platform.ui/issues/1674
I've also been bitten by spaces breaking scripts. Of course spaces are not wrong, but they are annoying. And Eclipse search is of course nicer, but not all files are...
I think this change is a good idea. Obviously it needs to be rebased. @iloveeclipse @HeikoKlare @akurtakov I believe no one objects.
With so many changes, it's hard to tell if you changed references in the poms, e.g., 
I agree with @HeikoKlare that this seems kind of pointless for the org.eclipse.ui.workbench. In this case it looks like some stalled effort (from 2002) described as "First cut of org.eclipse.ui...