Board Thread:General Discussion/@comment-5.80.242.151-20200808163009/@comment-9605025-20200808192543

Which page are you trying to edit? If it is JS, there should only be one editor. So it doesn't make sense that there would be an option to switch to that doesn't work.