Menus can now have their own configuration settings.

The first use of this is to toggle dividers in the navbar.