Add a url upgrader for the changed sourceView query parameter

Author: canova

src/app-logic/url-handling.ts

@@ -48,7 +48,7 @@ import {
 } from '../utils/uintarray-encoding';
 import { tabSlugs } from '../app-logic/tabs-handling';
 
-export const CURRENT_URL_VERSION = 11;
+export const CURRENT_URL_VERSION = 12;
 
 /**
  * This static piece of state might look like an anti-pattern, but it's a relatively
@@ -1162,6 +1162,34 @@ const _upgraders: {
       processedLocation.query = {};
     }
   },
+  [12]: (
+    processedLocation: ProcessedLocationBeforeUpgrade,
+    profile?: Profile
+  ) => {
+    // This version changes the source view parameter from 'sourceView' (filename
+    // string) to 'sourceViewIndex' (IndexIntoSourceTable). If we can't convert
+    // the filename to a source index, so we just remove the sourceView parameter.
+    const { query } = processedLocation;
+    if (!('sourceView' in query) || !profile || !profile.shared.sources) {
+      return;
+    }
+
+    // Try to find the source index for the given filename
+    const filename = query.sourceView;
+    const { sources, stringArray } = profile.shared;
+
+    // Find the filename string index
+    const filenameStringIndex = stringArray.indexOf(filename);
+    if (filenameStringIndex !== -1) {
+      // Find the source index with this filename
+      const sourceIndex = sources.filename.indexOf(filenameStringIndex);
+      if (sourceIndex !== -1) {
+        query.sourceViewIndex = sourceIndex;
+      }
+    }
+    // Remove the old sourceView parameter regardless of whether we found a match
+    delete query.sourceView;
+  },
 };
 
 for (let destVersion = 1; destVersion <= CURRENT_URL_VERSION; destVersion++) {