Provide quick navigation from an activity diagram to its tasks diagram
On the task diagram, a double-click on the icon of a task allows to open its activity diagram. We need similar functionality to quickly navigate from an activity diagram back to its task diagram.