March 16, 2019
7:57 a.m.
Hi May be this is too early for my brain to fully work. But I cannot find users of NodeNavigation except the deprecated PluggableTextMorph since it is unused I propose to deprecate it. Any thoughts? Stef