Function goto

background_scripts/marks.js:49–76

(req)

// we create a new one. Whichever of those we do, we then set the scroll position to the original
// scroll position.
export async function goto(req) {
  const vimiumSecret = (await chrome.storage.session.get("vimiumSecret"))["vimiumSecret"];
  const key = getLocationKey(req.markName);
  const items = await chrome.storage.local.get(key);
  const markInfo = items[key];
  if (markInfo.vimiumSecret !== vimiumSecret) {
    // This is a different Vimium instantiation, so markInfo.tabId is definitely out of date.
    Utils.debugLog("marks: vimiumSecret is incorrect.");
    await focusOrLaunch(markInfo, req);
  } else {
    // Check whether markInfo.tabId still exists. According to
    // https://developer.chrome.com/extensions/tabs, tab Ids are unqiue within a Chrome
    // session. So, if we find a match, we can use it.
    let tab;
    // This will throw an error if the tab doesn't exist.
    try {
      tab = await chrome.tabs.get(markInfo.tabId);
    } catch {
      // Swallow.
    }
    const originalTabStillExists = tab?.url && (markInfo.url === getBaseUrl(tab.url));
    if (originalTabStillExists) {
      await gotoPositionInTab(markInfo);
    } else {
      await focusOrLaunch(markInfo, req);
    }
  }
}

// Focus an existing tab and scroll to the given position within it.
async function gotoPositionInTab({ tabId, scrollX, scrollY }) {