Doc aspect: Allow more control about which concept docs are shown for a node

[kbirken]

The documentation aspect allows showing concept-specific documentation when the cursor in an editor hits a node of that concept, see DocumentedConceptAnnotation.

I am now looking for a configurable way to show this concept-specific documentation also if the cursor is on a child node (even when we have to override the concept-specific documentation of the child node).

This would allow a much better user experience in some situations. In the following example, the user has to click on the “:” specifically to see the documentation for the concept represented by the green line. All the documentation shown when clicking on some other green text would be much too specific.

[kbirken]

PR has been merged successfully.