5.4.8 Tools Menu Customization

Anju customizes the Tools menu using the hook function anju-main-menu--reconfigure-tools.

Add this hook function to anju-reconfigure-main-menu-hook to enable customization of the Tools menu.

If customize-variable is used to configure anju-reconfigure-main-menu-hook, then a checkbox interface to enable anju-main-menu--reconfigure-tools is displayed.