Community
Participate
Working Groups
Currently, InteractionContextManager only allows to delete elements of a currently active context. This patch extends the API to pass a specific context where elements should be deleted from.
Code review: https://git.eclipse.org/r/#change,6916.
The review has been merged.