Update editor.js to allow tex files

Update to editor.js to allow tex files so they can be edited in the text editor.