Adding view source option. "editor.js" is getting unwieldly and could do with splitting up.

... but I'll save that until we move away from requirejs, and reorganise
all the JS.