Update filename parsing in editor.js.