@lvce-editor/editor-worker 19.78.1 → 19.78.3

package/dist/diff-sdk.js

@@ -1,4 +1,4 @@
-import { ExtensionManagementWorker, SyntaxHighlightingWorker, RendererWorker, CacheWorker, TextMeasurementWorker, get as get$c, ErrorWorker, createLazyRpc, RpcId, OpenerWorker, DialogWorker, DragAndDropWorker, set as set$d, remove as remove$9 } from '@lvce-editor/rpc-registry';
+import { ExtensionManagementWorker, CacheWorker, SyntaxHighlightingWorker, RendererWorker, TextMeasurementWorker, get as get$c, ErrorWorker, createLazyRpc, RpcId, OpenerWorker, DialogWorker, DragAndDropWorker, set as set$d, remove as remove$9 } from '@lvce-editor/rpc-registry';
 
 const Text$1 = 12;
 const Reference = 100;
@@ -417,6 +417,30 @@ const activateByEvent = async (event, assetDir, platform) => {
   await ExtensionManagementWorker.invoke('Extensions.activateByEvent', event);
 };
 
+const cacheName$1 = 'lvce-editor-character-widths-v1';
+const character = 'a';
+const getKey$2 = (fontWeight, fontSize, fontFamily, letterSpacing) => {
+  return `https://cache.invalid/character-width/${encodeURIComponent(JSON.stringify([character, fontWeight, fontSize, fontFamily, letterSpacing]))}`;
+};
+const get$b = async (fontWeight, fontSize, fontFamily, letterSpacing) => {
+  const item = await CacheWorker.getCacheStorageJsonItem(getKey$2(fontWeight, fontSize, fontFamily, letterSpacing), cacheName$1);
+  const width = item?.value;
+  if (typeof width !== 'number' || !Number.isFinite(width) || width < 0) {
+    return undefined;
+  }
+  return width;
+};
+const set$c = async (fontWeight, fontSize, fontFamily, letterSpacing, width) => {
+  await CacheWorker.setCacheStorageJsonItem(getKey$2(fontWeight, fontSize, fontFamily, letterSpacing), width, cacheName$1);
+};
+const has$1 = async (fontWeight, fontSize, fontFamily, letterSpacing) => {
+  try {
+    return (await get$b(fontWeight, fontSize, fontFamily, letterSpacing)) !== undefined;
+  } catch {
+    return false;
+  }
+};
+
 const codeGeneratorAccept = state => {
   // TODO close code generator widget
   return state;
@@ -448,19 +472,19 @@ const {
   wrapCommand: wrapCommand$2,
   wrapGetter
 } = editorStates;
-const get$b = id => {
+const get$a = id => {
   return editorStates.get(id);
 };
 const getKeys$2 = () => {
   const keys = editorStates.getKeys();
   return keys.map(String);
 };
-const set$c = (id, oldEditor, newEditor) => {
+const set$b = (id, oldEditor, newEditor) => {
   editorStates.set(id, oldEditor, newEditor);
 };
 
 const getEditor$1 = editorUid => {
-  const instance = get$b(editorUid);
+  const instance = get$a(editorUid);
   if (!instance) {
     throw new Error(`editor ${editorUid} not found`);
   }
@@ -506,15 +530,15 @@ const ToggleBlockComment$1 = 'toggleBlockComment';
 const Unknown$2 = 'unknown';
 
 const map$1 = Object.create(null);
-const set$b = (id, widget) => {
+const set$a = (id, widget) => {
   map$1[id] = widget;
 };
-const get$a = id => {
+const get$9 = id => {
   return map$1[id];
 };
 
 const getModule = id => {
-  return get$a(id);
+  return get$9(id);
 };
 
 const applyWidgetChange = async (editor, widget, changes) => {
@@ -2580,7 +2604,7 @@ const getEnabled$1 = () => {
 };
 
 const invoke$c = (...args) => SyntaxHighlightingWorker.invoke(...args);
-const set$a = (...args) => SyntaxHighlightingWorker.set(...args);
+const set$9 = (...args) => SyntaxHighlightingWorker.set(...args);
 
 const state$d = {
   pending: Object.create(null),
@@ -2590,10 +2614,10 @@ const state$d = {
 const has = languageId => {
   return Object.hasOwn(state$d.tokenizers, languageId);
 };
-const set$9 = (languageId, tokenizer) => {
+const set$8 = (languageId, tokenizer) => {
   state$d.tokenizers[languageId] = tokenizer;
 };
-const get$9 = languageId => {
+const get$8 = languageId => {
   return state$d.tokenizers[languageId];
 };
 const setTokenizePath = (languageId, tokenizePath) => {
@@ -2615,10 +2639,10 @@ const isPending = languageId => {
 const getTokenizePaths = () => [...new Set(Object.values(state$d.tokenizePaths))].toSorted((a, b) => a.localeCompare(b));
 
 const tokenMaps = Object.create(null);
-const set$8 = (languageId, tokenMap) => {
+const set$7 = (languageId, tokenMap) => {
   tokenMaps[languageId] = tokenMap;
 };
-const get$8 = languageId => {
+const get$7 = languageId => {
   return tokenMaps[languageId] || {};
 };
 
@@ -2631,7 +2655,7 @@ const loadTokenizer = async (languageId, tokenizePath) => {
   if (getEnabled$1()) {
     // @ts-ignore
     const tokenMap = await invoke$c('Tokenizer.load', languageId, tokenizePath);
-    set$8(languageId, tokenMap);
+    set$7(languageId, tokenMap);
     return;
   }
   try {
@@ -2647,8 +2671,8 @@ const loadTokenizer = async (languageId, tokenizePath) => {
       console.warn(`tokenizer.TokenMap should be an object in "${tokenizePath}"`);
       return;
     }
-    set$8(languageId, tokenizer.TokenMap);
-    set$9(languageId, tokenizer);
+    set$7(languageId, tokenizer.TokenMap);
+    set$8(languageId, tokenizer);
   } catch (error) {
     // TODO better error handling
     console.error(error);
@@ -2656,7 +2680,7 @@ const loadTokenizer = async (languageId, tokenizePath) => {
 };
 const getTokenizer = languageId => {
   if (has(languageId)) {
-    return get$9(languageId);
+    return get$8(languageId);
   }
   if (isPending(languageId)) {
     return TokenizePlainText;
@@ -2665,7 +2689,7 @@ const getTokenizer = languageId => {
 };
 
 const tokenizers = [TokenizePlainText];
-const get$7 = id => {
+const get$6 = id => {
   return tokenizers[id] || TokenizePlainText;
 };
 const register$1 = tokenizer => {
@@ -2755,7 +2779,7 @@ const getTokensViewport = (editor, startLineIndex, endLineIndex) => {
     lines,
     tokenizerId
   } = editor;
-  const tokenizer = get$7(tokenizerId);
+  const tokenizer = get$6(tokenizerId);
   const {
     hasArrayReturn,
     initialLineState,
@@ -3192,7 +3216,7 @@ const execute$1 = (command, ...args) => {
 
 const Two$1 = '2.0';
 const callbacks = Object.create(null);
-const get$6 = id => {
+const get$5 = id => {
   return callbacks[id];
 };
 const remove$8 = id => {
@@ -3413,7 +3437,7 @@ const warn$1 = (...args) => {
   console.warn(...args);
 };
 const resolve = (id, response) => {
-  const fn = get$6(id);
+  const fn = get$5(id);
   if (!fn) {
     console.log(response);
     warn$1(`callback ${id} may already be disposed`);
@@ -3915,7 +3939,7 @@ const decode = (buffer, lineLengths, now) => {
       if (total !== lineLengths[i]) {
         return undefined;
       }
-      if (line.embeddedResultIndex !== undefined && (!embeddedResults[line.embeddedResultIndex] || line.embeddedLanguageStart === undefined || line.embeddedLanguageEnd === undefined || line.embeddedLanguageStart > line.embeddedLanguageEnd || line.embeddedLanguageEnd > lineLengths[i])) {
+      if (line.embeddedResultIndex !== undefined && (!embeddedResults[line.embeddedResultIndex] || line.embeddedLanguageStart === undefined || line.embeddedLanguageEnd === undefined || line.embeddedLanguageStart > lineLengths[i] || line.embeddedLanguageStart > line.embeddedLanguageEnd && (embeddedResults[line.embeddedResultIndex].isFull || embeddedResults[line.embeddedResultIndex].result.tokens.length > 0) || line.embeddedLanguageEnd > lineLengths[i])) {
         return undefined;
       }
     }
@@ -10701,7 +10725,7 @@ const getFingerprint = async (paths, readApplicationSource) => {
   return Array.from(new Uint8Array(digest), value => value.toString(16).padStart(2, '0')).join('');
 };
 
-const cacheName$1 = 'lvce-editor-syntax-highlighting-v1';
+const cacheName = 'lvce-editor-syntax-highlighting-v1';
 const lifetime = 90 * 24 * 60 * 60 * 1000;
 const fingerprints = new Map();
 // Editor line arrays are immutable snapshots; edits replace the array. Weak
@@ -10711,7 +10735,7 @@ const hash = async value => {
   const digest = await crypto.subtle.digest('SHA-256', new TextEncoder().encode(JSON.stringify(value)));
   return Array.from(new Uint8Array(digest), value => value.toString(16).padStart(2, '0')).join('');
 };
-const getKey$2 = async (editor, start, end) => {
+const getKey$1 = async (editor, start, end) => {
   if (editor.syntaxHighlightingCacheEnabled !== true || editor.largeFile || !getTokenizePath$1(editor.languageId)) {
     return '';
   }
@@ -10748,26 +10772,26 @@ const getKey$2 = async (editor, start, end) => {
     return '';
   }
 };
-const get$5 = async (key, lineLengths) => {
+const get$4 = async (key, lineLengths) => {
   try {
-    const item = await CacheWorker.getCacheStorageItem(key, cacheName$1);
+    const item = await CacheWorker.getCacheStorageItem(key, cacheName);
     if (!item) {
       return undefined;
     }
     const result = decode(item.body, lineLengths, Date.now());
     if (!result) {
-      await CacheWorker.removeCacheStorageItem(key, cacheName$1);
+      await CacheWorker.removeCacheStorageItem(key, cacheName);
     }
     return result;
   } catch {
     return undefined;
   }
 };
-const set$7 = async (key, result) => {
+const set$6 = async (key, result) => {
   try {
     const buffer = encode(result, Date.now() + lifetime);
     if (buffer) {
-      await CacheWorker.setCacheStorageItem(key, buffer, cacheName$1, {
+      await CacheWorker.setCacheStorageItem(key, buffer, cacheName, {
         'content-type': 'application/octet-stream'
       });
     }
@@ -10834,7 +10858,7 @@ const getTokensViewport2 = async (editor, start, end, syncIncremental) => {
   if (editor.syntaxHighlightingCacheEnabled !== true) {
     return getFreshTokensViewport(editor, start, end, syncIncremental);
   }
-  const key = await getKey$2(editor, start, end);
+  const key = await getKey$1(editor, start, end);
   if (editor.lifecycle?.disposed) {
     return {
       embeddedResults: [],
@@ -10843,7 +10867,7 @@ const getTokensViewport2 = async (editor, start, end, syncIncremental) => {
     };
   }
   if (key) {
-    const cached = await get$5(key, editor.lines.slice(start, end).map(line => line.length));
+    const cached = await get$4(key, editor.lines.slice(start, end).map(line => line.length));
     if (editor.lifecycle?.disposed) {
       return {
         embeddedResults: [],
@@ -10862,7 +10886,7 @@ const getTokensViewport2 = async (editor, start, end, syncIncremental) => {
   }
   const result = await getFreshTokensViewport(editor, start, end, syncIncremental);
   if (key && !editor.lifecycle?.disposed) {
-    await set$7(key, result);
+    await set$6(key, result);
   }
   return result;
 };
@@ -11456,7 +11480,7 @@ const getLineInfosViewport = async (editor, tokens, embeddedResults, minLineY, m
     languageId,
     lines
   } = editor;
-  const tokenMap = get$8(languageId);
+  const tokenMap = get$7(languageId);
   let offset = minLineOffset;
   const tabSize = editor.tabSize ?? 2;
   const visibleLines = lines.slice(minLineY, maxLineY);
@@ -12184,7 +12208,7 @@ const transformDiagnostics = (diagnostics, changes) => {
 
 const queues$1 = {};
 const enqueue = async (uid, callback) => {
-  const instance = get$b(uid);
+  const instance = get$a(uid);
   if (!instance) {
     return undefined;
   }
@@ -12278,7 +12302,7 @@ const isConnected = () => {
   } = state$9;
   return rpc !== undefined;
 };
-const set$6 = value => {
+const set$5 = value => {
   state$9.rpc = value;
 };
 const invoke$8 = (method, ...params) => {
@@ -12474,7 +12498,7 @@ const mergeDiagnostics = (editor, editorWithDiagnostics) => ({
 });
 const commitDiagnostics = async (editor, generation, diagnostics, onAccepted) => {
   return (await enqueue(editor.id, async () => {
-    let latest = get$b(editor.id);
+    let latest = get$a(editor.id);
     if (!isApplicable(latest, editor, generation)) {
       return editor;
     }
@@ -12487,11 +12511,11 @@ const commitDiagnostics = async (editor, generation, diagnostics, onAccepted) =>
     }
     let calculationState = latest.newState;
     let editorWithDiagnostics = await addDiagnostics(calculationState, diagnostics);
-    latest = get$b(editor.id);
+    latest = get$a(editor.id);
     while (isApplicable(latest, editor, generation) && !diagnosticLayoutEqual(calculationState, latest.newState)) {
       calculationState = latest.newState;
       editorWithDiagnostics = await addDiagnostics(calculationState, diagnostics);
-      latest = get$b(editor.id);
+      latest = get$a(editor.id);
     }
     if (!isApplicable(latest, editor, generation)) {
       return editor;
@@ -12500,7 +12524,7 @@ const commitDiagnostics = async (editor, generation, diagnostics, onAccepted) =>
       return latest.newState;
     }
     const newEditor = mergeDiagnostics(latest.newState, editorWithDiagnostics);
-    set$c(editor.id, latest.oldState, newEditor);
+    set$b(editor.id, latest.oldState, newEditor);
     requestDiagnosticSnapshots.set(editor.id, diagnostics);
     onAccepted?.();
     await invoke$7('Editor.renderPending', newEditor.id);
@@ -12531,7 +12555,7 @@ const updateDiagnostics = async (editor, timeoutMs = 0) => {
   }
   const generation = (requestGenerations.get(editor.id) ?? 0) + 1;
   requestGenerations.set(editor.id, generation);
-  requestDiagnosticSnapshots.set(editor.id, get$b(editor.id)?.newState.diagnostics ?? editor.diagnostics);
+  requestDiagnosticSnapshots.set(editor.id, get$a(editor.id)?.newState.diagnostics ?? editor.diagnostics);
   const providers = new Map();
   const previous = previousProviderResults.get(editor.id);
   if (previous && previous.languageId === editor.languageId && previous.uri === editor.uri) {
@@ -12645,7 +12669,7 @@ const updateDiagnostics = async (editor, timeoutMs = 0) => {
   };
   try {
     await Promise.all([request(), completed.promise]);
-    const latest = get$b(editor.id);
+    const latest = get$a(editor.id);
     if (strict && !isApplicable(latest, editor, generation)) {
       throw new Error('Editor changed or closed while waiting for diagnostics');
     }
@@ -12698,7 +12722,7 @@ const transformCachedDiagnostics = (editorId, changes) => {
 };
 const updateDiagnosticsAll = async () => {
   for (const key of getKeys$2()) {
-    const editor = get$b(Number(key))?.newState;
+    const editor = get$a(Number(key))?.newState;
     if (editor) {
       await updateDiagnostics(editor);
     }
@@ -12710,7 +12734,7 @@ const waitForDiagnostics = async (editorId, timeoutMs = 30_000) => {
   if (!Number.isFinite(timeoutMs) || timeoutMs <= 0 || timeoutMs > 300_000) {
     throw new Error('Diagnostics timeout must be between 1 and 300000ms');
   }
-  const editor = get$b(editorId)?.newState;
+  const editor = get$a(editorId)?.newState;
   if (!editor || editor.initial) {
     throw new Error(`Editor is not ready: ${editorId}`);
   }
@@ -13386,7 +13410,7 @@ const scheduleDocumentAndCursorsSelections = async (editor, changes, selectionCh
     ...newEditor,
     decorations: linkDecorations
   };
-  set$c(editor.uid, editor, newEditorWithDecorations);
+  set$b(editor.uid, editor, newEditorWithDecorations);
 
   // Notify main-area-worker about modified status change
   if (!editor.modified && options.notifyModifiedStatusChange !== false) {
@@ -13858,7 +13882,7 @@ const getMinimapLines = async (editor, syncIncremental) => {
     await loadTokenizers(result.tokenizersToLoad);
     result = await getTokensViewport2(editor, 0, lines.length, syncIncremental);
   }
-  const tokenMap = get$8(languageId);
+  const tokenMap = get$7(languageId);
   return result.tokens.map((lineState, index) => getLine(lineState, result.embeddedResults, tokenMap, lines[index].length));
 };
 
@@ -14363,7 +14387,7 @@ const updateColorPickerValue = async (editorUid, value) => {
     return;
   }
   const newEditorWithDerivedState = await updateDerivedState(editor, newEditor);
-  set$c(editorUid, editor, newEditorWithDerivedState);
+  set$b(editorUid, editor, newEditorWithDerivedState);
 };
 
 const getColorPickerWorkerCommandMap = () => ({
@@ -14576,7 +14600,7 @@ const createEditor2 = (id, uri, x, y, width, height, platform, assetDir, _langua
     x,
     y
   };
-  set$c(id, editor, editor);
+  set$b(id, editor, editor);
 };
 
 const emptyEditor = {
@@ -14718,26 +14742,9 @@ const getLanguages = async (platform, assetDir, applicationId) => {
   return invoke$9(applicationId, 'Extensions.getLanguages', platform, assetDir);
 };
 
-const cacheName = 'lvce-editor-character-widths-v1';
-const character = 'a';
-const getKey$1 = (fontWeight, fontSize, fontFamily, letterSpacing) => {
-  return `/character-width/${encodeURIComponent(JSON.stringify([character, fontWeight, fontSize, fontFamily, letterSpacing]))}`;
-};
-const get$4 = async (fontWeight, fontSize, fontFamily, letterSpacing) => {
-  const item = await CacheWorker.getCacheStorageJsonItem(getKey$1(fontWeight, fontSize, fontFamily, letterSpacing), cacheName);
-  const width = item?.value;
-  if (typeof width !== 'number' || !Number.isFinite(width) || width < 0) {
-    return undefined;
-  }
-  return width;
-};
-const set$5 = async (fontWeight, fontSize, fontFamily, letterSpacing, width) => {
-  await CacheWorker.setCacheStorageJsonItem(getKey$1(fontWeight, fontSize, fontFamily, letterSpacing), width, cacheName);
-};
-
 const measureCharacterWidth = async (fontWeight, fontSize, fontFamily, letterSpacing) => {
   try {
-    const cachedWidth = await get$4(fontWeight, fontSize, fontFamily, letterSpacing);
+    const cachedWidth = await get$b(fontWeight, fontSize, fontFamily, letterSpacing);
     if (cachedWidth !== undefined) {
       return cachedWidth;
     }
@@ -14746,7 +14753,7 @@ const measureCharacterWidth = async (fontWeight, fontSize, fontFamily, letterSpa
   }
   const width = await measureTextWidth('a', fontWeight, fontSize, fontFamily, letterSpacing, false, 0);
   try {
-    await set$5(fontWeight, fontSize, fontFamily, letterSpacing, width);
+    await set$c(fontWeight, fontSize, fontFamily, letterSpacing, width);
   } catch {
     // Cache failures must not prevent editor creation.
   }
@@ -14950,10 +14957,10 @@ const createEditor = async ({
     focused: true,
     textInfos
   };
-  set$c(id, emptyEditor, newEditor4);
+  set$b(id, emptyEditor, newEditor4);
   const completionsOnTypeRaw = await get$3('editor.completionsOnType');
   const completionsOnType = Boolean(completionsOnTypeRaw);
-  set$c(id, emptyEditor, {
+  set$b(id, emptyEditor, {
     ...newEditor4,
     completionsOnType
   });
@@ -14982,7 +14989,7 @@ const createStandaloneEditor = async ({
   y
 }) => {
   createEditor2(id, uri, x, y, width, height, platform, assetDir, undefined, undefined, undefined, applicationId);
-  const createdEditor = get$b(id).newState;
+  const createdEditor = get$a(id).newState;
   await loadTokenizer(languageId, tokenizePath);
   const tokenizerId = register$1(getTokenizer(languageId));
   const configuredEditor = {
@@ -15029,7 +15036,7 @@ const createStandaloneEditor = async ({
     selectionInfos
   };
   if (!createdEditor.lifecycle?.disposed) {
-    set$c(id, createdEditor, finalEditor);
+    set$b(id, createdEditor, finalEditor);
   }
 };
 
@@ -15092,7 +15099,7 @@ const diff = (oldState, newState) => {
 };
 
 const diff2 = uid => {
-  const editor = get$b(uid);
+  const editor = get$a(uid);
   if (!editor) {
     return [];
   }
@@ -15248,7 +15255,7 @@ const initializeListener = async rpcId => {
   if (!getListeners(EditorSelection$1).includes(rpcId)) {
     return;
   }
-  const editor = getKeys$2().map(uid => get$b(Number(uid))?.newState).find(state => {
+  const editor = getKeys$2().map(uid => get$a(Number(uid))?.newState).find(state => {
     const {
       focused,
       initial
@@ -15284,7 +15291,7 @@ const invoke$5 = async (method, ...params) => {
   return await worker.invoke(method, ...params);
 };
 const dispose$3 = async () => {
-  if (getKeys$2().some(uid => get$b(Number(uid))?.newState.widgets?.some(widget => widget.id === Rename$1))) {
+  if (getKeys$2().some(uid => get$a(Number(uid))?.newState.widgets?.some(widget => widget.id === Rename$1))) {
     return;
   }
   const promise = workerPromise;
@@ -15321,14 +15328,14 @@ const dispose$2 = uid => {
 };
 
 const addWidget$1 = widget => {
-  const module = get$a(widget.id);
+  const module = get$9(widget.id);
   if (!module) {
     throw new Error('unsupported widget');
   }
   return module.add(widget);
 };
 const renderWidget = widget => {
-  const module = get$a(widget.id);
+  const module = get$9(widget.id);
   if (!module) {
     throw new Error('unsupported widget');
   }
@@ -15397,7 +15404,7 @@ const renderWidgets$1 = (oldState, newState) => {
 };
 
 const disposeEditor = async editorUid => {
-  const editor = get$b(editorUid)?.newState;
+  const editor = get$a(editorUid)?.newState;
   if (!editor) {
     return [];
   }
@@ -15500,7 +15507,7 @@ const hydrateWidget = (editor, widgetId, uid, newState) => {
   };
 };
 const getLatestEditor = (uid, fallback) => {
-  const instance = get$b(uid);
+  const instance = get$a(uid);
   return instance?.newState || fallback;
 };
 const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGenerator, fullFocus) => {
@@ -15532,7 +15539,7 @@ const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGe
   };
   if (fullFocus) {
     // Staging changes pending state; only rendering may advance the mounted baseline.
-    set$c(editor.uid, get$b(editor.uid)?.oldState || editor, stagedEditor);
+    set$b(editor.uid, get$a(editor.uid)?.oldState || editor, stagedEditor);
   }
   const newState = await newStateGenerator(initialState, editor.uid);
   if (!newState) {
@@ -15542,7 +15549,7 @@ const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGe
     if (fullFocus) {
       const latestEditor = getLatestEditor(editor.uid, stagedEditor);
       if (latestEditor === stagedEditor) {
-        set$c(editor.uid, get$b(editor.uid)?.oldState || editor, editor);
+        set$b(editor.uid, get$a(editor.uid)?.oldState || editor, editor);
       }
       return latestEditor === stagedEditor ? editor : latestEditor;
     }
@@ -15563,7 +15570,7 @@ const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGe
     } : currentEditor;
     const hydratedEditor = hydrateWidget(latestEditor, widgetId, widgetUid, latestState);
     if (hydratedEditor !== latestEditor) {
-      set$c(editor.uid, get$b(editor.uid)?.oldState || editor, hydratedEditor);
+      set$b(editor.uid, get$a(editor.uid)?.oldState || editor, hydratedEditor);
     }
     return hydratedEditor;
   }
@@ -15721,7 +15728,7 @@ const newStateGenerator$4 = async (state, parentUid, markCreated, automatic) =>
   } = state;
   const {
     newState
-  } = get$b(parentUid);
+  } = get$a(parentUid);
   const {
     applicationId,
     languageId
@@ -15747,8 +15754,8 @@ const openCompletion = async (editor, automatic = false) => {
       uid
     } = widget.newState;
     await invoke$4('Completions.loadContent', uid, automatic);
-    if (!isCurrent$1(editor, get$b(editor.uid)?.newState)) {
-      return get$b(editor.uid)?.newState || editor;
+    if (!isCurrent$1(editor, get$a(editor.uid)?.newState)) {
+      return get$a(editor.uid)?.newState || editor;
     }
     if (automatic && !(await invoke$4('Completions.hasItems', uid))) {
       return closeCompletion(editor);
@@ -15780,7 +15787,7 @@ const openCompletion = async (editor, automatic = false) => {
   const fullFocus = false;
   const result = await addWidgetToEditor(Completion, EditorCompletion, editor, create$7, generateState, fullFocus);
   const wasAdded = (result?.widgets || []).some(widget => widget.id === Completion && widget.newState.uid === completionUid);
-  const currentEditor = get$b(editor.uid)?.newState;
+  const currentEditor = get$a(editor.uid)?.newState;
   if (created && (!wasAdded || !isCurrent$1(editor, currentEditor))) {
     await disposeCompletion(completionUid);
   }
@@ -16659,7 +16666,7 @@ const editorShowMessage = async (editor, rowIndex, columnIndex, message, _isErro
   if (typeof editor.uid === 'number') {
     const timeout = setTimeout(async () => {
       clear$1(editor.uid);
-      const latestInstance = get$b(editor.uid);
+      const latestInstance = get$a(editor.uid);
       if (!latestInstance) {
         return;
       }
@@ -16673,7 +16680,7 @@ const editorShowMessage = async (editor, rowIndex, columnIndex, message, _isErro
         widgetRevision: next(editor.uid),
         widgets: removeEditorWidget(latestEditor.widgets, Message)
       };
-      set$c(editor.uid, latestEditor, editorWithoutMessage);
+      set$b(editor.uid, latestEditor, editorWithoutMessage);
       await RendererWorker.invoke('Editor.renderPending', editor.uid);
     }, editor.messageDelay ?? defaultMessageDelay);
     set$2(editor.uid, {
@@ -16872,7 +16879,7 @@ const refresh = async request => {
       }
       const gutterDecorations = await getEditorGutterDecorations(snapshot);
       const changed = await enqueue(snapshot.uid, async () => {
-        const current = get$b(snapshot.uid)?.newState;
+        const current = get$a(snapshot.uid)?.newState;
         if (!isCurrent(current, snapshot) || current.gutterDecorations.length === gutterDecorations.length && gutterDecorations.every((item, index) => item.rowIndex === current.gutterDecorations[index].rowIndex && item.type === current.gutterDecorations[index].type)) {
           return false;
         }
@@ -16881,11 +16888,11 @@ const refresh = async request => {
           gutterDecorations
         });
         // Derived state may await layout RPCs while an asynchronous render consumes the baseline.
-        const latest = get$b(snapshot.uid);
+        const latest = get$a(snapshot.uid);
         if (!isCurrent(latest?.newState, snapshot)) {
           return false;
         }
-        set$c(snapshot.uid, latest.oldState, next);
+        set$b(snapshot.uid, latest.oldState, next);
         return true;
       });
       if (changed) {
@@ -16970,7 +16977,7 @@ const selectionsEqual = (left, right) => {
   return true;
 };
 const saveAfterDelay = async (uid, token) => {
-  if (!get$b(uid)) {
+  if (!get$a(uid)) {
     consume(uid, token);
     return;
   }
@@ -17000,7 +17007,7 @@ const saveAfterDelay = async (uid, token) => {
 const wrapCommand$1 = (fn, preservesTypingCoalescing = false, returnState = true) => {
   const command = async (uid, ...args) => {
     return enqueue(uid, async () => {
-      const oldInstance = get$b(uid);
+      const oldInstance = get$a(uid);
       if (!oldInstance) {
         return undefined;
       }
@@ -17048,18 +17055,18 @@ const wrapCommand$1 = (fn, preservesTypingCoalescing = false, returnState = true
           cursorUndoStack: [...previousCursorUndoStack.slice(1 - cursorUndoLimit), new Uint32Array(selections)]
         };
       }
-      if (state === newEditor || !get$b(uid) || lifecycle?.disposed || get$b(uid).newState.lifecycle !== lifecycle) {
+      if (state === newEditor || !get$a(uid) || lifecycle?.disposed || get$a(uid).newState.lifecycle !== lifecycle) {
         return returnState ? newEditor : undefined;
       }
       const deferGutterDecorations = !initial && uri === newEditor.uri && lines !== newEditor.lines && Boolean(newEditor.lifecycle);
       const newEditorWithDerivedState = await updateDerivedState(state, newEditor, deferGutterDecorations);
-      if (!get$b(uid) || lifecycle?.disposed || get$b(uid).newState.lifecycle !== lifecycle) {
+      if (!get$a(uid) || lifecycle?.disposed || get$a(uid).newState.lifecycle !== lifecycle) {
         return returnState ? newEditorWithDerivedState : undefined;
       }
       // Another command can commit before the renderer consumes this edit.
       // Keep its last rendered baseline, including renders completed while we awaited derived state.
-      const renderedState = get$b(uid)?.oldState ?? oldInstance.oldState;
-      set$c(uid, renderedState, newEditorWithDerivedState);
+      const renderedState = get$a(uid)?.oldState ?? oldInstance.oldState;
+      set$b(uid, renderedState, newEditorWithDerivedState);
       await dispose$3();
       if (editorDiagnosticEffect.isActive(state, newEditorWithDerivedState)) {
         void editorDiagnosticEffect.apply(newEditorWithDerivedState);
@@ -17072,7 +17079,7 @@ const wrapCommand$1 = (fn, preservesTypingCoalescing = false, returnState = true
       if (!initial && uri === finalEditor.uri && (endOfLine !== finalEditor.endOfLine || insertSpaces !== finalEditor.insertSpaces || lines !== finalEditor.lines || modified !== finalEditor.modified || redoStack !== finalEditor.redoStack || undoStack !== finalEditor.undoStack)) {
         for (const key of getKeys$2()) {
           const otherUid = Number(key);
-          const instance = get$b(otherUid);
+          const instance = get$a(otherUid);
           const editor = instance?.newState;
           if (otherUid === uid || !instance || !editor || editor.initial || editor.uri !== finalEditor.uri || editor.applicationId !== finalEditor.applicationId) {
             continue;
@@ -17091,11 +17098,11 @@ const wrapCommand$1 = (fn, preservesTypingCoalescing = false, returnState = true
             undoStack: finalEditor.undoStack,
             visualDecorations: finalEditor.visualDecorations
           }, deferGutterDecorations);
-          const latest = get$b(otherUid);
+          const latest = get$a(otherUid);
           if (!latest || editor.lifecycle?.disposed || latest.newState.lifecycle !== editor.lifecycle) {
             continue;
           }
-          set$c(otherUid, latest.oldState, synchronizedEditor);
+          set$b(otherUid, latest.oldState, synchronizedEditor);
           if (deferGutterDecorations) {
             schedule(synchronizedEditor);
           }
@@ -17127,7 +17134,7 @@ const wrapFocusCommand$1 = (fn, returnState = true) => {
   }, false, returnState);
   const focusCommand = uid => {
     // DOM focus events can arrive while a queued command is still opening a widget.
-    const widgetRevision = get$b(uid)?.newState.widgetRevision;
+    const widgetRevision = get$a(uid)?.newState.widgetRevision;
     return command(uid, widgetRevision);
   };
   stateCommands?.add(focusCommand);
@@ -17160,7 +17167,7 @@ const wrapLatestCommand$1 = (fn, returnState = true) => {
 const wrapDeferredCommand$1 = (fn, returnState = true) => {
   const apply = wrapCommand$1((editor, snapshot, result) => merge(editor, snapshot, result), false, returnState);
   const deferredCommand = async (uid, ...args) => {
-    const snapshot = await enqueue(uid, async () => get$b(uid)?.newState);
+    const snapshot = await enqueue(uid, async () => get$a(uid)?.newState);
     if (!snapshot) {
       return undefined;
     }
@@ -17220,7 +17227,7 @@ const getOpenEditor = (currentEditor, uri) => {
     return currentEditor;
   }
   for (const key of getKeys$2()) {
-    const editor = get$b(Number(key))?.newState;
+    const editor = get$a(Number(key))?.newState;
     if (editor && !editor.initial && editor.uri === uri && editor.applicationId === currentEditor.applicationId) {
       return editor;
     }
@@ -17725,7 +17732,7 @@ const closeRename = async editor => {
   }
   const renameWidget = widgets[renameWidgetIndex];
   await invoke$5('Rename.close', renameWidget.newState.uid);
-  const latest = get$b(uid);
+  const latest = get$a(uid);
   const {
     newState
   } = latest;
@@ -19813,7 +19820,7 @@ const editorHoverDismissDelay = 500;
 const handleMouseLeave = (viewletUid, editorUidValue) => {
   const targetEditorUid = editorUidValue ?? viewletUid;
   const editorUid = Number(targetEditorUid);
-  const instance = get$b(editorUid);
+  const instance = get$a(editorUid);
   if (!instance) {
     return;
   }
@@ -19828,7 +19835,7 @@ const handleMouseLeave = (viewletUid, editorUidValue) => {
   }
   const timeout = setTimeout(async () => {
     clear$3(editorUid);
-    const latestInstance = get$b(editorUid);
+    const latestInstance = get$a(editorUid);
     if (!latestInstance) {
       return;
     }
@@ -19845,7 +19852,7 @@ const handleMouseLeave = (viewletUid, editorUidValue) => {
       widgetRevision: next(editorUid),
       widgets: removeEditorWidget(latestEditor.widgets, Hover)
     };
-    set$c(editorUid, latestEditor, newEditor);
+    set$b(editorUid, latestEditor, newEditor);
     await RendererWorker.invoke('Editor.renderPending', editorUid);
   }, editorHoverDismissDelay);
   set$4(editorUid, {
@@ -19946,6 +19953,7 @@ const measureTextBlockHeight = async (text, fontFamily, fontSize, lineHeight, wi
 };
 
 const maximumWidth = 600;
+const maximumHeight$1 = 300;
 const horizontalPadding = 18;
 const getDiagnosticHoverInfo = async (editor, diagnostic) => {
   const {
@@ -19957,7 +19965,7 @@ const getDiagnosticHoverInfo = async (editor, diagnostic) => {
   const detail = getDiagnosticHoverDetail(diagnostic);
   const diagnosticText = detail ? `${message} ${detail}` : message;
   const measuredHeight = await measureTextBlockHeight(diagnosticText, editor.fontFamily, editor.fontSize, `${editor.rowHeight}px`, width - horizontalPadding);
-  const height = Math.min(measuredHeight + 10, editor.height);
+  const height = Math.min(measuredHeight + 10, maximumHeight$1, editor.height);
   const positionX = editor.x + columnIndex * editor.columnWidth - (editor.deltaX || 0);
   const x = Math.max(editor.x, Math.min(positionX, editor.x + editor.width - width));
   const rowBottom = editor.y + (rowIndex + 1) * editor.rowHeight - (editor.deltaY || 0);
@@ -20105,10 +20113,11 @@ const hoverDocumentationFontSize = 15;
 const hoverDocumentationFontFamily = 'Fira Code';
 const hoverDocumentationLineHeight = '1.33333';
 const hoverWidth = 600;
+const maximumHeight = 300;
 const hoverDocumentationWidth = hoverWidth - 18;
 const getEditorHoverInfo = async (editorUid, position) => {
   number(editorUid);
-  const instance = get$b(editorUid);
+  const instance = get$a(editorUid);
   const editor = instance.newState;
   const {
     selections
@@ -20151,7 +20160,7 @@ const getEditorHoverInfo = async (editorUid, position) => {
     diagnosticText += `${diagnosticText ? '\n' : ''}${diagnostic.message} ${diagnostic.source} (${diagnostic.code})`;
   }
   const diagnosticsHeight = diagnosticText ? (await measureTextBlockHeight(diagnosticText, editor.fontFamily, editor.fontSize, `${editor.rowHeight}px`, hoverDocumentationWidth)) + 10 : 0;
-  const height = Math.min(diagnosticsHeight + displayStringHeight + (documentation ? documentationHeight + 11 : 0) || 20, editor.height);
+  const height = Math.min(diagnosticsHeight + displayStringHeight + (documentation ? documentationHeight + 11 : 0) || 20, maximumHeight, editor.height);
   const x$1 = Math.max(editor.x, Math.min(x(editor, rowIndex, wordStart), editor.x + editor.width - hoverWidth));
   const rowBottom = y(editor, rowIndex);
   const y$1 = rowBottom + height <= editor.y + editor.height ? rowBottom : Math.max(editor.y, rowBottom - editor.rowHeight - height);
@@ -20242,7 +20251,7 @@ const showDiagnostic = async (editor, diagnostic) => {
 };
 
 const showHover = async (editor, position, token) => {
-  const instance = get$b(editor.uid);
+  const instance = get$a(editor.uid);
   if (!instance) {
     return;
   }
@@ -20251,11 +20260,11 @@ const showHover = async (editor, position, token) => {
     return;
   }
   const newEditor = await showHover$1(latestEditor, position);
-  const latestInstance = get$b(editor.uid);
+  const latestInstance = get$a(editor.uid);
   if (latestEditor === newEditor || !latestInstance || latestInstance.newState !== latestEditor || get$2().token !== token) {
     return;
   }
-  set$c(editor.uid, latestInstance.oldState, newEditor);
+  set$b(editor.uid, latestInstance.oldState, newEditor);
   await RendererWorker.invoke('Editor.renderPending', editor.uid);
 };
 
@@ -20278,7 +20287,7 @@ const onHoverIdle = async token => {
     if (latestToken !== token || !editor) {
       return;
     }
-    const instance = get$b(editor.uid);
+    const instance = get$a(editor.uid);
     if (!instance || !instance.newState.hoverEnabled) {
       return;
     }
@@ -20506,20 +20515,20 @@ const advanceSelectionAutoScroll = async editor => {
   return editorMoveSelection(scrolledEditor, position, false);
 };
 const continueScrollingAndMovingSelection = async editorUid => {
-  const editor = get$b(editorUid)?.newState;
+  const editor = get$a(editorUid)?.newState;
   if (!editor?.isSelecting || !editor.hasListener) {
     return;
   }
   const nextEditor = await advanceSelectionAutoScroll(editor);
   const derivedEditor = await updateDerivedState(editor, nextEditor);
-  const currentEditor = get$b(editorUid)?.newState;
+  const currentEditor = get$a(editorUid)?.newState;
   if (currentEditor !== editor) {
     if (currentEditor?.isSelecting && currentEditor.hasListener) {
       requestAnimationFrame(() => continueScrollingAndMovingSelection(editorUid));
     }
     return;
   }
-  set$c(editor.uid, editor, derivedEditor);
+  set$b(editor.uid, editor, derivedEditor);
   await RendererWorker.invoke('Editor.renderPending', editor.uid);
   if (derivedEditor.hasListener) {
     requestAnimationFrame(() => continueScrollingAndMovingSelection(editorUid));
@@ -21232,7 +21241,7 @@ const updateEditor = async (editorUid, editor, newEditor) => {
     return;
   }
   const newEditorWithDerivedState = await updateDerivedState(editor, newEditor);
-  set$c(editorUid, editor, newEditorWithDerivedState);
+  set$b(editorUid, editor, newEditorWithDerivedState);
 };
 const applyDocumentEdits = async (editorUid, edits) => {
   const editor = getEditor$1(editorUid);
@@ -21364,7 +21373,7 @@ const Close = 'Close';
 
 const getEditorByWidgetUid = (widgetUid, widgetId) => {
   for (const key of getKeys$2()) {
-    const editor = get$b(Number(key)).newState;
+    const editor = get$a(Number(key)).newState;
     const widgets = editor.widgets || [];
     for (const widget of widgets) {
       if (widget.id === widgetId && widget.newState.uid === widgetUid) {
@@ -21378,7 +21387,7 @@ const getEditor = (editorOrUid, widgetId) => {
   if (editorOrUid && editorOrUid.widgets) {
     return editorOrUid;
   }
-  const instance = get$b(editorOrUid);
+  const instance = get$a(editorOrUid);
   if (instance && instance.newState && instance.newState.widgets) {
     return instance.newState;
   }
@@ -21410,16 +21419,16 @@ const createFn = (key, name, widgetId) => {
     } = state;
     const invoke = getWidgetInvoke(widgetId);
     await invoke(`${name}.${key}`, uid, ...args);
-    const latestAfterInvoke = get$b(editor.uid).newState;
+    const latestAfterInvoke = get$a(editor.uid).newState;
     const latestChildIndex = latestAfterInvoke.widgets.findIndex(isWidget);
     if (latestChildIndex === -1) {
-      set$c(editor.uid, editor, latestAfterInvoke);
+      set$b(editor.uid, editor, latestAfterInvoke);
       await dispose$3();
       return latestAfterInvoke;
     }
     const diff = await invoke(`${name}.diff2`, uid);
     const commands = await invoke(`${name}.render2`, uid, diff);
-    const latest = get$b(editor.uid).newState;
+    const latest = get$a(editor.uid).newState;
     if (shouldClose) {
       const newEditor = {
         ...latest,
@@ -21427,7 +21436,7 @@ const createFn = (key, name, widgetId) => {
         widgetRevision,
         widgets: removeEditorWidget(latest.widgets, widgetId)
       };
-      set$c(editor.uid, latest, newEditor);
+      set$b(editor.uid, latest, newEditor);
       return newEditor;
     }
     const newState = {
@@ -21435,7 +21444,7 @@ const createFn = (key, name, widgetId) => {
       commands
     };
     const newEditor = updateWidget(latest, widgetId, newState);
-    set$c(editor.uid, editor, newEditor);
+    set$b(editor.uid, editor, newEditor);
     return newEditor;
   };
   return fn;
@@ -21696,7 +21705,7 @@ const newStateGenerator$1 = async (state, parentUid) => {
   } = state;
   const {
     newState
-  } = get$b(parentUid);
+  } = get$a(parentUid);
   const {
     applicationId,
     languageId
@@ -21721,7 +21730,7 @@ const openRename = async editor => {
   if (!word) {
     return editor;
   }
-  const editorState = get$b(editor.uid);
+  const editorState = get$a(editor.uid);
   if (!editorState) {
     return editor;
   }
@@ -21735,7 +21744,7 @@ const openRename = async editor => {
   if (!prepareRenameResult || typeof prepareRenameResult !== 'object') {
     return editor;
   }
-  const latestEditor = get$b(editor.uid)?.newState;
+  const latestEditor = get$a(editor.uid)?.newState;
   if (latestEditor !== editor) {
     return latestEditor || editor;
   }
@@ -21872,7 +21881,7 @@ const paste = async (editor, pastedText) => {
           cause: error
         });
       }
-      const currentEditor = get$b(editor.uid)?.newState;
+      const currentEditor = get$a(editor.uid)?.newState;
       if (!currentEditor || currentEditor.uri !== editor.uri || currentEditor.languageId !== 'markdown') {
         try {
           await invoke$a(editor.applicationId, 'FileSystem.remove', savedImage.uri);
@@ -22636,7 +22645,7 @@ const paddingLeft = 8;
 const paddingRight = 8;
 const getSignatureHelpInfo = async editorUid => {
   number(editorUid);
-  const instance = get$b(editorUid);
+  const instance = get$a(editorUid);
   const editor = instance.newState;
   const {
     selections
@@ -22754,7 +22763,7 @@ const newStateGenerator = async (state, parentUid) => {
   } = state;
   const {
     newState
-  } = get$b(parentUid);
+  } = get$a(parentUid);
   const {
     languageId
   } = newState;
@@ -24495,7 +24504,7 @@ const getEditorSourceActions = async editorId => {
   }
   const {
     newState
-  } = get$b(editorId);
+  } = get$a(editorId);
   const extensions = await invoke$9(newState.applicationId, 'Extensions.getAllExtensions', newState.assetDir, newState.platform);
   return extensions.filter(extension => !extension.disabled).flatMap(extension => extension.codeActions || []).filter(action => action.languageId === newState.languageId);
 };
@@ -24589,13 +24598,13 @@ const getSelections2 = editorUid => {
   return selections;
 };
 const setSelections2 = async (editorUid, selections, reveal = true) => {
-  const requested = get$b(editorUid);
+  const requested = get$a(editorUid);
   if (!requested || requested.newState.lifecycle?.disposed) {
     return;
   }
   const requestedLifecycle = requested.newState.lifecycle;
   await enqueue(editorUid, async () => {
-    const instance = get$b(editorUid);
+    const instance = get$a(editorUid);
     if (!instance || instance.newState.lifecycle?.disposed || instance.newState.lifecycle !== requestedLifecycle) {
       return;
     }
@@ -24608,11 +24617,11 @@ const setSelections2 = async (editorUid, selections, reveal = true) => {
       selections
     };
     const newEditorWithDerivedState = await updateDerivedState(editor, newEditor);
-    const current = get$b(editorUid);
+    const current = get$a(editorUid);
     if (!current || lifecycle?.disposed || current.newState.lifecycle !== lifecycle) {
       return;
     }
-    set$c(editorUid, current.oldState, newEditorWithDerivedState);
+    set$b(editorUid, current.oldState, newEditorWithDerivedState);
   });
 };
 const closeWidget2 = async (editorUid, widgetId, widgetName, unsetAdditionalFocus$1) => {
@@ -24637,7 +24646,7 @@ const closeWidget2 = async (editorUid, widgetId, widgetName, unsetAdditionalFocu
     widgets: newWidgets
   };
   const newEditorWithDerivedState = await updateDerivedState(editor, newEditor);
-  set$c(editorUid, editor, newEditorWithDerivedState);
+  set$b(editorUid, editor, newEditorWithDerivedState);
   await setFocus(FocusEditorText);
   if (unsetAdditionalFocus$1) {
     await unsetAdditionalFocus(unsetAdditionalFocus$1);
@@ -24668,7 +24677,7 @@ const ensure = async (fontName, fontUrl) => {
 const getComponentState = uid => {
   const {
     newState
-  } = get$b(uid);
+  } = get$a(uid);
   return {
     ...newState,
     cursorUndoStack: newState.cursorUndoStack?.map(selection => [...selection]),
@@ -25172,7 +25181,7 @@ const getProblems = async () => {
   const keys = getKeys$2();
   const diagnostics = keys.flatMap(key => {
     const numericKey = Number(key);
-    const editor = get$b(numericKey);
+    const editor = get$a(numericKey);
     if (!editor?.newState) {
       return [];
     }
@@ -25344,10 +25353,10 @@ const createCommandMap = commands => ({
     if (typeof fn !== 'function') {
       throw new TypeError(`Editor event command not found: ${command}`);
     }
-    const editor = get$b(uid)?.newState;
+    const editor = get$a(uid)?.newState;
     if (!editor) return;
     await fn(uid, ...args);
-    const current = get$b(uid)?.newState;
+    const current = get$a(uid)?.newState;
     if (!current || editor.lifecycle?.disposed || current.lifecycle !== editor.lifecycle) return;
     // The wrapped command has released the document queue before requesting a
     // render; a diff can now run without waiting on its own command.
@@ -25372,7 +25381,7 @@ const handleDirectMessagePort = async (port, commands) => {
     commandMap: createCommandMap(commands),
     messagePort: port
   });
-  set$6(rpc);
+  set$5(rpc);
 };
 
 const getBreadcrumbFileIcon = async (uri, applicationId) => {
@@ -25755,7 +25764,7 @@ const restoreWidgetState = async (keys, savedStates) => {
   const newEditors = [];
   for (const key of keys) {
     const editorUid = parseInt(key);
-    const editor = get$b(editorUid);
+    const editor = get$a(editorUid);
     if (!editor?.newState || !Array.isArray(editor.newState.widgets)) {
       continue;
     }
@@ -25808,7 +25817,7 @@ const saveSingleWidgetState = async (savedStates, key, widget) => {
 const saveWidgetState = async keys => {
   const savedStates = Object.create(null);
   for (const key of keys) {
-    const editor = get$b(parseInt(key));
+    const editor = get$a(parseInt(key));
     if (!editor?.newState || !Array.isArray(editor.newState.widgets)) {
       continue;
     }
@@ -25837,7 +25846,7 @@ const hotReload = async () => {
     await relaunchWorkers();
     const newEditors = await restoreWidgetState(keys, savedStates);
     for (const editor of newEditors) {
-      set$c(editor.newState.uid, editor.oldState, editor.newState);
+      set$b(editor.newState.uid, editor.oldState, editor.newState);
     }
 
     // TODO ask renderer worker to rerender all editors
@@ -25875,7 +25884,7 @@ const initializeSyntaxHighlighting = async (syntaxHighlightingEnabled, syncIncre
   if (syntaxHighlightingEnabled) {
     setEnabled$1(true);
     const syntaxRpc = await createSyntaxHighlightingWorkerRpc();
-    set$a(syntaxRpc);
+    set$9(syntaxRpc);
   }
   if (syncIncremental) {
     setEnabled(true);
@@ -26151,7 +26160,7 @@ const loadContent = async (state, savedState, largeFile = false, focus = true, f
   let existingEditor;
   if (!forceReload) {
     for (const key of getKeys$2()) {
-      const editor = get$b(Number(key))?.newState;
+      const editor = get$a(Number(key))?.newState;
       if (editor && editor.id !== id && !editor.initial && editor.uri === uri && editor.applicationId === state.applicationId) {
         existingEditor = editor;
         break;
@@ -26336,14 +26345,14 @@ const refreshGutterDecorations = async editor => {
 };
 const refreshGutterDecorationsAll = async () => {
   for (const key of getKeys$2()) {
-    const editor = get$b(Number(key))?.newState;
+    const editor = get$a(Number(key))?.newState;
     if (editor) {
       const refreshedEditor = await refreshGutterDecorations(editor);
-      const latest = get$b(editor.id);
+      const latest = get$a(editor.id);
       if (!latest) {
         continue;
       }
-      set$c(editor.id, latest.oldState, {
+      set$b(editor.id, latest.oldState, {
         ...latest.newState,
         gutterDecorations: refreshedEditor.gutterDecorations
       });
@@ -27720,7 +27729,7 @@ const applyRender = (oldState, newState, diffResult) => {
 };
 
 const render2 = (uid, _diffResult) => {
-  const editor = get$b(uid);
+  const editor = get$a(uid);
   if (!editor) {
     return [];
   }
@@ -27730,7 +27739,7 @@ const render2 = (uid, _diffResult) => {
   } = editor;
   // Diagnostics can change after the caller calculated its diff in a separate RPC.
   const diffResult = diff(oldState, newState);
-  set$c(uid, newState, newState);
+  set$b(uid, newState, newState);
   const commands = applyRender(oldState, newState, diffResult);
   return commands;
 };
@@ -27738,7 +27747,7 @@ const render2 = (uid, _diffResult) => {
 const queues = new Map();
 const focusCommands = new Set(['Viewlet.focus', 'Viewlet.focusSelector', 'Viewlet.setFocusContext', 'Viewlet.setAdditionalFocus', 'Viewlet.unsetAdditionalFocus']);
 const renderDirect = async (uid, preserveFocus) => {
-  const instance = get$b(uid);
+  const instance = get$a(uid);
   if (!instance) return [];
   const {
     newState,
@@ -27762,17 +27771,17 @@ const renderDirect = async (uid, preserveFocus) => {
     }
     return result;
   } catch (error) {
-    const latest = get$b(uid);
+    const latest = get$a(uid);
     if (latest?.newState.lifecycle === newState.lifecycle && latest.oldState === newState) {
       // A rejected queue RPC must not acknowledge patches that never arrived.
-      set$c(uid, oldState, latest.newState);
+      set$b(uid, oldState, latest.newState);
       if (oldDom) set$1(uid, oldDom, oldPaths);else dispose$2(uid);
     }
     throw error;
   }
 };
 const renderDirect2 = async (uid, preserveFocus = false) => {
-  const lifecycle = get$b(uid)?.newState.lifecycle;
+  const lifecycle = get$a(uid)?.newState.lifecycle;
   const previous = queues.get(uid);
   const {
     promise,
@@ -27781,7 +27790,7 @@ const renderDirect2 = async (uid, preserveFocus = false) => {
   queues.set(uid, promise);
   if (previous) await previous;
   try {
-    if (get$b(uid)?.newState.lifecycle !== lifecycle) return [];
+    if (get$a(uid)?.newState.lifecycle !== lifecycle) return [];
     return await renderDirect(uid, preserveFocus);
   } finally {
     resolve();
@@ -27886,7 +27895,7 @@ const renderWidgets = {
 };
 const render$7 = [renderLines, renderSelections, renderCss, renderFocus$1, renderDecorations, renderGutterInfo, renderWidgets, renderFocusContext, renderAdditionalFocusContext];
 const renderEditor = async id => {
-  const instance = get$b(id);
+  const instance = get$a(id);
   if (!instance) {
     return [];
   }
@@ -27895,7 +27904,7 @@ const renderEditor = async id => {
     oldState
   } = instance;
   const commands = [];
-  set$c(id, newState, newState);
+  set$b(id, newState, newState);
   for (const item of render$7) {
     if (item.isEqual(oldState, newState)) {
       continue;
@@ -28226,7 +28235,7 @@ const getKey = () => {
 const updateDebugInfo = async debugId => {
   const newInfo = await getDebugHighlight(debugId);
   const key = getKey();
-  const instance = get$b(key);
+  const instance = get$a(key);
   if (!instance) {
     return;
   }
@@ -28238,7 +28247,7 @@ const updateDebugInfo = async debugId => {
     ...newState,
     highlightedLine: newInfo.rowIndex
   };
-  set$c(key, oldState, newEditor);
+  set$b(key, oldState, newEditor);
   // @ts-ignore
   await RendererWorker.invoke('Editor.rerender', key);
 };
@@ -28292,7 +28301,7 @@ const wrapTypingCommand = (fn, shouldOpenCompletion, shouldDismissHover, preserv
       clear$3(uid);
     }
     await command(uid, ...args);
-    const editor = get$b(uid)?.newState;
+    const editor = get$a(uid)?.newState;
     if (editor && (shouldOpenCompletion(...args) && shouldOpenAutomaticCompletion(editor) || editor.widgets?.some(widget => widget.id === Completion && widget.newState.automatic))) {
       void updateAutomaticCompletionDeferred(uid).then(() => RendererWorker.invoke('Editor.renderPending', uid)).catch(error => handleError$1(error, 'Failed to open completion widget: '));
     }
@@ -28445,6 +28454,7 @@ const commandMap = {
   'Editor.handleTripleClick': wrapCommand(handleTripleClick),
   'Editor.handleUriChange': wrapCommand(handleUriChange),
   'Editor.handleWheel': wrapCommand(handleWheel$2),
+  'Editor.hasCachedCharacterWidth': has$1,
   'Editor.hotReload': hotReload,
   'Editor.incrementSelection': wrapCommand(incrementSelection),
   'Editor.indendLess': wrapCommand(indentLess),
@@ -28948,15 +28958,15 @@ const EditorMessageWidget = {
 };
 
 const registerWidgets = () => {
-  set$b(ColorPicker$2, EditorColorPickerWidget);
-  set$b(Completion, EditorCompletionWidget);
-  set$b(CompletionDetail, EditorCompletionDetailWidget);
-  set$b(Find, EditorFindWidget);
-  set$b(Hover, EditorHoverWidget);
-  set$b(Message, EditorMessageWidget);
-  set$b(Rename$1, EditorRenameWidget);
-  set$b(SourceAction$1, EditorSourceActionWidget);
-  set$b(CodeGenerator, EditorCodeGeneratorWidget);
+  set$a(ColorPicker$2, EditorColorPickerWidget);
+  set$a(Completion, EditorCompletionWidget);
+  set$a(CompletionDetail, EditorCompletionDetailWidget);
+  set$a(Find, EditorFindWidget);
+  set$a(Hover, EditorHoverWidget);
+  set$a(Message, EditorMessageWidget);
+  set$a(Rename$1, EditorRenameWidget);
+  set$a(SourceAction$1, EditorSourceActionWidget);
+  set$a(CodeGenerator, EditorCodeGeneratorWidget);
 };
 
 const reservedIds = new Set();
@@ -28970,7 +28980,7 @@ const createEmbeddedEditor = async options => {
   const {
     id
   } = options;
-  if (reservedIds.has(id) || get$b(id)) {
+  if (reservedIds.has(id) || get$a(id)) {
     throw new Error(`Editor already exists: ${id}`);
   }
   reservedIds.add(id);
@@ -28989,7 +28999,7 @@ const createEmbeddedEditor = async options => {
     if (closed) {
       throw new Error(`Editor is disposed: ${id}`);
     }
-    return get$b(id).newState;
+    return get$a(id).newState;
   };
   const ignoreFailure = async command => {
     try {
@@ -29001,7 +29011,7 @@ const createEmbeddedEditor = async options => {
   const run = async (previous, fn, args) => {
     await previous;
     await fn(id, ...args);
-    return get$b(id).newState;
+    return get$a(id).newState;
   };
   const execute = (command, ...args) => {
     if (closed) {