Ed Merks

When I read `Probably it only has to be used at more places.` I really wonder if that might actually `very likely` or `definitely` and I wonder whether there will...

I suspect no one will try to fix this for you. It's pretty easy to set up an IDE with the sources such that you can create a pull request:...

As we discussed, those navigation things are almost unusable without very careful monitoring of where they jump to next in the toolbar. I wonder though if we might not position...

Note that the most common form on color blindness cannot see the difference between red and green. They have two color receptors rather than three.

It seems to me that the two scopes are disjoint so that it's not a conflict...

I would have expected a debug launch to show this problem but it does not. Also, after updating my SDK installation I also don't see such a log entry. That...

I'm not sure if you are talking about a self-dump or a dump of something launched from the IDE. Problems are generally logged and visible in the Error Log view....

FYI, Oomph provides a raw view of all preferences.  It can be opened in an editor and that editor support find:  It can be installed from this: 

> @merks that seems like a very good feature, which we can easily rely on to provide search as requested in this issue. Is there anything that would make it...

Isn't the theme stored as a preference in the workspace? I think so, hence each workspace can have a different theme and you don't know the theme until after a...