Thread:Numbuhthreefan/@comment-27157772-20171202180628/@comment-1416490-20171202195415

What AD said. You can also go into your preferences and under the "Editing" tab, you'll see a drop down menu that says "Preferred editor". Click the arrow and select "Source editor". Then save when you're done. Hope that helped you. :)