Filtering of nodes in "Parse tree"

Even with small grammars the parse tree can become quite large (and hard to browse). Debugging could get easier when one had the possibility to filter some nodes so not all are displayed.

Examples for filter:

• Only nodes with name(s)
• All but nodes with name(s)
• Only actions / No actions
• Only SUCCESS / FAILURE (this would probably only be useful if combined with another filter, like: no successful actions)

After discussing this idea we found some potential extensions to it:

• Allow filtering on collection of the trace data. This way the tracefile would be smaller (and thus the debugger faster) from the beginning.
• Add a possibility to save filter settings for kind of "Bookmark favorites" or shared settings for teams.