fix bug in editVoxels.js that wasn't deleting menus
fix potential crash in setIsOptionChecked() added support for positioning separators
Merge branch 'master' of https://github.com/worklist/hifi into bugfixes
Merge pull request #2169 from ZappoMan/bugfixes

Menu scripting bug fixes