ref #10, #9 add toggles for navigator and explorer in menu