selectFile(path) {
    if (!isSafari()) {
      // Smooth scroll to diff file on PR page
      if (path.match(/#diff-\d+$/)) {
        const index = Number(path.split('-').slice(-1)[0]);

        const matchDom = $('#files .file').eq(index);

        if (matchDom.length) {
          $('html, body').animate({ scrollTop: matchDom.offset().top - 68 }, 400);
          return;
        }
      }
    }

    window.location.href = path;
  }
Selects the file at a specific path.
@api public