Board Thread:Support Requests - Getting Technical/@comment-26978548-20170922145034/@comment-2200849-20170922153206

no need for custom JS here, go to your Preferences > Editing, set Source editor as preferred editor and that's it