ducasse Sat, 16 Mar 2019 00:58:47 -0700
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
