Not by the core system, it's something for external applications to
provide their own World menu.

On Wed, May 30, 2018 at 5:33 PM, tim Rowledge <tim at rowledge.org> wrote:
> Anyone know where this gets used? Another thing I can't find any connections to. It seems like it ought to be providing entries for a menu in the main World but I don't see anything so far...
>
> tim
> --
> tim Rowledge; tim at rowledge.org; http://www.rowledge.org/tim
> Useful random insult:- Cackles a lot, but I ain't seen no eggs yet.
>
>
>