Editing: editor.strings.js