///////////////////////////////////////////////////////////////////////// Selection management. ////////////////////////////////////////////////////////////////////////
final Set<String> selectedNodeIds = {};