@lvce-editor/editor-worker 19.78.2 → 19.78.4

package/dist/editorWorkerMain.js

@@ -1791,6 +1791,30 @@ const activateByEvent = async (event, assetDir, platform) => {
   await invoke$h('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$a = async (fontWeight, fontSize, fontFamily, letterSpacing) => {
+  const item = await 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 setCacheStorageJsonItem(getKey$2(fontWeight, fontSize, fontFamily, letterSpacing), width, cacheName$1);
+};
+const has$1 = async (fontWeight, fontSize, fontFamily, letterSpacing) => {
+  try {
+    return (await get$a(fontWeight, fontSize, fontFamily, letterSpacing)) !== undefined;
+  } catch {
+    return false;
+  }
+};
+
 const codeGeneratorAccept = state => {
   // TODO close code generator widget
   return state;
@@ -1823,19 +1847,19 @@ const {
   wrapCommand: wrapCommand$2,
   wrapGetter
 } = editorStates;
-const get$a = id => {
+const get$9 = 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$a(editorUid);
+  const instance = get$9(editorUid);
   if (!instance) {
     throw new Error(`editor ${editorUid} not found`);
   }
@@ -1881,15 +1905,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$9 = id => {
+const get$8 = id => {
   return map$1[id];
 };
 
 const getModule = id => {
-  return get$9(id);
+  return get$8(id);
 };
 
 const applyWidgetChange = async (editor, widget, changes) => {
@@ -3955,7 +3979,7 @@ const getEnabled$1 = () => {
 };
 
 const invoke$c = (...args) => invoke$d(...args);
-const set$a = (...args) => set$d(...args);
+const set$9 = (...args) => set$d(...args);
 
 const state$d = {
   pending: Object.create(null),
@@ -3965,10 +3989,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$8 = languageId => {
+const get$7 = languageId => {
   return state$d.tokenizers[languageId];
 };
 const setTokenizePath = (languageId, tokenizePath) => {
@@ -3990,10 +4014,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$7 = languageId => {
+const get$6 = languageId => {
   return tokenMaps[languageId] || {};
 };
 
@@ -4006,7 +4030,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 {
@@ -4022,8 +4046,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);
@@ -4031,7 +4055,7 @@ const loadTokenizer = async (languageId, tokenizePath) => {
 };
 const getTokenizer = languageId => {
   if (has(languageId)) {
-    return get$8(languageId);
+    return get$7(languageId);
   }
   if (isPending(languageId)) {
     return TokenizePlainText;
@@ -4040,7 +4064,7 @@ const getTokenizer = languageId => {
 };
 
 const tokenizers = [TokenizePlainText];
-const get$6 = id => {
+const get$5 = id => {
   return tokenizers[id] || TokenizePlainText;
 };
 const register = tokenizer => {
@@ -4130,7 +4154,7 @@ const getTokensViewport = (editor, startLineIndex, endLineIndex) => {
     lines,
     tokenizerId
   } = editor;
-  const tokenizer = get$6(tokenizerId);
+  const tokenizer = get$5(tokenizerId);
   const {
     hasArrayReturn,
     initialLineState,
@@ -11135,7 +11159,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
@@ -11145,7 +11169,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 '';
   }
@@ -11182,26 +11206,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 getCacheStorageItem(key, cacheName$1);
+    const item = await getCacheStorageItem(key, cacheName);
     if (!item) {
       return undefined;
     }
     const result = decode(item.body, lineLengths, Date.now());
     if (!result) {
-      await removeCacheStorageItem(key, cacheName$1);
+      await 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 setCacheStorageItem(key, buffer, cacheName$1, {
+      await setCacheStorageItem(key, buffer, cacheName, {
         'content-type': 'application/octet-stream'
       });
     }
@@ -11268,7 +11292,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: [],
@@ -11277,7 +11301,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: [],
@@ -11296,7 +11320,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;
 };
@@ -11890,7 +11914,7 @@ const getLineInfosViewport = async (editor, tokens, embeddedResults, minLineY, m
     languageId,
     lines
   } = editor;
-  const tokenMap = get$7(languageId);
+  const tokenMap = get$6(languageId);
   let offset = minLineOffset;
   const tabSize = editor.tabSize ?? 2;
   const visibleLines = lines.slice(minLineY, maxLineY);
@@ -12618,7 +12642,7 @@ const transformDiagnostics = (diagnostics, changes) => {
 
 const queues$1 = {};
 const enqueue = async (uid, callback) => {
-  const instance = get$a(uid);
+  const instance = get$9(uid);
   if (!instance) {
     return undefined;
   }
@@ -12712,7 +12736,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) => {
@@ -12908,7 +12932,7 @@ const mergeDiagnostics = (editor, editorWithDiagnostics) => ({
 });
 const commitDiagnostics = async (editor, generation, diagnostics, onAccepted) => {
   return (await enqueue(editor.id, async () => {
-    let latest = get$a(editor.id);
+    let latest = get$9(editor.id);
     if (!isApplicable(latest, editor, generation)) {
       return editor;
     }
@@ -12921,11 +12945,11 @@ const commitDiagnostics = async (editor, generation, diagnostics, onAccepted) =>
     }
     let calculationState = latest.newState;
     let editorWithDiagnostics = await addDiagnostics(calculationState, diagnostics);
-    latest = get$a(editor.id);
+    latest = get$9(editor.id);
     while (isApplicable(latest, editor, generation) && !diagnosticLayoutEqual(calculationState, latest.newState)) {
       calculationState = latest.newState;
       editorWithDiagnostics = await addDiagnostics(calculationState, diagnostics);
-      latest = get$a(editor.id);
+      latest = get$9(editor.id);
     }
     if (!isApplicable(latest, editor, generation)) {
       return editor;
@@ -12934,7 +12958,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);
@@ -12965,7 +12989,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$a(editor.id)?.newState.diagnostics ?? editor.diagnostics);
+  requestDiagnosticSnapshots.set(editor.id, get$9(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) {
@@ -13079,7 +13103,7 @@ const updateDiagnostics = async (editor, timeoutMs = 0) => {
   };
   try {
     await Promise.all([request(), completed.promise]);
-    const latest = get$a(editor.id);
+    const latest = get$9(editor.id);
     if (strict && !isApplicable(latest, editor, generation)) {
       throw new Error('Editor changed or closed while waiting for diagnostics');
     }
@@ -13132,7 +13156,7 @@ const transformCachedDiagnostics = (editorId, changes) => {
 };
 const updateDiagnosticsAll = async () => {
   for (const key of getKeys$2()) {
-    const editor = get$a(Number(key))?.newState;
+    const editor = get$9(Number(key))?.newState;
     if (editor) {
       await updateDiagnostics(editor);
     }
@@ -13144,7 +13168,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$a(editorId)?.newState;
+  const editor = get$9(editorId)?.newState;
   if (!editor || editor.initial) {
     throw new Error(`Editor is not ready: ${editorId}`);
   }
@@ -13820,7 +13844,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) {
@@ -14292,7 +14316,7 @@ const getMinimapLines = async (editor, syncIncremental) => {
     await loadTokenizers(result.tokenizersToLoad);
     result = await getTokensViewport2(editor, 0, lines.length, syncIncremental);
   }
-  const tokenMap = get$7(languageId);
+  const tokenMap = get$6(languageId);
   return result.tokens.map((lineState, index) => getLine(lineState, result.embeddedResults, tokenMap, lines[index].length));
 };
 
@@ -14797,7 +14821,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 = () => ({
@@ -15010,7 +15034,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 = {
@@ -15152,26 +15176,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 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 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$a(fontWeight, fontSize, fontFamily, letterSpacing);
     if (cachedWidth !== undefined) {
       return cachedWidth;
     }
@@ -15180,7 +15187,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.
   }
@@ -15384,10 +15391,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
   });
@@ -15416,7 +15423,7 @@ const createStandaloneEditor = async ({
   y
 }) => {
   createEditor2(id, uri, x, y, width, height, platform, assetDir, undefined, undefined, undefined, applicationId);
-  const createdEditor = get$a(id).newState;
+  const createdEditor = get$9(id).newState;
   await loadTokenizer(languageId, tokenizePath);
   const tokenizerId = register(getTokenizer(languageId));
   const configuredEditor = {
@@ -15463,7 +15470,7 @@ const createStandaloneEditor = async ({
     selectionInfos
   };
   if (!createdEditor.lifecycle?.disposed) {
-    set$c(id, createdEditor, finalEditor);
+    set$b(id, createdEditor, finalEditor);
   }
 };
 
@@ -15526,7 +15533,7 @@ const diff = (oldState, newState) => {
 };
 
 const diff2 = uid => {
-  const editor = get$a(uid);
+  const editor = get$9(uid);
   if (!editor) {
     return [];
   }
@@ -15682,7 +15689,7 @@ const initializeListener = async rpcId => {
   if (!getListeners(EditorSelection$1).includes(rpcId)) {
     return;
   }
-  const editor = getKeys$2().map(uid => get$a(Number(uid))?.newState).find(state => {
+  const editor = getKeys$2().map(uid => get$9(Number(uid))?.newState).find(state => {
     const {
       focused,
       initial
@@ -15718,7 +15725,7 @@ const invoke$5 = async (method, ...params) => {
   return await worker.invoke(method, ...params);
 };
 const dispose$3 = async () => {
-  if (getKeys$2().some(uid => get$a(Number(uid))?.newState.widgets?.some(widget => widget.id === Rename$1))) {
+  if (getKeys$2().some(uid => get$9(Number(uid))?.newState.widgets?.some(widget => widget.id === Rename$1))) {
     return;
   }
   const promise = workerPromise;
@@ -15755,14 +15762,14 @@ const dispose$2 = uid => {
 };
 
 const addWidget$1 = widget => {
-  const module = get$9(widget.id);
+  const module = get$8(widget.id);
   if (!module) {
     throw new Error('unsupported widget');
   }
   return module.add(widget);
 };
 const renderWidget = widget => {
-  const module = get$9(widget.id);
+  const module = get$8(widget.id);
   if (!module) {
     throw new Error('unsupported widget');
   }
@@ -15831,7 +15838,7 @@ const renderWidgets$1 = (oldState, newState) => {
 };
 
 const disposeEditor = async editorUid => {
-  const editor = get$a(editorUid)?.newState;
+  const editor = get$9(editorUid)?.newState;
   if (!editor) {
     return [];
   }
@@ -15934,7 +15941,7 @@ const hydrateWidget = (editor, widgetId, uid, newState) => {
   };
 };
 const getLatestEditor = (uid, fallback) => {
-  const instance = get$a(uid);
+  const instance = get$9(uid);
   return instance?.newState || fallback;
 };
 const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGenerator, fullFocus) => {
@@ -15966,7 +15973,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$a(editor.uid)?.oldState || editor, stagedEditor);
+    set$b(editor.uid, get$9(editor.uid)?.oldState || editor, stagedEditor);
   }
   const newState = await newStateGenerator(initialState, editor.uid);
   if (!newState) {
@@ -15976,7 +15983,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$a(editor.uid)?.oldState || editor, editor);
+        set$b(editor.uid, get$9(editor.uid)?.oldState || editor, editor);
       }
       return latestEditor === stagedEditor ? editor : latestEditor;
     }
@@ -15997,7 +16004,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$a(editor.uid)?.oldState || editor, hydratedEditor);
+      set$b(editor.uid, get$9(editor.uid)?.oldState || editor, hydratedEditor);
     }
     return hydratedEditor;
   }
@@ -16155,7 +16162,7 @@ const newStateGenerator$4 = async (state, parentUid, markCreated, automatic) =>
   } = state;
   const {
     newState
-  } = get$a(parentUid);
+  } = get$9(parentUid);
   const {
     applicationId,
     languageId
@@ -16181,8 +16188,8 @@ const openCompletion = async (editor, automatic = false) => {
       uid
     } = widget.newState;
     await invoke$4('Completions.loadContent', uid, automatic);
-    if (!isCurrent$1(editor, get$a(editor.uid)?.newState)) {
-      return get$a(editor.uid)?.newState || editor;
+    if (!isCurrent$1(editor, get$9(editor.uid)?.newState)) {
+      return get$9(editor.uid)?.newState || editor;
     }
     if (automatic && !(await invoke$4('Completions.hasItems', uid))) {
       return closeCompletion(editor);
@@ -16214,7 +16221,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$a(editor.uid)?.newState;
+  const currentEditor = get$9(editor.uid)?.newState;
   if (created && (!wasAdded || !isCurrent$1(editor, currentEditor))) {
     await disposeCompletion(completionUid);
   }
@@ -17093,7 +17100,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$a(editor.uid);
+      const latestInstance = get$9(editor.uid);
       if (!latestInstance) {
         return;
       }
@@ -17107,7 +17114,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 invoke$e('Editor.renderPending', editor.uid);
     }, editor.messageDelay ?? defaultMessageDelay);
     set$2(editor.uid, {
@@ -17306,7 +17313,7 @@ const refresh = async request => {
       }
       const gutterDecorations = await getEditorGutterDecorations(snapshot);
       const changed = await enqueue(snapshot.uid, async () => {
-        const current = get$a(snapshot.uid)?.newState;
+        const current = get$9(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;
         }
@@ -17315,11 +17322,11 @@ const refresh = async request => {
           gutterDecorations
         });
         // Derived state may await layout RPCs while an asynchronous render consumes the baseline.
-        const latest = get$a(snapshot.uid);
+        const latest = get$9(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) {
@@ -17399,7 +17406,7 @@ const selectionsEqual = (left, right) => {
   return true;
 };
 const saveAfterDelay = async (uid, token) => {
-  if (!get$a(uid)) {
+  if (!get$9(uid)) {
     consume(uid, token);
     return;
   }
@@ -17429,7 +17436,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$a(uid);
+      const oldInstance = get$9(uid);
       if (!oldInstance) {
         return undefined;
       }
@@ -17477,18 +17484,18 @@ const wrapCommand$1 = (fn, preservesTypingCoalescing = false, returnState = true
           cursorUndoStack: [...previousCursorUndoStack.slice(1 - cursorUndoLimit), new Uint32Array(selections)]
         };
       }
-      if (state === newEditor || !get$a(uid) || lifecycle?.disposed || get$a(uid).newState.lifecycle !== lifecycle) {
+      if (state === newEditor || !get$9(uid) || lifecycle?.disposed || get$9(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$a(uid) || lifecycle?.disposed || get$a(uid).newState.lifecycle !== lifecycle) {
+      if (!get$9(uid) || lifecycle?.disposed || get$9(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$a(uid)?.oldState ?? oldInstance.oldState;
-      set$c(uid, renderedState, newEditorWithDerivedState);
+      const renderedState = get$9(uid)?.oldState ?? oldInstance.oldState;
+      set$b(uid, renderedState, newEditorWithDerivedState);
       await dispose$3();
       if (editorDiagnosticEffect.isActive(state, newEditorWithDerivedState)) {
         void editorDiagnosticEffect.apply(newEditorWithDerivedState);
@@ -17501,7 +17508,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$a(otherUid);
+          const instance = get$9(otherUid);
           const editor = instance?.newState;
           if (otherUid === uid || !instance || !editor || editor.initial || editor.uri !== finalEditor.uri || editor.applicationId !== finalEditor.applicationId) {
             continue;
@@ -17520,11 +17527,11 @@ const wrapCommand$1 = (fn, preservesTypingCoalescing = false, returnState = true
             undoStack: finalEditor.undoStack,
             visualDecorations: finalEditor.visualDecorations
           }, deferGutterDecorations);
-          const latest = get$a(otherUid);
+          const latest = get$9(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);
           }
@@ -17555,7 +17562,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$a(uid)?.newState.widgetRevision;
+    const widgetRevision = get$9(uid)?.newState.widgetRevision;
     return command(uid, widgetRevision);
   };
   return focusCommand;
@@ -17586,7 +17593,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$a(uid)?.newState);
+    const snapshot = await enqueue(uid, async () => get$9(uid)?.newState);
     if (!snapshot) {
       return undefined;
     }
@@ -17645,7 +17652,7 @@ const getOpenEditor = (currentEditor, uri) => {
     return currentEditor;
   }
   for (const key of getKeys$2()) {
-    const editor = get$a(Number(key))?.newState;
+    const editor = get$9(Number(key))?.newState;
     if (editor && !editor.initial && editor.uri === uri && editor.applicationId === currentEditor.applicationId) {
       return editor;
     }
@@ -18150,7 +18157,7 @@ const closeRename = async editor => {
   }
   const renameWidget = widgets[renameWidgetIndex];
   await invoke$5('Rename.close', renameWidget.newState.uid);
-  const latest = get$a(uid);
+  const latest = get$9(uid);
   const {
     newState
   } = latest;
@@ -20238,7 +20245,7 @@ const editorHoverDismissDelay = 500;
 const handleMouseLeave = (viewletUid, editorUidValue) => {
   const targetEditorUid = editorUidValue ?? viewletUid;
   const editorUid = Number(targetEditorUid);
-  const instance = get$a(editorUid);
+  const instance = get$9(editorUid);
   if (!instance) {
     return;
   }
@@ -20253,7 +20260,7 @@ const handleMouseLeave = (viewletUid, editorUidValue) => {
   }
   const timeout = setTimeout(async () => {
     clear$3(editorUid);
-    const latestInstance = get$a(editorUid);
+    const latestInstance = get$9(editorUid);
     if (!latestInstance) {
       return;
     }
@@ -20270,7 +20277,7 @@ const handleMouseLeave = (viewletUid, editorUidValue) => {
       widgetRevision: next(editorUid),
       widgets: removeEditorWidget(latestEditor.widgets, Hover)
     };
-    set$c(editorUid, latestEditor, newEditor);
+    set$b(editorUid, latestEditor, newEditor);
     await invoke$e('Editor.renderPending', editorUid);
   }, editorHoverDismissDelay);
   set$4(editorUid, {
@@ -20371,6 +20378,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 {
@@ -20382,7 +20390,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);
@@ -20530,10 +20538,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$a(editorUid);
+  const instance = get$9(editorUid);
   const editor = instance.newState;
   const {
     selections
@@ -20576,7 +20585,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);
@@ -20667,7 +20676,7 @@ const showDiagnostic = async (editor, diagnostic) => {
 };
 
 const showHover = async (editor, position, token) => {
-  const instance = get$a(editor.uid);
+  const instance = get$9(editor.uid);
   if (!instance) {
     return;
   }
@@ -20676,11 +20685,11 @@ const showHover = async (editor, position, token) => {
     return;
   }
   const newEditor = await showHover$1(latestEditor, position);
-  const latestInstance = get$a(editor.uid);
+  const latestInstance = get$9(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 invoke$e('Editor.renderPending', editor.uid);
 };
 
@@ -20703,7 +20712,7 @@ const onHoverIdle = async token => {
     if (latestToken !== token || !editor) {
       return;
     }
-    const instance = get$a(editor.uid);
+    const instance = get$9(editor.uid);
     if (!instance || !instance.newState.hoverEnabled) {
       return;
     }
@@ -20931,20 +20940,20 @@ const advanceSelectionAutoScroll = async editor => {
   return editorMoveSelection(scrolledEditor, position, false);
 };
 const continueScrollingAndMovingSelection = async editorUid => {
-  const editor = get$a(editorUid)?.newState;
+  const editor = get$9(editorUid)?.newState;
   if (!editor?.isSelecting || !editor.hasListener) {
     return;
   }
   const nextEditor = await advanceSelectionAutoScroll(editor);
   const derivedEditor = await updateDerivedState(editor, nextEditor);
-  const currentEditor = get$a(editorUid)?.newState;
+  const currentEditor = get$9(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 invoke$e('Editor.renderPending', editor.uid);
   if (derivedEditor.hasListener) {
     requestAnimationFrame(() => continueScrollingAndMovingSelection(editorUid));
@@ -21657,7 +21666,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);
@@ -21789,7 +21798,7 @@ const Close = 'Close';
 
 const getEditorByWidgetUid = (widgetUid, widgetId) => {
   for (const key of getKeys$2()) {
-    const editor = get$a(Number(key)).newState;
+    const editor = get$9(Number(key)).newState;
     const widgets = editor.widgets || [];
     for (const widget of widgets) {
       if (widget.id === widgetId && widget.newState.uid === widgetUid) {
@@ -21803,7 +21812,7 @@ const getEditor = (editorOrUid, widgetId) => {
   if (editorOrUid && editorOrUid.widgets) {
     return editorOrUid;
   }
-  const instance = get$a(editorOrUid);
+  const instance = get$9(editorOrUid);
   if (instance && instance.newState && instance.newState.widgets) {
     return instance.newState;
   }
@@ -21835,16 +21844,16 @@ const createFn = (key, name, widgetId) => {
     } = state;
     const invoke = getWidgetInvoke(widgetId);
     await invoke(`${name}.${key}`, uid, ...args);
-    const latestAfterInvoke = get$a(editor.uid).newState;
+    const latestAfterInvoke = get$9(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$a(editor.uid).newState;
+    const latest = get$9(editor.uid).newState;
     if (shouldClose) {
       const newEditor = {
         ...latest,
@@ -21852,7 +21861,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 = {
@@ -21860,7 +21869,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;
@@ -22121,7 +22130,7 @@ const newStateGenerator$1 = async (state, parentUid) => {
   } = state;
   const {
     newState
-  } = get$a(parentUid);
+  } = get$9(parentUid);
   const {
     applicationId,
     languageId
@@ -22146,7 +22155,7 @@ const openRename = async editor => {
   if (!word) {
     return editor;
   }
-  const editorState = get$a(editor.uid);
+  const editorState = get$9(editor.uid);
   if (!editorState) {
     return editor;
   }
@@ -22160,7 +22169,7 @@ const openRename = async editor => {
   if (!prepareRenameResult || typeof prepareRenameResult !== 'object') {
     return editor;
   }
-  const latestEditor = get$a(editor.uid)?.newState;
+  const latestEditor = get$9(editor.uid)?.newState;
   if (latestEditor !== editor) {
     return latestEditor || editor;
   }
@@ -22297,7 +22306,7 @@ const paste = async (editor, pastedText) => {
           cause: error
         });
       }
-      const currentEditor = get$a(editor.uid)?.newState;
+      const currentEditor = get$9(editor.uid)?.newState;
       if (!currentEditor || currentEditor.uri !== editor.uri || currentEditor.languageId !== 'markdown') {
         try {
           await invoke$a(editor.applicationId, 'FileSystem.remove', savedImage.uri);
@@ -23061,7 +23070,7 @@ const paddingLeft = 8;
 const paddingRight = 8;
 const getSignatureHelpInfo = async editorUid => {
   number(editorUid);
-  const instance = get$a(editorUid);
+  const instance = get$9(editorUid);
   const editor = instance.newState;
   const {
     selections
@@ -23179,7 +23188,7 @@ const newStateGenerator = async (state, parentUid) => {
   } = state;
   const {
     newState
-  } = get$a(parentUid);
+  } = get$9(parentUid);
   const {
     languageId
   } = newState;
@@ -24920,7 +24929,7 @@ const getEditorSourceActions = async editorId => {
   }
   const {
     newState
-  } = get$a(editorId);
+  } = get$9(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);
 };
@@ -25014,13 +25023,13 @@ const getSelections2 = editorUid => {
   return selections;
 };
 const setSelections2 = async (editorUid, selections, reveal = true) => {
-  const requested = get$a(editorUid);
+  const requested = get$9(editorUid);
   if (!requested || requested.newState.lifecycle?.disposed) {
     return;
   }
   const requestedLifecycle = requested.newState.lifecycle;
   await enqueue(editorUid, async () => {
-    const instance = get$a(editorUid);
+    const instance = get$9(editorUid);
     if (!instance || instance.newState.lifecycle?.disposed || instance.newState.lifecycle !== requestedLifecycle) {
       return;
     }
@@ -25033,11 +25042,11 @@ const setSelections2 = async (editorUid, selections, reveal = true) => {
       selections
     };
     const newEditorWithDerivedState = await updateDerivedState(editor, newEditor);
-    const current = get$a(editorUid);
+    const current = get$9(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) => {
@@ -25062,7 +25071,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);
@@ -25093,7 +25102,7 @@ const ensure = async (fontName, fontUrl) => {
 const getComponentState = uid => {
   const {
     newState
-  } = get$a(uid);
+  } = get$9(uid);
   return {
     ...newState,
     cursorUndoStack: newState.cursorUndoStack?.map(selection => [...selection]),
@@ -25597,7 +25606,7 @@ const getProblems = async () => {
   const keys = getKeys$2();
   const diagnostics = keys.flatMap(key => {
     const numericKey = Number(key);
-    const editor = get$a(numericKey);
+    const editor = get$9(numericKey);
     if (!editor?.newState) {
       return [];
     }
@@ -25769,10 +25778,10 @@ const createCommandMap = commands => ({
     if (typeof fn !== 'function') {
       throw new TypeError(`Editor event command not found: ${command}`);
     }
-    const editor = get$a(uid)?.newState;
+    const editor = get$9(uid)?.newState;
     if (!editor) return;
     await fn(uid, ...args);
-    const current = get$a(uid)?.newState;
+    const current = get$9(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.
@@ -25797,7 +25806,7 @@ const handleDirectMessagePort = async (port, commands) => {
     commandMap: createCommandMap(commands),
     messagePort: port
   });
-  set$6(rpc);
+  set$5(rpc);
 };
 
 const getBreadcrumbFileIcon = async (uri, applicationId) => {
@@ -26180,7 +26189,7 @@ const restoreWidgetState = async (keys, savedStates) => {
   const newEditors = [];
   for (const key of keys) {
     const editorUid = parseInt(key);
-    const editor = get$a(editorUid);
+    const editor = get$9(editorUid);
     if (!editor?.newState || !Array.isArray(editor.newState.widgets)) {
       continue;
     }
@@ -26233,7 +26242,7 @@ const saveSingleWidgetState = async (savedStates, key, widget) => {
 const saveWidgetState = async keys => {
   const savedStates = Object.create(null);
   for (const key of keys) {
-    const editor = get$a(parseInt(key));
+    const editor = get$9(parseInt(key));
     if (!editor?.newState || !Array.isArray(editor.newState.widgets)) {
       continue;
     }
@@ -26262,7 +26271,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
@@ -26300,7 +26309,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);
@@ -26576,7 +26585,7 @@ const loadContent = async (state, savedState, largeFile = false, focus = true, f
   let existingEditor;
   if (!forceReload) {
     for (const key of getKeys$2()) {
-      const editor = get$a(Number(key))?.newState;
+      const editor = get$9(Number(key))?.newState;
       if (editor && editor.id !== id && !editor.initial && editor.uri === uri && editor.applicationId === state.applicationId) {
         existingEditor = editor;
         break;
@@ -26761,14 +26770,14 @@ const refreshGutterDecorations = async editor => {
 };
 const refreshGutterDecorationsAll = async () => {
   for (const key of getKeys$2()) {
-    const editor = get$a(Number(key))?.newState;
+    const editor = get$9(Number(key))?.newState;
     if (editor) {
       const refreshedEditor = await refreshGutterDecorations(editor);
-      const latest = get$a(editor.id);
+      const latest = get$9(editor.id);
       if (!latest) {
         continue;
       }
-      set$c(editor.id, latest.oldState, {
+      set$b(editor.id, latest.oldState, {
         ...latest.newState,
         gutterDecorations: refreshedEditor.gutterDecorations
       });
@@ -28145,7 +28154,7 @@ const applyRender = (oldState, newState, diffResult) => {
 };
 
 const render2 = (uid, _diffResult) => {
-  const editor = get$a(uid);
+  const editor = get$9(uid);
   if (!editor) {
     return [];
   }
@@ -28155,7 +28164,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;
 };
@@ -28163,7 +28172,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$a(uid);
+  const instance = get$9(uid);
   if (!instance) return [];
   const {
     newState,
@@ -28187,17 +28196,17 @@ const renderDirect = async (uid, preserveFocus) => {
     }
     return result;
   } catch (error) {
-    const latest = get$a(uid);
+    const latest = get$9(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$a(uid)?.newState.lifecycle;
+  const lifecycle = get$9(uid)?.newState.lifecycle;
   const previous = queues.get(uid);
   const {
     promise,
@@ -28206,7 +28215,7 @@ const renderDirect2 = async (uid, preserveFocus = false) => {
   queues.set(uid, promise);
   if (previous) await previous;
   try {
-    if (get$a(uid)?.newState.lifecycle !== lifecycle) return [];
+    if (get$9(uid)?.newState.lifecycle !== lifecycle) return [];
     return await renderDirect(uid, preserveFocus);
   } finally {
     resolve();
@@ -28311,7 +28320,7 @@ const renderWidgets = {
 };
 const render$7 = [renderLines, renderSelections, renderCss, renderFocus$1, renderDecorations, renderGutterInfo, renderWidgets, renderFocusContext, renderAdditionalFocusContext];
 const renderEditor = async id => {
-  const instance = get$a(id);
+  const instance = get$9(id);
   if (!instance) {
     return [];
   }
@@ -28320,7 +28329,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;
@@ -28651,7 +28660,7 @@ const getKey = () => {
 const updateDebugInfo = async debugId => {
   const newInfo = await getDebugHighlight(debugId);
   const key = getKey();
-  const instance = get$a(key);
+  const instance = get$9(key);
   if (!instance) {
     return;
   }
@@ -28663,7 +28672,7 @@ const updateDebugInfo = async debugId => {
     ...newState,
     highlightedLine: newInfo.rowIndex
   };
-  set$c(key, oldState, newEditor);
+  set$b(key, oldState, newEditor);
   // @ts-ignore
   await invoke$e('Editor.rerender', key);
 };
@@ -28717,7 +28726,7 @@ const wrapTypingCommand = (fn, shouldOpenCompletion, shouldDismissHover, preserv
       clear$3(uid);
     }
     await command(uid, ...args);
-    const editor = get$a(uid)?.newState;
+    const editor = get$9(uid)?.newState;
     if (editor && (shouldOpenCompletion(...args) && shouldOpenAutomaticCompletion(editor) || editor.widgets?.some(widget => widget.id === Completion && widget.newState.automatic))) {
       void updateAutomaticCompletionDeferred(uid).then(() => invoke$e('Editor.renderPending', uid)).catch(error => handleError$1(error, 'Failed to open completion widget: '));
     }
@@ -28867,6 +28876,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),
@@ -29466,15 +29476,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 handleUnhandledRejection = event => {