Option "no division" can also be attached to menu item
replaced space intendation by tabs
division is now also considered when checking whether a menu item is the currently activated one