shellOwned constant

Set<String> const shellOwned

Every id in the plugin slot the shell owns rather than a plugin.

A set rather than a list of comparisons, because the reservation has to be enforced in three places and the failure mode of adding a fourth screen and forgetting one of them is silent: the plugin is simply unreachable.

Implementation

static const shellOwned = {shellConfig, shellChanges, shellAbout};