Thread:Wadem18/@comment-112155-20150516150421/@comment-2041242-20150516163216

If you go to the dropdown menu next to your little icon on top of the bar (where you can also go to your profile) you have to press: My preferences. Then in the Editing tab (the third) put the prefered editor on Source Editor.