disable CodeMirror drag/drop on Safari

workaround for marijnh/CodeMirror#332

closes #3375