code: function openLocation(location, noFlash) {
          var editor = EditorManager.getCurrentFullEditor();
          var codeMirror = editor._codeMirror;
          if (typeof location === "number") {
              location = codeMirror.posFromIndex(location);
          }
          codeMirror.setCursor(location);
          editor.focus();
  
          if (!noFlash) {
              codeMirror.addLineClass(location.line, "wrap", "flash");
              window.setTimeout(function () {
                  codeMirror.removeLineClass(location.line, "wrap", "flash");
              }, 1000);
          }
      }
docs: Point the master editor to the given location
  @param {integer} location in file