mergeFrom

Combines the state of several scope managers into this one. Primarily used in combination with concurrent frontends.

Parameters

toMerge

The scope managers to merge into this one