fix #1566 Changes to options menu

this is going to need commenting off, due to https://github.com/mozilla-appmaker/appmaker/issues/1618, ideally after that lands.