Discussion: Improve menu customizability #58
Description
The "Tools" and session (method) menus are built dynamically. After adding the MenuVisibilityManager in #56, these menu items and children are still not totally customizable.
Some specific ideas for how to improve this long term.
- Support hiding the tools menu altogether
- Support hiding session methods