Re: Retiring app menus - planning for 3.32.0

[Christian Hergert <christian hergert me>]

On 09/21/2018 04:24 AM, Allan Day wrote:
> This would reduce
> the number of menu items, allows cross-linking, and so on.

This doesn't work well for situations where plugins are in play because
those don't integrate cleanly into the documentation. However, the
keyboard shortcuts window can handle this relatively okay (albeit more
complex than it should be).

And we have a lot of apps that have plugins.

-- Christian