@lvce-editor/editor-worker 19.27.0 → 19.27.2

package/dist/editorWorkerMain.js

@@ -2040,6 +2040,7 @@ const createEditor2 = (id, uri, x, y, width, height, platform, assetDir) => {
     hasListener: false,
     height,
     highlightedLine: -1,
+    hoverEnabled: false,
     id,
     incrementalEdits: emptyIncrementalEdits,
     initial: true,
@@ -5727,7 +5728,7 @@ const hasWidget = (widgets, id) => {
 
 const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGenerator, fullFocus) => {
   const {
-    widgets
+    widgets = []
   } = editor;
   if (hasWidget(widgets, widgetId)) {
     return editor;
@@ -5736,6 +5737,9 @@ const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGe
   // @ts-ignore
   widget.newState.editorUid = editor.uid;
   const newState = await newStateGenerator(widget.newState, editor.uid);
+  if (!newState) {
+    return editor;
+  }
   // @ts-ignore
   newState.editorUid = editor.uid;
   const latestWidget = {
@@ -5778,12 +5782,12 @@ const create$6 = () => {
   return widget;
 };
 
-const newStateGenerator$6 = (state, parentUid) => {
+const newStateGenerator$5 = (state, parentUid) => {
   return loadContent$3(state, parentUid);
 };
 const openColorPicker = async editor => {
   const fullFocus = true;
-  return addWidgetToEditor(ColorPicker$1, ColorPicker, editor, create$6, newStateGenerator$6, fullFocus);
+  return addWidgetToEditor(ColorPicker$1, ColorPicker, editor, create$6, newStateGenerator$5, fullFocus);
 };
 const closeColorPicker = editor => {
   const {
@@ -7388,15 +7392,17 @@ const handleMouseDown = async (state, button, altKey, ctrlKey, x, y, detail) =>
 const state$4 = {
   editor: undefined,
   timeout: -1,
+  token: 0,
   x: 0,
   y: 0
 };
 const get$1 = () => {
   return state$4;
 };
-const set$1 = (editor, timeout, x, y) => {
+const set$1 = (editor, timeout, x, y, token) => {
   state$4.editor = editor;
   state$4.timeout = timeout;
+  state$4.token = token;
   state$4.x = x;
   state$4.y = y;
 };
@@ -7471,10 +7477,265 @@ const handleMouseMoveWithAltKey = async (editor, x, y) => {
   }
 };
 
-const showHover$1 = async (editor, position) => {
-  // TODO race condition
-  // await Viewlet.closeWidget(ViewletModuleId.EditorHover)
-  // await Viewlet.openWidget(ViewletModuleId.EditorHover, position)
+const create$5 = () => {
+  const uid = create$8();
+  const widget = {
+    id: Hover,
+    newState: {
+      commands: [],
+      content: '',
+      diagnostics: [],
+      documentation: '',
+      editorUid: 0,
+      height: 0,
+      lineInfos: [],
+      uid: uid,
+      width: 0,
+      x: 0,
+      y: 0
+    },
+    oldState: {
+      commands: [],
+      content: '',
+      diagnostics: [],
+      documentation: '',
+      editorUid: 0,
+      height: 0,
+      lineInfos: [],
+      uid: uid,
+      width: 0,
+      x: 0,
+      y: 0
+    }
+  };
+  return widget;
+};
+
+const OnDiagnostic = 'onDiagnostic';
+const OnHover = 'onHover';
+const OnTabCompletion = 'onTabCompletion';
+
+const execute = async ({
+  args,
+  assetDir,
+  editor,
+  event,
+  method,
+  noProviderFoundMessage,
+  noProviderFoundResult = undefined,
+  platform
+}) => {
+  const fullEvent = `${event}:${editor.languageId}`;
+  await activateByEvent(fullEvent, assetDir, platform);
+  const result = await invoke$6(method, editor.uid, ...args);
+  return result;
+};
+
+const getTextDocument$1 = editor => {
+  return {
+    documentId: editor.id || editor.uid,
+    languageId: editor.languageId,
+    text: getText$1(editor),
+    uri: editor.uri
+  };
+};
+const executeIsolatedHoverProvider = async (editor, offset) => {
+  const textDocument = getTextDocument$1(editor);
+  return invoke$e('Extensions.executeHoverProvider', textDocument, offset);
+};
+const executeHoverProvider = async (editor, offset) => {
+  object(editor);
+  number(offset);
+  const isolatedHover = await executeIsolatedHoverProvider(editor, offset);
+  if (isolatedHover) {
+    return isolatedHover;
+  }
+  return execute({
+    args: [offset],
+    editor,
+    event: OnHover,
+    method: HoverExecute,
+    noProviderFoundMessage: 'No hover provider found'
+  });
+};
+
+const getHover = async (editor, offset) => {
+  object(editor);
+  number(offset);
+  // TODO invoke extension host worker directly
+  const hover = await executeHoverProvider(editor, offset);
+  return hover;
+};
+
+const measureTextBlockHeight = async (text, fontFamily, fontSize, lineHeight, width) => {
+  // @ts-ignore
+  // return RendererProcess.invoke('MeasureTextBlockHeight.measureTextBlockHeight', text, fontSize, fontFamily, lineHeight, width)
+  return 100;
+};
+
+const getLineInfo = (line, tokens, TokenMap) => {
+  const tokensLength = tokens.length;
+  let end = 0;
+  let start = 0;
+  const lineInfo = [];
+  for (let i = 0; i < tokensLength; i += 2) {
+    const tokenType = tokens[i];
+    const tokenLength = tokens[i + 1];
+    end += tokenLength;
+    const text = line.slice(start, end);
+    const className = `Token ${TokenMap[tokenType] || 'Unknown'}`;
+    const normalizedText = text;
+    lineInfo.push(normalizedText, className);
+    start = end;
+  }
+  return lineInfo;
+};
+
+const getLineInfos = (lines, tokenizer, languageId) => {
+  const lineInfos = [];
+  const {
+    hasArrayReturn,
+    initialLineState,
+    tokenizeLine,
+    TokenMap
+  } = tokenizer;
+  let currentLineState = getInitialLineState(initialLineState);
+  for (const line of lines) {
+    const result = safeTokenizeLine(languageId, tokenizeLine, line, currentLineState, hasArrayReturn);
+    const {
+      tokens
+    } = result;
+    const lineInfo = getLineInfo(line, tokens, TokenMap);
+    lineInfos.push(lineInfo);
+    currentLineState = result;
+  }
+  console.error({
+    lineInfos
+  });
+  return lineInfos;
+};
+
+const tokenizeCodeBlock = async (codeBlock, languageId, tokenizerPath) => {
+  await loadTokenizer(languageId, tokenizerPath);
+  const tokenizer = getTokenizer(languageId);
+  const lines = splitLines(codeBlock);
+  const lineInfos = getLineInfos(lines, tokenizer, languageId);
+  return lineInfos;
+};
+
+const getHoverPosition = (position, selections) => {
+  if (position) {
+    return position;
+  }
+  const rowIndex = selections[0];
+  const columnIndex = selections[1];
+  return {
+    columnIndex,
+    rowIndex
+  };
+};
+const getMatchingDiagnostics = (diagnostics, rowIndex, columnIndex) => {
+  const matching = [];
+  for (const diagnostic of diagnostics) {
+    if (diagnostic.rowIndex === rowIndex) {
+      matching.push(diagnostic);
+    }
+  }
+  return matching;
+};
+const fallbackDisplayStringLanguageId = 'typescript'; // TODO remove this
+const getHoverPositionXy = (editor, rowIndex, wordStart, documentationHeight) => {
+  const x$1 = x(editor, rowIndex, wordStart);
+  const y$1 = editor.height - y(editor, rowIndex) + editor.y + 40;
+  return {
+    x: x$1,
+    y: y$1
+  };
+};
+const getEditorHoverInfo = async (editorUid, position) => {
+  number(editorUid);
+  const instance = get$7(editorUid);
+  const editor = instance.newState;
+  const {
+    selections
+  } = editor;
+  const {
+    columnIndex,
+    rowIndex
+  } = getHoverPosition(position, selections);
+  const offset = offsetAt(editor, rowIndex, columnIndex);
+  const hover = await getHover(editor, offset);
+  if (!hover) {
+    return undefined;
+  }
+  const {
+    displayString,
+    displayStringLanguageId,
+    documentation
+  } = hover;
+  const tokenizerPath = '';
+  const lineInfos = await tokenizeCodeBlock(displayString, displayStringLanguageId || fallbackDisplayStringLanguageId, tokenizerPath);
+  const wordPart = getWordBefore(editor, rowIndex, columnIndex);
+  const wordStart = columnIndex - wordPart.length;
+  await measureTextBlockHeight();
+  const {
+    x,
+    y
+  } = getHoverPositionXy(editor, rowIndex, wordStart);
+  const diagnostics = editor.diagnostics || [];
+  const matchingDiagnostics = getMatchingDiagnostics(diagnostics, rowIndex);
+  return {
+    documentation,
+    lineInfos,
+    matchingDiagnostics,
+    x,
+    y
+  };
+};
+
+const loadHoverContent = async (state, position) => {
+  const hoverInfo = await getEditorHoverInfo(state.editorUid, position);
+  if (!hoverInfo) {
+    return undefined;
+  }
+  const {
+    documentation,
+    lineInfos,
+    matchingDiagnostics,
+    x,
+    y
+  } = hoverInfo;
+  return {
+    ...state,
+    diagnostics: matchingDiagnostics,
+    documentation,
+    lineInfos,
+    width: 600,
+    x,
+    y
+  };
+};
+
+const showHover2 = async (editor, position) => {
+  const newStateGenerator = async state => {
+    return loadHoverContent(state, position);
+  };
+  return addWidgetToEditor(Hover, FocusEditorHover, editor, create$5, newStateGenerator);
+};
+
+const showHover$1 = async (editor, position, token) => {
+  const instance = get$7(editor.uid);
+  if (!instance) {
+    return;
+  }
+  const latestEditor = instance.newState;
+  const newEditor = await showHover2(latestEditor, position);
+  const latestInstance = get$7(editor.uid);
+  if (latestEditor === newEditor || !latestInstance || latestInstance.newState !== latestEditor || get$1().token !== token) {
+    return;
+  }
+  set$9(editor.uid, latestInstance.oldState, newEditor);
+  await invoke$b('Editor.renderPending', editor.uid);
 };
 
 // TODO several things can happen:
@@ -7485,14 +7746,22 @@ const showHover$1 = async (editor, position) => {
 // 5. show color picker
 // 6. show error info
 
-const onHoverIdle = async () => {
-  const {
-    editor,
-    x,
-    y
-  } = get$1();
-  await at(editor, x, y);
-  await showHover$1();
+const onHoverIdle = async token => {
+  try {
+    const {
+      editor,
+      token: latestToken,
+      x,
+      y
+    } = get$1();
+    if (latestToken !== token) {
+      return;
+    }
+    const position = await at(editor, x, y);
+    await showHover$1(editor, position, token);
+  } catch {
+    // Hover providers are optional and should not surface errors from an idle mouse event.
+  }
 };
 const hoverDelay = 300;
 const handleMouseMove = async (editor, x, y, altKey) => {
@@ -7507,8 +7776,9 @@ const handleMouseMove = async (editor, x, y, altKey) => {
   if (oldState.timeout !== -1) {
     clearTimeout(oldState.timeout);
   }
-  const timeout = setTimeout(onHoverIdle, hoverDelay);
-  set$1(editorWithoutDefinitionLink, timeout, x, y);
+  const token = create$8();
+  const timeout = setTimeout(onHoverIdle, hoverDelay, token);
+  set$1(editorWithoutDefinitionLink, timeout, x, y, token);
   return editorWithoutDefinitionLink;
 };
 
@@ -8225,7 +8495,7 @@ const insertLineBreak = async editor => {
 const Script = 2;
 const Unknown$1 = 0;
 
-const create$5 = () => {
+const create$4 = () => {
   const completionUid = create$8();
   const widget = {
     id: CodeGenerator,
@@ -8253,7 +8523,7 @@ const create$5 = () => {
   return widget;
 };
 
-const newStateGenerator$5 = async state => {
+const newStateGenerator$4 = async state => {
   const latestState = {
     ...state,
     height: 45,
@@ -8265,10 +8535,10 @@ const newStateGenerator$5 = async state => {
 };
 const openCodeGenerator = async editor => {
   const fullFocus = true;
-  return addWidgetToEditor(CodeGenerator, FocusCodeGenerator, editor, create$5, newStateGenerator$5, fullFocus);
+  return addWidgetToEditor(CodeGenerator, FocusCodeGenerator, editor, create$4, newStateGenerator$4, fullFocus);
 };
 
-const create$4 = () => {
+const create$3 = () => {
   const completionUid = create$8();
   const completionWidget = {
     id: Completion,
@@ -8297,7 +8567,7 @@ const {
   setFactory
 } = createLazyRpc(CompletionWorker);
 
-const newStateGenerator$4 = async (state, parentUid) => {
+const newStateGenerator$3 = async (state, parentUid) => {
   const {
     height,
     uid,
@@ -8322,7 +8592,7 @@ const newStateGenerator$4 = async (state, parentUid) => {
 };
 const openCompletion = async editor => {
   const fullFocus = false;
-  return addWidgetToEditor(Completion, EditorCompletion, editor, create$4, newStateGenerator$4, fullFocus);
+  return addWidgetToEditor(Completion, EditorCompletion, editor, create$3, newStateGenerator$3, fullFocus);
 };
 
 const isFunctional = widgetId => {
@@ -8684,7 +8954,7 @@ const EditorFindWidget = {
   toggleUseRegularExpression
 };
 
-const create$3 = () => {
+const create$2 = () => {
   const uid = create$8();
   const widget = {
     id: Find,
@@ -8743,7 +9013,7 @@ const loadContent$2 = async (state, parentUid) => {
   };
 };
 
-const newStateGenerator$3 = (state, parentUid) => {
+const newStateGenerator$2 = (state, parentUid) => {
   return loadContent$2(state, parentUid);
 };
 const openFind2 = async editor => {
@@ -8752,7 +9022,7 @@ const openFind2 = async editor => {
     return editorWithFocusedFind;
   }
   const fullFocus = true;
-  return addWidgetToEditor(Find, FindWidget, editor, create$3, newStateGenerator$3, fullFocus);
+  return addWidgetToEditor(Find, FindWidget, editor, create$2, newStateGenerator$2, fullFocus);
 };
 
 const openFind = async state => {
@@ -8785,7 +9055,7 @@ const getPositionAtCursor$1 = editor => {
   };
 };
 
-const create$2 = () => {
+const create$1 = () => {
   const completionUid = create$8();
   const renameWidget = {
     id: Rename$1,
@@ -8809,7 +9079,7 @@ const create$2 = () => {
   return renameWidget;
 };
 
-const newStateGenerator$2 = async (state, parentUid) => {
+const newStateGenerator$1 = async (state, parentUid) => {
   const {
     height,
     uid,
@@ -8844,7 +9114,7 @@ const openRename = async editor => {
     return editor;
   }
   const fullFocus = true;
-  const editorWithRenameWidget = await addWidgetToEditor(Rename$1, FocusEditorRename$1, editor, create$2, newStateGenerator$2, fullFocus);
+  const editorWithRenameWidget = await addWidgetToEditor(Rename$1, FocusEditorRename$1, editor, create$1, newStateGenerator$1, fullFocus);
   if (editorWithRenameWidget === editor) {
     return editor;
   }
@@ -8856,22 +9126,6 @@ const openRename = async editor => {
   };
 };
 
-const execute = async ({
-  args,
-  assetDir,
-  editor,
-  event,
-  method,
-  noProviderFoundMessage,
-  noProviderFoundResult = undefined,
-  platform
-}) => {
-  const fullEvent = `${event}:${editor.languageId}`;
-  await activateByEvent(fullEvent, assetDir, platform);
-  const result = await invoke$6(method, editor.uid, ...args);
-  return result;
-};
-
 const getOrganizeImportEdits = async editor => {
   const edits = await execute({
     args: [],
@@ -9450,82 +9704,20 @@ const setText = (editor, text) => {
     rowIndex: 0
   };
   const end = {
-    columnIndex: endColumnIndex,
-    rowIndex: endRowIndex
-  };
-  const changes = [{
-    deleted: getSelectionText(editor, {
-      end,
-      start
-    }),
-    end,
-    inserted: splitLines(text),
-    origin: EditorType,
-    start
-  }];
-  return scheduleDocumentAndCursorsSelections(editor, changes);
-};
-
-const create$1 = () => {
-  const uid = create$8();
-  const widget = {
-    id: Hover,
-    newState: {
-      commands: [],
-      content: '',
-      diagnostics: [],
-      documentation: '',
-      editorUid: 0,
-      height: 0,
-      lineInfos: [],
-      uid: uid,
-      width: 0,
-      x: 0,
-      y: 0
-    },
-    oldState: {
-      commands: [],
-      content: '',
-      diagnostics: [],
-      documentation: '',
-      editorUid: 0,
-      height: 0,
-      lineInfos: [],
-      uid: uid,
-      width: 0,
-      x: 0,
-      y: 0
-    }
-  };
-  return widget;
-};
-
-const newStateGenerator$1 = async (state, parentUid) => {
-  const {
-    height,
-    uid,
-    width,
-    x,
-    y
-  } = state;
-  const {
-    newState
-  } = get$7(parentUid);
-  const {
-    languageId
-  } = newState;
-  await invoke$2('Hover.create', uid, x, y, width, height, parentUid, languageId);
-  await invoke$2('Hover.loadContent', uid);
-  const diff = await invoke$2('Hover.diff2', uid);
-  const commands = await invoke$2('Hover.render2', uid, diff);
-  return {
-    ...state,
-    commands
+    columnIndex: endColumnIndex,
+    rowIndex: endRowIndex
   };
-};
-const showHover3 = async editor => {
-  const fullFocus = false;
-  return addWidgetToEditor(Hover, FocusEditorHover, editor, create$1, newStateGenerator$1, fullFocus);
+  const changes = [{
+    deleted: getSelectionText(editor, {
+      end,
+      start
+    }),
+    end,
+    inserted: splitLines(text),
+    origin: EditorType,
+    start
+  }];
+  return scheduleDocumentAndCursorsSelections(editor, changes);
 };
 
 const EditorHover = 'EditorHover';
@@ -9650,10 +9842,6 @@ const sortLinesAscending = editor => {
   return scheduleDocumentAndCursorsSelections(editor, changes);
 };
 
-const OnDiagnostic = 'onDiagnostic';
-const OnHover = 'onHover';
-const OnTabCompletion = 'onTabCompletion';
-
 const executeTabCompletionProvider = async (editor, offset) => {
   return execute({
     args: [offset],
@@ -10466,168 +10654,6 @@ const EditorCompletionWidget = {
   toggleDetails: toggleDetails$1
 };
 
-const getTextDocument$1 = editor => {
-  return {
-    documentId: editor.id || editor.uid,
-    languageId: editor.languageId,
-    text: getText$1(editor),
-    uri: editor.uri
-  };
-};
-const executeIsolatedHoverProvider = async (editor, offset) => {
-  const textDocument = getTextDocument$1(editor);
-  return invoke$e('Extensions.executeHoverProvider', textDocument, offset);
-};
-const executeHoverProvider = async (editor, offset) => {
-  object(editor);
-  number(offset);
-  const isolatedHover = await executeIsolatedHoverProvider(editor, offset);
-  if (isolatedHover) {
-    return isolatedHover;
-  }
-  return execute({
-    args: [offset],
-    editor,
-    event: OnHover,
-    method: HoverExecute,
-    noProviderFoundMessage: 'No hover provider found'
-  });
-};
-
-const getHover = async (editor, offset) => {
-  object(editor);
-  number(offset);
-  // TODO invoke extension host worker directly
-  const hover = await executeHoverProvider(editor, offset);
-  return hover;
-};
-
-const measureTextBlockHeight = async (text, fontFamily, fontSize, lineHeight, width) => {
-  // @ts-ignore
-  // return RendererProcess.invoke('MeasureTextBlockHeight.measureTextBlockHeight', text, fontSize, fontFamily, lineHeight, width)
-  return 100;
-};
-
-const getLineInfo = (line, tokens, TokenMap) => {
-  const tokensLength = tokens.length;
-  let end = 0;
-  let start = 0;
-  const lineInfo = [];
-  for (let i = 0; i < tokensLength; i += 2) {
-    const tokenType = tokens[i];
-    const tokenLength = tokens[i + 1];
-    end += tokenLength;
-    const text = line.slice(start, end);
-    const className = `Token ${TokenMap[tokenType] || 'Unknown'}`;
-    const normalizedText = text;
-    lineInfo.push(normalizedText, className);
-    start = end;
-  }
-  return lineInfo;
-};
-
-const getLineInfos = (lines, tokenizer, languageId) => {
-  const lineInfos = [];
-  const {
-    hasArrayReturn,
-    initialLineState,
-    tokenizeLine,
-    TokenMap
-  } = tokenizer;
-  let currentLineState = getInitialLineState(initialLineState);
-  for (const line of lines) {
-    const result = safeTokenizeLine(languageId, tokenizeLine, line, currentLineState, hasArrayReturn);
-    const {
-      tokens
-    } = result;
-    const lineInfo = getLineInfo(line, tokens, TokenMap);
-    lineInfos.push(lineInfo);
-    currentLineState = result;
-  }
-  console.error({
-    lineInfos
-  });
-  return lineInfos;
-};
-
-const tokenizeCodeBlock = async (codeBlock, languageId, tokenizerPath) => {
-  await loadTokenizer(languageId, tokenizerPath);
-  const tokenizer = getTokenizer(languageId);
-  const lines = splitLines(codeBlock);
-  const lineInfos = getLineInfos(lines, tokenizer, languageId);
-  return lineInfos;
-};
-
-const getHoverPosition = (position, selections) => {
-  if (position) {
-    return position;
-  }
-  const rowIndex = selections[0];
-  const columnIndex = selections[1];
-  return {
-    columnIndex,
-    rowIndex
-  };
-};
-const getMatchingDiagnostics = (diagnostics, rowIndex, columnIndex) => {
-  const matching = [];
-  for (const diagnostic of diagnostics) {
-    if (diagnostic.rowIndex === rowIndex) {
-      matching.push(diagnostic);
-    }
-  }
-  return matching;
-};
-const fallbackDisplayStringLanguageId = 'typescript'; // TODO remove this
-const getHoverPositionXy = (editor, rowIndex, wordStart, documentationHeight) => {
-  const x$1 = x(editor, rowIndex, wordStart);
-  const y$1 = editor.height - y(editor, rowIndex) + editor.y + 40;
-  return {
-    x: x$1,
-    y: y$1
-  };
-};
-const getEditorHoverInfo = async (editorUid, position) => {
-  number(editorUid);
-  const instance = get$7(editorUid);
-  const editor = instance.newState;
-  const {
-    selections
-  } = editor;
-  const {
-    columnIndex,
-    rowIndex
-  } = getHoverPosition(position, selections);
-  const offset = offsetAt(editor, rowIndex, columnIndex);
-  const hover = await getHover(editor, offset);
-  if (!hover) {
-    return undefined;
-  }
-  const {
-    displayString,
-    displayStringLanguageId,
-    documentation
-  } = hover;
-  const tokenizerPath = '';
-  const lineInfos = await tokenizeCodeBlock(displayString, displayStringLanguageId || fallbackDisplayStringLanguageId, tokenizerPath);
-  const wordPart = getWordBefore(editor, rowIndex, columnIndex);
-  const wordStart = columnIndex - wordPart.length;
-  await measureTextBlockHeight();
-  const {
-    x,
-    y
-  } = getHoverPositionXy(editor, rowIndex, wordStart);
-  const diagnostics = editor.diagnostics || [];
-  const matchingDiagnostics = getMatchingDiagnostics(diagnostics, rowIndex);
-  return {
-    documentation,
-    lineInfos,
-    matchingDiagnostics,
-    x,
-    y
-  };
-};
-
 const loadContent$1 = async (editorUid, state, position) => {
   const hoverInfo = await getEditorHoverInfo(editorUid, position);
   if (!hoverInfo) {
@@ -10771,6 +10797,12 @@ const hoverDocumentationNode = {
   className: HoverDocumentation,
   type: Div
 };
+const hoverSashNode = {
+  childCount: 0,
+  className: mergeClassNames('Sash', 'SashVertical', 'SashResize'),
+  onPointerDown: HandleSashPointerDown,
+  type: Div
+};
 const getChildCount = (lineInfos, documentation, diagnostics) => {
   const documentationCount = documentation ? 1 : 0;
   const diagnosticsCount = diagnostics && diagnostics.length > 0 ? 1 : 0;
@@ -10804,12 +10836,7 @@ const getHoverVirtualDom = (lineInfos, documentation, diagnostics) => {
   if (documentation) {
     dom.push(hoverDocumentationNode, text(documentation));
   }
-  dom.push({
-    childCount: 0,
-    className: mergeClassNames('Sash', 'SashVertical', 'SashResize'),
-    onPointerDown: HandleSashPointerDown,
-    type: Div
-  });
+  dom.push(hoverSashNode);
   return dom;
 };
 
@@ -11477,6 +11504,10 @@ const getKeyBindings = () => {
     command: 'Editor.toggleBreakpoint',
     key: F9,
     when: FocusEditorText
+  }, {
+    command: 'Editor.goToDefinition',
+    key: F12,
+    when: FocusEditorText
   }, {
     command: 'EditorRename.accept',
     key: Enter,
@@ -11543,7 +11574,7 @@ const getKeyBindings = () => {
     when: FocusEditorText
   }, {
     command: 'Editor.findAllReferences',
-    key: Alt$1 | Shift | F12,
+    key: Shift | F12,
     when: FocusEditorText
   }, {
     command: 'Editor.organizeImports',
@@ -11782,6 +11813,7 @@ const kQuickSuggestions = 'editor.quickSuggestions';
 const kAutoClosingQuotes = 'editor.autoClosingQuotes';
 const kAutoClosingBrackets = 'editor.autoclosingBrackets';
 const kFontWeight = 'editor.fontWeight';
+const kHover = 'editor.hover';
 const isAutoClosingBracketsEnabled = async () => {
   return Boolean(await get$2(kAutoClosingBrackets));
 };
@@ -11800,6 +11832,9 @@ const getRowHeight = async () => {
 const getFontSize = async () => {
   return (await get$2(kFontSize)) || 15; // TODO find out if it is possible to use all numeric values for settings for efficiency, maybe settings could be an array
 };
+const getHoverEnabled = async () => {
+  return (await get$2(kHover)) ?? true;
+};
 const getFontFamily = async () => {
   return (await get$2(kFontFamily)) || 'Fira Code';
 };
@@ -11826,13 +11861,14 @@ const getFontWeight = async () => {
 };
 
 const getEditorPreferences = async () => {
-  const [diagnosticsEnabled$1, fontFamily, fontSize, fontWeight, isAutoClosingBracketsEnabled$1, isAutoClosingQuotesEnabled$1, isAutoClosingTagsEnabled$1, isQuickSuggestionsEnabled$1, lineNumbers, rowHeight, tabSize, letterSpacing, completionTriggerCharacters] = await Promise.all([diagnosticsEnabled(), getFontFamily(), getFontSize(), getFontWeight(), isAutoClosingBracketsEnabled(), isAutoClosingQuotesEnabled(), isAutoClosingTagsEnabled(), isQuickSuggestionsEnabled(), getLineNumbers(), getRowHeight(), getTabSize(), getLetterSpacing(), getCompletionTriggerCharacters()]);
+  const [diagnosticsEnabled$1, fontFamily, fontSize, fontWeight, hoverEnabled, isAutoClosingBracketsEnabled$1, isAutoClosingQuotesEnabled$1, isAutoClosingTagsEnabled$1, isQuickSuggestionsEnabled$1, lineNumbers, rowHeight, tabSize, letterSpacing, completionTriggerCharacters] = await Promise.all([diagnosticsEnabled(), getFontFamily(), getFontSize(), getFontWeight(), getHoverEnabled(), isAutoClosingBracketsEnabled(), isAutoClosingQuotesEnabled(), isAutoClosingTagsEnabled(), isQuickSuggestionsEnabled(), getLineNumbers(), getRowHeight(), getTabSize(), getLetterSpacing(), getCompletionTriggerCharacters()]);
   return {
     completionTriggerCharacters,
     diagnosticsEnabled: diagnosticsEnabled$1,
     fontFamily,
     fontSize,
     fontWeight,
+    hoverEnabled,
     isAutoClosingBracketsEnabled: isAutoClosingBracketsEnabled$1,
     isAutoClosingQuotesEnabled: isAutoClosingQuotesEnabled$1,
     isAutoClosingTagsEnabled: isAutoClosingTagsEnabled$1,
@@ -12105,6 +12141,7 @@ const loadContent = async (state, savedState) => {
     fontFamily,
     fontSize,
     fontWeight,
+    hoverEnabled,
     isAutoClosingBracketsEnabled,
     isAutoClosingQuotesEnabled,
     isAutoClosingTagsEnabled,
@@ -12132,6 +12169,7 @@ const loadContent = async (state, savedState) => {
     fontFamily,
     fontSize,
     fontWeight,
+    hoverEnabled,
     isAutoClosingBracketsEnabled,
     isAutoClosingQuotesEnabled,
     isAutoClosingTagsEnabled,
@@ -12144,9 +12182,19 @@ const loadContent = async (state, savedState) => {
     tabSize,
     tokenizerId: newTokenizerId
   };
-  let content = '';
+  let existingEditor;
+  for (const key of getKeys$2()) {
+    const editor = get$7(Number(key))?.newState;
+    if (editor && editor.id !== id && !editor.initial && editor.uri === uri) {
+      existingEditor = editor;
+      break;
+    }
+  }
+  let content = existingEditor ? getText$1(existingEditor) : '';
   try {
-    content = await readFile(uri);
+    if (!existingEditor) {
+      content = await readFile(uri);
+    }
   } catch (error) {
     const newEditor1 = setBounds(newEditor0, x, y, width, height, 9);
     return {
@@ -12193,7 +12241,10 @@ const loadContent = async (state, savedState) => {
   const newEditor5 = {
     ...newEditor4,
     completionsOnType,
-    initial: false
+    initial: false,
+    modified: existingEditor?.modified || false,
+    redoStack: existingEditor?.redoStack || [],
+    undoStack: existingEditor?.undoStack || []
   };
   return newEditor5;
 };
@@ -12784,27 +12835,31 @@ const getEditorScrollBarDiagnosticsVirtualDom = scrollBarDiagnostics => {
   }, ...getDiagnosticsVirtualDom([...scrollBarDiagnostics])];
 };
 
+const verticalScrollBarNode = {
+  childCount: 1,
+  className: mergeClassNames('ScrollBar', 'ScrollBarVertical'),
+  onContextMenu: HandleContextMenu,
+  onPointerDown: HandleScrollBarVerticalPointerDown,
+  type: Div
+};
+const verticalScrollBarThumbNode = {
+  childCount: 0,
+  className: mergeClassNames('ScrollBarThumb', 'ScrollBarThumbVertical'),
+  type: Div
+};
+const horizontalScrollBarNode = {
+  childCount: 1,
+  className: mergeClassNames('ScrollBar', 'ScrollBarHorizontal'),
+  onPointerDown: HandleScrollBarHorizontalPointerDown,
+  type: Div
+};
+const horizontalScrollBarThumbNode = {
+  childCount: 0,
+  className: mergeClassNames('ScrollBarThumb', 'ScrollBarThumbHorizontal'),
+  type: Div
+};
 const getScrollBarVirtualDom = () => {
-  return [{
-    childCount: 1,
-    className: mergeClassNames('ScrollBar', 'ScrollBarVertical'),
-    onContextMenu: HandleContextMenu,
-    onPointerDown: HandleScrollBarVerticalPointerDown,
-    type: Div
-  }, {
-    childCount: 0,
-    className: mergeClassNames('ScrollBarThumb', 'ScrollBarThumbVertical'),
-    type: Div
-  }, {
-    childCount: 1,
-    className: mergeClassNames('ScrollBar', 'ScrollBarHorizontal'),
-    onPointerDown: HandleScrollBarHorizontalPointerDown,
-    type: Div
-  }, {
-    childCount: 0,
-    className: mergeClassNames('ScrollBarThumb', 'ScrollBarThumbHorizontal'),
-    type: Div
-  }];
+  return [verticalScrollBarNode, verticalScrollBarThumbNode, horizontalScrollBarNode, horizontalScrollBarThumbNode];
 };
 
 const editorContentNode = {
@@ -12872,6 +12927,11 @@ const getGutterInfos = (minLineY, maxLineY, breakPoints, showLineNumbers = true,
   return gutterInfos;
 };
 
+const textEditorErrorIconNode = {
+  childCount: 0,
+  className: mergeClassNames('EditorTextIcon', 'EditorTextIconError', 'MaskIcon', 'MaskIconError'),
+  type: Div
+};
 const textEditorErrorMessageNode = {
   childCount: 1,
   className: 'TextEditorErrorMessage',
@@ -12901,11 +12961,7 @@ const getEditorVirtualDom = ({
       'data-uid': uid,
       role: Code,
       type: Div
-    }, {
-      childCount: 0,
-      className: mergeClassNames('EditorTextIcon', 'EditorTextIconError', 'MaskIcon', 'MaskIconError'),
-      type: Div
-    }, textEditorErrorMessageNode, text(loadError)];
+    }, textEditorErrorIconNode, textEditorErrorMessageNode, text(loadError)];
   }
   const visibleGutterInfos = breakPoints.length > 0 || visibleLineIndices ? getGutterInfos(minLineY, maxLineY, breakPoints, lineNumbers, visibleLineIndices) : gutterInfos;
   const showGutter = lineNumbers || breakPoints.length > 0;
@@ -13420,18 +13476,20 @@ const editorDiagnosticEffect = {
   isActive: (oldEditor, newEditor) => newEditor.diagnosticsEnabled && JSON.stringify(oldEditor.lines) !== JSON.stringify(newEditor.lines)
 };
 
-const queues = [];
+const queues = {};
 
 // TODO wrap commands globally, not per editor
 // TODO only store editor state in editor worker, not in renderer worker also
 
 const wrapCommand = fn => async (uid, ...args) => {
-  const previous = queues[uid];
+  const initialInstance = get$7(uid);
+  const queueKey = initialInstance?.newState.uri || uid;
+  const previous = queues[queueKey];
   const {
     promise: next,
     resolve
   } = Promise.withResolvers();
-  queues[uid] = next;
+  queues[queueKey] = next;
   if (previous) {
     await previous;
   }
@@ -13444,19 +13502,50 @@ const wrapCommand = fn => async (uid, ...args) => {
     }
     const newEditorWithDerivedState = await updateDerivedState(state, newEditor);
     set$9(uid, state, newEditorWithDerivedState);
-    if (!editorDiagnosticEffect.isActive(state, newEditorWithDerivedState)) {
-      return newEditorWithDerivedState;
+    let finalEditor = newEditorWithDerivedState;
+    if (editorDiagnosticEffect.isActive(state, newEditorWithDerivedState)) {
+      finalEditor = await editorDiagnosticEffect.apply(newEditorWithDerivedState);
+      if (!get$7(uid)) {
+        return finalEditor;
+      }
+      set$9(uid, state, finalEditor);
     }
-    const newEditorWithDiagnostics = await editorDiagnosticEffect.apply(newEditorWithDerivedState);
-    if (!get$7(uid)) {
-      return newEditorWithDiagnostics;
+    const {
+      initial,
+      lines,
+      modified,
+      redoStack,
+      undoStack,
+      uri
+    } = state;
+    if (!initial && uri === finalEditor.uri && (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$7(otherUid);
+        const editor = instance?.newState;
+        if (otherUid === uid || !instance || !editor || editor.initial || editor.uri !== finalEditor.uri) {
+          continue;
+        }
+        const synchronizedEditor = await updateDerivedState(editor, {
+          ...editor,
+          decorations: finalEditor.decorations,
+          diagnostics: finalEditor.diagnostics,
+          incrementalEdits: emptyIncrementalEdits,
+          invalidStartIndex: Math.min(editor.invalidStartIndex, finalEditor.invalidStartIndex),
+          lines: finalEditor.lines,
+          modified: finalEditor.modified,
+          redoStack: finalEditor.redoStack,
+          undoStack: finalEditor.undoStack,
+          visualDecorations: finalEditor.visualDecorations
+        });
+        set$9(otherUid, instance.oldState, synchronizedEditor);
+      }
     }
-    set$9(uid, state, newEditorWithDiagnostics);
-    return newEditorWithDiagnostics;
+    return finalEditor;
   } finally {
     resolve();
-    if (queues[uid] === next) {
-      queues[uid] = undefined;
+    if (queues[queueKey] === next) {
+      delete queues[queueKey];
     }
   }
 };
@@ -13641,7 +13730,7 @@ const commandMap = {
   'Editor.setSelections2': setSelections2,
   'Editor.setText': wrapCommand(setText),
   'Editor.showHover': showHover,
-  'Editor.showHover2': showHover3,
+  'Editor.showHover2': wrapCommand(showHover2),
   'Editor.showSourceActions': wrapCommand(showSourceActions),
   'Editor.showSourceActions2': wrapCommand(showSourceActions),
   'Editor.showSourceActions3': wrapCommand(showSourceActions),
@@ -13828,6 +13917,11 @@ const listen = async () => {
 
 const CodeGeneratorInput = 'CodeGeneratorInput';
 
+const codeGeneratorNode = {
+  childCount: 2,
+  className: mergeClassNames(Viewlet, CodeGeneratorWidget),
+  type: Div
+};
 const codeGeneratorMessageNode = {
   childCount: 1,
   className: CodeGeneratorMessage,
@@ -13836,11 +13930,7 @@ const codeGeneratorMessageNode = {
 const getCodeGeneratorVirtualDom = state => {
   const escapeToClose$1 = escapeToClose();
   const enterCode$1 = enterCode();
-  return [{
-    childCount: 2,
-    className: mergeClassNames(Viewlet, CodeGeneratorWidget),
-    type: Div
-  }, {
+  return [codeGeneratorNode, {
     childCount: 0,
     className: mergeClassNames(CodeGeneratorInput$1, InputBox),
     name: CodeGeneratorInput,
@@ -13950,6 +14040,11 @@ const EditorColorPickerWidget = {
 
 const Focusable = 0;
 
+const completionDetailNode = {
+  childCount: 2,
+  className: mergeClassNames('Viewlet', 'EditorCompletionDetails'),
+  type: Div
+};
 const completionDetailContentNode = {
   childCount: 1,
   className: CompletionDetailContent,
@@ -13963,16 +14058,13 @@ const completionDetailCloseButtonNode = {
   tabIndex: Focusable,
   type: Div
 };
+const completionDetailCloseIconNode = {
+  childCount: 0,
+  className: mergeClassNames(MaskIcon, IconClose),
+  type: Div
+};
 const getCompletionDetailVirtualDom = content => {
-  const dom = [{
-    childCount: 2,
-    className: mergeClassNames('Viewlet', 'EditorCompletionDetails'),
-    type: Div
-  }, completionDetailContentNode, text(content), completionDetailCloseButtonNode, {
-    childCount: 0,
-    className: mergeClassNames(MaskIcon, IconClose),
-    type: Div
-  }];
+  const dom = [completionDetailNode, completionDetailContentNode, text(content), completionDetailCloseButtonNode, completionDetailCloseIconNode];
   return dom;
 };
 
@@ -14077,7 +14169,11 @@ const EditorCompletionDetailWidget = {
 
 const commandsToForward = [SetDom2, SetCss, AppendToBody, SetBounds2, RegisterEventListeners, SetSelectionByName, SetValueByName, SetFocusContext, SetUid, 'Viewlet.focusSelector'];
 const render$1 = widget => {
-  const commands = renderFull$3(widget.oldState, widget.newState);
+  const {
+    newState,
+    oldState
+  } = widget;
+  const commands = newState.commands.length > 0 ? renderFull$3(oldState, newState) : [[SetDom2, newState.uid, getHoverVirtualDom(newState.lineInfos, newState.documentation, newState.diagnostics)], [SetBounds2, newState.uid, newState.x, newState.y, newState.width, newState.height]];
   const wrappedCommands = [];
   const {
     uid

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lvce-editor/editor-worker",
-  "version": "19.27.0",
+  "version": "19.27.2",
   "repository": {
     "type": "git",
     "url": "git@github.com:lvce-editor/editor-worker.git"