Oh, I see! Sorry!!
Ok, can you open your browser’s developer console and type localStorage.options in the console and post the contents back here so we can see if there’s a bug? You can also delete that localStorage value and refresh the editor or console to go back to the defaults (localStorage.options = "" will do it).