Not sure why the code editor was deleted. Fix #492

Weirdest bug. Not sure how this happened at all.