@lvce-editor/static-server 0.91.5 → 0.91.6

package/static/{65fd4d0 → 25356f7}/packages/editor-worker/dist/editorWorkerMain.js

@@ -1540,12 +1540,12 @@ const launchColorPickerWorker = async () => {
   return launchWorker(name, url);
 };
 
-const state$d = {};
+const state$c = {};
 const getOrCreate$3 = () => {
-  if (!state$d.workerPromise) {
-    state$d.workerPromise = launchColorPickerWorker();
+  if (!state$c.workerPromise) {
+    state$c.workerPromise = launchColorPickerWorker();
   }
-  return state$d.workerPromise;
+  return state$c.workerPromise;
 };
 const invoke$9 = async (method, ...params) => {
   const worker = await getOrCreate$3();
@@ -1572,6 +1572,7 @@ const loadContent$3 = async (state, parentUid) => {
 
 const editorStates = create$j();
 const {
+  dispose: dispose$1,
   getCommandIds,
   registerCommands,
   wrapGetter
@@ -1859,7 +1860,7 @@ const getInitialLineState = initialLineState => {
   return deepCopy(initialLineState);
 };
 
-const state$c = {
+const state$b = {
   warned: []
 };
 const flattenTokensArray = tokens => {
@@ -1871,10 +1872,10 @@ const flattenTokensArray = tokens => {
   return flattened;
 };
 const warnDeprecatedArrayReturn = (languageId, fn) => {
-  if (state$c.warned.includes(fn)) {
+  if (state$b.warned.includes(fn)) {
     return;
   }
-  state$c.warned.push(fn);
+  state$b.warned.push(fn);
   console.warn(`tokenizers without hasArrayReturn=false are deprecated (language ${languageId})`);
 };
 const safeTokenizeLine = (languageId, tokenizeLine, line, lineStateAtStart, hasArrayReturn) => {
@@ -1935,14 +1936,14 @@ const TokenizePlainText = {
   tokenizeLine
 };
 
-const state$b = {
+const state$a = {
   enabled: false
 };
 const setEnabled$1 = value => {
-  state$b.enabled = value;
+  state$a.enabled = value;
 };
 const getEnabled$1 = () => {
-  return state$b.enabled;
+  return state$a.enabled;
 };
 
 const {
@@ -1950,25 +1951,25 @@ const {
   set: set$6
 } = SyntaxHighlightingWorker;
 
-const state$a = {
+const state$9 = {
   pending: Object.create(null),
   tokenizePaths: Object.create(null),
   tokenizers: Object.create(null)
 };
 const has = languageId => {
-  return Object.hasOwn(state$a.tokenizers, languageId);
+  return Object.hasOwn(state$9.tokenizers, languageId);
 };
 const set$5 = (languageId, tokenizer) => {
-  state$a.tokenizers[languageId] = tokenizer;
+  state$9.tokenizers[languageId] = tokenizer;
 };
 const get$5 = languageId => {
-  return state$a.tokenizers[languageId];
+  return state$9.tokenizers[languageId];
 };
 const setTokenizePath = (languageId, tokenizePath) => {
-  state$a.tokenizePaths[languageId] = tokenizePath;
+  state$9.tokenizePaths[languageId] = tokenizePath;
 };
 const getTokenizePath$1 = languageId => {
-  return state$a.tokenizePaths[languageId] || '';
+  return state$9.tokenizePaths[languageId] || '';
 };
 const setTokenizePaths = languages => {
   for (const language of languages) {
@@ -1978,7 +1979,7 @@ const setTokenizePaths = languages => {
   }
 };
 const isPending = languageId => {
-  return Object.hasOwn(state$a.pending, languageId);
+  return Object.hasOwn(state$9.pending, languageId);
 };
 
 const tokenMaps = Object.create(null);
@@ -2811,14 +2812,14 @@ const getNewDeltaPercent = (height, scrollBarHeight, relativeY) => {
   };
 };
 
-const state$9 = {
+const state$8 = {
   enabled: false
 };
 const setEnabled = value => {
-  state$9.enabled = value;
+  state$8.enabled = value;
 };
 const getEnabled = () => {
-  return state$9.enabled;
+  return state$8.enabled;
 };
 
 // TODO this should be in a separate scrolling module
@@ -3036,7 +3037,7 @@ const getUrlAtOffset = (editor, offset) => {
 
 const EditorChange = 1;
 
-const state$8 = Object.create(null);
+const state$7 = Object.create(null);
 
 /**
  * Register a listener for a specific event type
@@ -3046,13 +3047,13 @@ const state$8 = Object.create(null);
 const registerListener$1 = (listenerType, rpcId) => {
   number(listenerType);
   number(rpcId);
-  if (!Object.hasOwn(state$8, listenerType)) {
-    state$8[listenerType] = [];
+  if (!Object.hasOwn(state$7, listenerType)) {
+    state$7[listenerType] = [];
   }
 
   // Avoid duplicate registrations
-  if (!state$8[listenerType].includes(rpcId)) {
-    state$8[listenerType].push(rpcId);
+  if (!state$7[listenerType].includes(rpcId)) {
+    state$7[listenerType].push(rpcId);
   }
 };
 
@@ -3064,10 +3065,10 @@ const registerListener$1 = (listenerType, rpcId) => {
 const unregisterListener$1 = (listenerType, rpcId) => {
   number(listenerType);
   number(rpcId);
-  if (Object.hasOwn(state$8, listenerType)) {
-    const index = state$8[listenerType].indexOf(rpcId);
+  if (Object.hasOwn(state$7, listenerType)) {
+    const index = state$7[listenerType].indexOf(rpcId);
     if (index !== -1) {
-      state$8[listenerType].splice(index, 1);
+      state$7[listenerType].splice(index, 1);
     }
   }
 };
@@ -3079,7 +3080,7 @@ const unregisterListener$1 = (listenerType, rpcId) => {
  */
 const getListeners = listenerType => {
   number(listenerType);
-  return state$8[listenerType] || [];
+  return state$7[listenerType] || [];
 };
 
 /**
@@ -4235,6 +4236,96 @@ const diff2 = uid => {
   return result;
 };
 
+const addWidget$1 = widget => {
+  const module = get$6(widget.id);
+  if (!module) {
+    throw new Error('unsupported widget');
+  }
+  return module.add(widget);
+};
+const renderWidget = widget => {
+  const module = get$6(widget.id);
+  if (!module) {
+    throw new Error('unsupported widget');
+  }
+  return module.render(widget);
+};
+const removeWidget$1 = widget => {
+  const module = get$6(widget.id);
+  if (!module) {
+    throw new Error('unsupported widget');
+  }
+  return module.remove(widget);
+};
+
+const renderWidgets$1 = (oldState, newState) => {
+  const addedWidgets = [];
+  const changedWidgets = [];
+  const removedWidgets = [];
+  const oldWidgets = oldState.widgets || [];
+  const newWidgets = newState.widgets || [];
+  const oldWidgetMap = Object.create(null);
+  const newWidgetMap = Object.create(null);
+  for (const oldWidget of oldWidgets) {
+    oldWidgetMap[oldWidget.id] = oldWidget;
+  }
+  for (const newWidget of newWidgets) {
+    newWidgetMap[newWidget.id] = newWidget;
+  }
+  for (const oldWidget of oldWidgets) {
+    if (Object.hasOwn(newWidgetMap, oldWidget.id)) {
+      changedWidgets.push(newWidgetMap[oldWidget.id]);
+    } else {
+      removedWidgets.push(oldWidget);
+    }
+  }
+  for (const newWidget of newWidgets) {
+    if (Object.hasOwn(oldWidgetMap, newWidget.id)) ; else {
+      addedWidgets.push(newWidget);
+    }
+  }
+  const addCommands = [];
+  for (const addedWidget of addedWidgets) {
+    const childCommands = addWidget$1(addedWidget);
+    if (childCommands.length > 0) {
+      addCommands.push(...childCommands);
+    }
+  }
+  const changeCommands = [];
+  for (const changedWidget of changedWidgets) {
+    const childCommands = renderWidget(changedWidget);
+    if (childCommands.length > 0) {
+      changeCommands.push(...childCommands);
+    }
+  }
+  const removeCommands = [];
+  for (const removedWidget of removedWidgets) {
+    const childCommands = removeWidget$1(removedWidget);
+    if (childCommands.length > 0) {
+      removeCommands.push(...childCommands);
+    }
+  }
+  const allCommands = [...addCommands, ...changeCommands, ...removeCommands];
+  return allCommands.filter(item => item[0] !== 'Viewlet.setFocusContext');
+};
+
+const disposeEditor = async editorUid => {
+  const editor = get$7(editorUid)?.newState;
+  if (!editor) {
+    return [];
+  }
+  for (const widget of editor.widgets) {
+    if (widget.id === ColorPicker$1) {
+      await invoke$9('ColorPicker.dispose', widget.newState.uid);
+    }
+  }
+  const commands = renderWidgets$1(editor, {
+    widgets: []
+  });
+  dispose$1(editorUid);
+  return commands;
+};
+
 // @ts-ignore
 const getNewSelections$c = selections => {
   const newSelections = [];
@@ -4429,6 +4520,12 @@ const editorReplaceSelections = (editor, replacement, origin) => {
   return replaceRange(editor, selections, replacement, origin);
 };
 
+const create$8 = () => {
+  return Math.random();
+};
+
+const Message = 9;
+
 const getAccurateColumnIndexAscii = async (line, guess, averageCharWidth, eventX, fontWeight, fontSize, fontFamily, letterSpacing, isMonospaceFont, charWidth) => {
   for (let i = guess; i < line.length; i++) {
     const width = await measureTextWidth(line.slice(0, i), fontWeight, fontSize, fontFamily, letterSpacing, isMonospaceFont, charWidth);
@@ -4442,7 +4539,7 @@ const getAccurateColumnIndexAscii = async (line, guess, averageCharWidth, eventX
 const supported = () => {
   return 'Segmenter' in Intl;
 };
-const create$8 = () => {
+const create$7 = () => {
   // @ts-ignore
   const segmenter = new Intl.Segmenter();
   return {
@@ -4477,7 +4574,7 @@ const create$8 = () => {
 };
 
 const getAccurateColumnIndexUnicode = async (line, guess, averageCharWidth, eventX, fontWeight, fontSize, fontFamily, letterSpacing) => {
-  const segmenter = create$8();
+  const segmenter = create$7();
   const segments = segmenter.getSegments(line);
   const isMonospaceFont = false;
   const charWidth = 0;
@@ -4592,10 +4689,6 @@ const y = (editor, rowIndex) => {
   return offsetY;
 };
 
-const state$7 = {
-  timeout: -1
-};
-
 /**
  *
  * @param {any} editor
@@ -4606,26 +4699,29 @@ const state$7 = {
  * @returns
  */
 // @ts-ignore
-const editorShowMessage = async (editor, rowIndex, columnIndex, message, isError) => {
+const editorShowMessage = (editor, rowIndex, columnIndex, message, _isError) => {
   object(editor);
   number(rowIndex);
   number(columnIndex);
   string(message);
   const x$1 = x(editor, rowIndex, columnIndex);
   const y$1 = y(editor, rowIndex);
-  const displayErrorMessage = message;
-  // @ts-ignore
-  await invoke$b('Editor.showOverlayMessage', editor, 'Viewlet.send', editor.uid, 'showOverlayMessage', x$1, y$1, displayErrorMessage);
-  if (!isError) {
-    const handleTimeout = () => {
-      editorHideMessage(editor);
-    };
-
-    // TODO use wrapper timing module instead of this
-    // @ts-ignore
-    state$7.timeout = setTimeout(handleTimeout, 3000);
-  }
-  return editor;
+  const existingWidget = editor.widgets.find(widget => widget.id === Message);
+  const uid = existingWidget?.newState.uid ?? create$8();
+  const newState = {
+    message,
+    uid,
+    x: x$1,
+    y: y$1
+  };
+  const widget = {
+    id: Message,
+    newState
+  };
+  return {
+    ...editor,
+    widgets: [...editor.widgets.filter(item => item.id !== Message), widget]
+  };
 };
 
 /**
@@ -4637,16 +4733,8 @@ const editorShowMessage = async (editor, rowIndex, columnIndex, message, isError
  * @returns
  */
 // @ts-ignore
-const showErrorMessage = async (editor, rowIndex, columnIndex, message) => {
-  return editorShowMessage(editor, rowIndex, columnIndex, message, /* isError */true);
-};
-
-// @ts-ignore
-const editorHideMessage = async editor => {
-  clearTimeout(state$7.timeout);
-  state$7.timeout = -1;
-  // await RendererProcess.invoke(/* Viewlet.send */ 'Viewlet.send', /* id */ editor.uid, /* method */ 'hideOverlayMessage')
-  return editor;
+const showErrorMessage = (editor, rowIndex, columnIndex, message) => {
+  return editorShowMessage(editor, rowIndex, columnIndex, message);
 };
 
 // @ts-ignore
@@ -4852,12 +4940,8 @@ const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGe
   return newEditor;
 };
 
-const create$7 = () => {
-  return Math.random();
-};
-
 const create$6 = () => {
-  const completionUid = create$7();
+  const completionUid = create$8();
   const widget = {
     id: ColorPicker$1,
     newState: {
@@ -5148,7 +5232,7 @@ const characterLeft = (line, columnIndex) => {
   if (columnIndex > line.length) {
     return 1;
   }
-  const segmenter = create$8();
+  const segmenter = create$7();
   const last = segmenter.at(line, columnIndex - 1);
   if (!last) {
     return 1;
@@ -5163,7 +5247,7 @@ const characterRight = (line, columnIndex) => {
   if (!supported()) {
     return 1;
   }
-  const segmenter = create$8();
+  const segmenter = create$7();
   const next = segmenter.at(line, columnIndex);
   // @ts-ignore
   return next.segment.length;
@@ -5679,7 +5763,7 @@ const format = async editor => {
 
     // TODO configure editor message as widget
     const displayErrorMessage = String(error);
-    await editorShowMessage(editor, 0, 0, displayErrorMessage, true);
+    await editorShowMessage(editor, 0, 0, displayErrorMessage);
     return editor;
   }
 };
@@ -5944,13 +6028,13 @@ const goTo = async ({
     // TODO if editor is already disposed at this point, do nothing
     if (isNoProviderFoundError(error)) {
       const displayErrorMessage = getErrorMessage(error);
-      await editorShowMessage(editor, rowIndex, columnIndex, displayErrorMessage, false);
+      await editorShowMessage(editor, rowIndex, columnIndex, displayErrorMessage);
       return editor;
     }
     // @ts-ignore
     // ErrorHandling.handleError(error, false)
     const displayErrorMessage = getErrorMessage(error);
-    await editorShowMessage(editor, rowIndex, columnIndex, displayErrorMessage, true);
+    await editorShowMessage(editor, rowIndex, columnIndex, displayErrorMessage);
     return editor;
   }
 };
@@ -7093,7 +7177,7 @@ const Script = 2;
 const Unknown$1 = 0;
 
 const create$5 = () => {
-  const completionUid = create$7();
+  const completionUid = create$8();
   const widget = {
     id: CodeGenerator,
     newState: {
@@ -7136,7 +7220,7 @@ const openCodeGenerator = async editor => {
 };
 
 const create$4 = () => {
-  const completionUid = create$7();
+  const completionUid = create$8();
   const completionWidget = {
     id: Completion,
     newState: {
@@ -7193,7 +7277,7 @@ const openCompletion = async editor => {
 };
 
 const create$3 = () => {
-  const uid = create$7();
+  const uid = create$8();
   const widget = {
     id: Find,
     newState: {
@@ -7311,7 +7395,7 @@ const getPositionAtCursor$1 = editor => {
 };
 
 const create$2 = () => {
-  const completionUid = create$7();
+  const completionUid = create$8();
   const renameWidget = {
     id: Rename$1,
     newState: {
@@ -8291,7 +8375,7 @@ const setText = (editor, text) => {
 };
 
 const create$1 = () => {
-  const uid = create$7();
+  const uid = create$8();
   const widget = {
     id: Hover,
     newState: {
@@ -8379,7 +8463,7 @@ const showHover = async state => {
 };
 
 const create = () => {
-  const completionUid = create$7();
+  const completionUid = create$8();
   const widget = {
     id: SourceAction$1,
     newState: {
@@ -8927,7 +9011,7 @@ const toggleComment = async editor => {
   } catch (error$1) {
     error(error$1);
     // TODO use correct position
-    await editorShowMessage(/* editor */editor, /* rowIndex */0, /* columnIndex */0, /* message */String(error$1), /* isError */true);
+    await editorShowMessage(/* editor */editor, /* rowIndex */0, /* columnIndex */0, /* message */String(error$1));
     return editor;
   }
 };
@@ -9242,6 +9326,7 @@ const editorUnindent = editor => {
 
 const isFunctional = widgetId => {
   switch (widgetId) {
+    case Message:
     case ColorPicker$1:
     case Completion:
     case Find:
@@ -9253,7 +9338,7 @@ const isFunctional = widgetId => {
       return false;
   }
 };
-const addWidget$1 = (widget, id, render) => {
+const addWidget = (widget, id, render) => {
   const commands = render(widget);
   // TODO how to generate a unique integer id
   // that doesn't collide with ids created in renderer worker?
@@ -9425,7 +9510,7 @@ const renderFull$4 = (oldState, newState) => {
 };
 
 const commandsToForward$5 = [SetDom2, SetCss, AppendToBody, SetBounds2, RegisterEventListeners, SetSelectionByName, SetValueByName, SetFocusContext, SetUid, 'Viewlet.focusSelector'];
-const render$b = widget => {
+const render$c = widget => {
   const commands = renderFull$4(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -9440,8 +9525,8 @@ const render$b = widget => {
   }
   return wrappedCommands;
 };
-const add$7 = widget => {
-  return addWidget$1(widget, 'EditorCompletion', render$b);
+const add$8 = widget => {
+  return addWidget(widget, 'EditorCompletion', render$c);
 };
 const remove$7 = widget => {
   return [['Viewlet.dispose', widget.newState.uid]];
@@ -9468,7 +9553,7 @@ const {
 
 const EditorCompletionWidget = {
   __proto__: null,
-  add: add$7,
+  add: add$8,
   close: close$4,
   closeDetails: closeDetails$1,
   focusFirst: focusFirst$1,
@@ -9484,7 +9569,7 @@ const EditorCompletionWidget = {
   handleWheel: handleWheel$1,
   openDetails,
   remove: remove$7,
-  render: render$b,
+  render: render$c,
   selectCurrent: selectCurrent$1,
   selectIndex: selectIndex$1,
   toggleDetails: toggleDetails$1
@@ -9498,7 +9583,7 @@ const renderFull$3 = (oldState, newState) => {
 };
 
 const commandsToForward$4 = [SetDom2, SetCss, AppendToBody, SetBounds2, RegisterEventListeners, SetSelectionByName, SetValueByName, SetFocusContext, SetUid, 'Viewlet.focusSelector'];
-const render$a = widget => {
+const render$b = widget => {
   const commands = renderFull$3(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -9513,8 +9598,8 @@ const render$a = widget => {
   }
   return wrappedCommands;
 };
-const add$6 = widget => {
-  return addWidget$1(widget, 'FindWidget', render$a);
+const add$7 = widget => {
+  return addWidget(widget, 'FindWidget', render$b);
 };
 const remove$6 = widget => {
   return [['Viewlet.dispose', widget.newState.uid]];
@@ -9551,7 +9636,7 @@ const {
 
 const EditorFindWidget = {
   __proto__: null,
-  add: add$6,
+  add: add$7,
   close: close$3,
   focusCloseButton,
   focusFind,
@@ -9573,7 +9658,7 @@ const EditorFindWidget = {
   handleReplaceInput,
   handleToggleReplaceFocus,
   remove: remove$6,
-  render: render$a,
+  render: render$b,
   replace,
   replaceAll,
   toggleMatchCase,
@@ -9943,10 +10028,10 @@ const renderBounds$2 = {
   },
   isEqual: (oldState, newState) => oldState.x === newState.x && oldState.y === newState.y
 };
-const render$9 = [renderHoverDom, renderBounds$2];
+const render$a = [renderHoverDom, renderBounds$2];
 const renderHover = (oldState, newState) => {
   const commands = [];
-  for (const item of render$9) {
+  for (const item of render$a) {
     if (!item.isEqual(oldState, newState)) {
       commands.push(item.apply(oldState, newState));
     }
@@ -9955,7 +10040,7 @@ const renderHover = (oldState, newState) => {
 };
 
 const commandsToForward$3 = [SetDom2, SetCss, AppendToBody, SetBounds2, RegisterEventListeners, SetSelectionByName, SetValueByName, SetFocusContext, SetUid, 'Viewlet.focusSelector'];
-const render$8 = widget => {
+const render$9 = widget => {
   const commands = renderFull$4(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -9970,8 +10055,8 @@ const render$8 = widget => {
   }
   return wrappedCommands;
 };
-const add$5 = widget => {
-  return addWidget$1(widget, 'EditorRename', render$8);
+const add$6 = widget => {
+  return addWidget(widget, 'EditorRename', render$9);
 };
 const remove$5 = widget => {
   return [['Viewlet.dispose', widget.newState.uid]];
@@ -9985,11 +10070,11 @@ const {
 const EditorRenameWidget = {
   __proto__: null,
   accept,
-  add: add$5,
+  add: add$6,
   close: close$2,
   handleInput,
   remove: remove$5,
-  render: render$8
+  render: render$9
 };
 
 const rerender = editor => {
@@ -10010,13 +10095,13 @@ const focusNext$1 = state => {
   return focusIndex$1(state, nextIndex);
 };
 
-const removeWidget$1 = widget => {
+const removeWidget = widget => {
   // @ts-ignore
-  return [['Viewlet.send', widget.newState.uid, 'dispose']];
+  return [['Viewlet.dispose', widget.newState.uid]];
 };
 
 const commandsToForward$2 = [SetDom2, SetCss, AppendToBody, SetBounds2, RegisterEventListeners, SetSelectionByName, SetValueByName, SetFocusContext, SetUid, 'Viewlet.focusSelector'];
-const render$7 = widget => {
+const render$8 = widget => {
   const commands = renderFull$4(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -10031,10 +10116,10 @@ const render$7 = widget => {
   }
   return wrappedCommands;
 };
-const add$4 = widget => {
-  return addWidget$1(widget, 'EditorSourceActions', render$7);
+const add$5 = widget => {
+  return addWidget(widget, 'EditorSourceActions', render$8);
 };
-const remove$4 = removeWidget$1;
+const remove$4 = removeWidget;
 const {
   close: close$1,
   closeDetails,
@@ -10052,7 +10137,7 @@ const {
 
 const EditorSourceActionWidget = {
   __proto__: null,
-  add: add$4,
+  add: add$5,
   close: close$1,
   closeDetails,
   focusFirst,
@@ -10062,7 +10147,7 @@ const EditorSourceActionWidget = {
   focusPrevious,
   handleWheel,
   remove: remove$4,
-  render: render$7,
+  render: render$8,
   selectCurrent,
   selectIndex,
   selectItem,
@@ -11949,79 +12034,6 @@ const renderIncremental = (oldState, newState) => {
   return [SetPatches, newState.uid, patches];
 };
 
-const addWidget = widget => {
-  const module = get$6(widget.id);
-  if (!module) {
-    throw new Error('unsupported widget');
-  }
-  return module.add(widget);
-};
-const renderWidget = widget => {
-  const module = get$6(widget.id);
-  if (!module) {
-    throw new Error('unsupported widget');
-  }
-  return module.render(widget);
-};
-const removeWidget = widget => {
-  const module = get$6(widget.id);
-  if (!module) {
-    throw new Error('unsupported widget');
-  }
-  return module.remove(widget);
-};
-
-const renderWidgets$1 = (oldState, newState) => {
-  const addedWidgets = [];
-  const changedWidgets = [];
-  const removedWidgets = [];
-  const oldWidgets = oldState.widgets || [];
-  const newWidgets = newState.widgets || [];
-  const oldWidgetMap = Object.create(null);
-  const newWidgetMap = Object.create(null);
-  for (const oldWidget of oldWidgets) {
-    oldWidgetMap[oldWidget.id] = oldWidget;
-  }
-  for (const newWidget of newWidgets) {
-    newWidgetMap[newWidget.id] = newWidget;
-  }
-  for (const oldWidget of oldWidgets) {
-    if (Object.hasOwn(newWidgetMap, oldWidget.id)) {
-      changedWidgets.push(newWidgetMap[oldWidget.id]);
-    } else {
-      removedWidgets.push(oldWidget);
-    }
-  }
-  for (const newWidget of newWidgets) {
-    if (Object.hasOwn(oldWidgetMap, newWidget.id)) ; else {
-      addedWidgets.push(newWidget);
-    }
-  }
-  const addCommands = [];
-  for (const addedWidget of addedWidgets) {
-    const childCommands = addWidget(addedWidget);
-    if (childCommands.length > 0) {
-      addCommands.push(...childCommands);
-    }
-  }
-  const changeCommands = [];
-  for (const changedWidget of changedWidgets) {
-    const childCommands = renderWidget(changedWidget);
-    if (childCommands.length > 0) {
-      changeCommands.push(...childCommands);
-    }
-  }
-  const removeCommands = [];
-  for (const removedWidget of removedWidgets) {
-    const childCommands = removeWidget(removedWidget);
-    if (childCommands.length > 0) {
-      removeCommands.push(...childCommands);
-    }
-  }
-  const allCommands = [...addCommands, ...changeCommands, ...removeCommands];
-  return allCommands.filter(item => item[0] !== 'Viewlet.setFocusContext');
-};
-
 const getRenderer = diffType => {
   switch (diffType) {
     case RenderCss:
@@ -12152,7 +12164,7 @@ const renderWidgets = {
   isEqual: (oldState, newState) => oldState.widgets === newState.widgets,
   multiple: true
 };
-const render$6 = [renderLines, renderSelections, renderCss, renderFocus$1, renderDecorations, renderGutterInfo, renderWidgets, renderFocusContext, renderAdditionalFocusContext];
+const render$7 = [renderLines, renderSelections, renderCss, renderFocus$1, renderDecorations, renderGutterInfo, renderWidgets, renderFocusContext, renderAdditionalFocusContext];
 const renderEditor = async id => {
   const instance = get$7(id);
   if (!instance) {
@@ -12164,7 +12176,7 @@ const renderEditor = async id => {
   } = instance;
   const commands = [];
   set$8(id, newState, newState);
-  for (const item of render$6) {
+  for (const item of render$7) {
     if (item.isEqual(oldState, newState)) {
       continue;
     }
@@ -12395,6 +12407,7 @@ const commandMap = {
   'Editor.deleteWordPartRight': wrapCommand(deleteWordPartRight),
   'Editor.deleteWordRight': wrapCommand(deleteWordRight),
   'Editor.diff2': diff2,
+  'Editor.dispose': disposeEditor,
   'Editor.executeWidgetCommand': wrapCommand(executeWidgetCommand),
   'Editor.findAllReferences': wrapCommand(findAllReferences$1),
   'Editor.format': wrapCommand(format),
@@ -12721,10 +12734,10 @@ const renderFocus = {
   apply: (oldState, newState) => [Focus, '.CodeGeneratorInput', newState.focusSource],
   isEqual: (oldState, newState) => oldState.focused === newState.focused && oldState.focusSource === newState.focusSource
 };
-const render$5 = [renderContent$1, renderBounds$1, renderFocus];
+const render$6 = [renderContent$1, renderBounds$1, renderFocus];
 const renderFull$2 = (oldState, newState) => {
   const commands = [];
-  for (const item of render$5) {
+  for (const item of render$6) {
     if (!item.isEqual(oldState, newState)) {
       commands.push(item.apply(oldState, newState));
     }
@@ -12732,7 +12745,7 @@ const renderFull$2 = (oldState, newState) => {
   return commands;
 };
 
-const render$4 = widget => {
+const render$5 = widget => {
   const commands = renderFull$2(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -12748,16 +12761,16 @@ const render$4 = widget => {
   }
   return wrappedCommands;
 };
-const add$3 = widget => {
-  return addWidget$1(widget, 'EditorCodeGenerator', render$4);
+const add$4 = widget => {
+  return addWidget(widget, 'EditorCodeGenerator', render$5);
 };
-const remove$3 = removeWidget$1;
+const remove$3 = removeWidget;
 
 const EditorCodeGeneratorWidget = {
   __proto__: null,
-  add: add$3,
+  add: add$4,
   remove: remove$3,
-  render: render$4
+  render: render$5
 };
 
 const renderFull$1 = (oldState, newState) => {
@@ -12768,7 +12781,7 @@ const renderFull$1 = (oldState, newState) => {
 };
 
 const commandsToForward$1 = [SetDom2, SetCss, AppendToBody, SetBounds2, RegisterEventListeners, SetUid];
-const render$3 = widget => {
+const render$4 = widget => {
   const commands = renderFull$1(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -12783,18 +12796,18 @@ const render$3 = widget => {
   }
   return wrappedCommands;
 };
-const add$2 = widget => {
-  return addWidget$1(widget, 'ColorPicker', render$3);
+const add$3 = widget => {
+  return addWidget(widget, 'ColorPicker', render$4);
 };
-const remove$2 = removeWidget$1;
+const remove$2 = removeWidget;
 const Commands = {};
 
 const EditorColorPickerWidget = {
   __proto__: null,
   Commands,
-  add: add$2,
+  add: add$3,
   remove: remove$2,
-  render: render$3
+  render: render$4
 };
 
 const getCompletionDetailVirtualDom = content => {
@@ -12848,9 +12861,9 @@ const renderBounds = {
   },
   isEqual: (oldState, newState) => oldState.x === newState.x && oldState.y === newState.y && oldState.width === newState.width && oldState.height === newState.height
 };
-const render$2 = [renderContent, renderBounds];
+const render$3 = [renderContent, renderBounds];
 const renderFull = (oldState, newState) => {
-  return renderParts(render$2, oldState, newState);
+  return renderParts(render$3, oldState, newState);
 };
 
 const getWidgetState = (editor, id) => {
@@ -12869,7 +12882,7 @@ const getCompletionState = editor => {
   return getWidgetState(editor, Completion);
 };
 
-const render$1 = widget => {
+const render$2 = widget => {
   const commands = renderFull(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -12884,10 +12897,10 @@ const render$1 = widget => {
   }
   return wrappedCommands;
 };
-const add$1 = widget => {
-  return addWidget$1(widget, 'EditorCompletionDetails', render$1);
+const add$2 = widget => {
+  return addWidget(widget, 'EditorCompletionDetails', render$2);
 };
-const remove$1 = removeWidget$1;
+const remove$1 = removeWidget;
 const handleEditorChange = (editor, state) => {
   const completionState = getCompletionState(editor);
   if (!completionState) {
@@ -12911,15 +12924,15 @@ const handleEditorDeleteLeft = (editor, state) => {
 
 const EditorCompletionDetailWidget = {
   __proto__: null,
-  add: add$1,
+  add: add$2,
   handleEditorDeleteLeft,
   handleEditorType,
   remove: remove$1,
-  render: render$1
+  render: render$2
 };
 
 const commandsToForward = [SetDom2, SetCss, AppendToBody, SetBounds2, RegisterEventListeners, SetSelectionByName, SetValueByName, SetFocusContext, SetUid, 'Viewlet.focusSelector'];
-const render = widget => {
+const render$1 = widget => {
   const commands = renderFull$4(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const {
@@ -12934,8 +12947,8 @@ const render = widget => {
   }
   return wrappedCommands;
 };
-const add = widget => {
-  return addWidget$1(widget, 'EditorCompletion', render);
+const add$1 = widget => {
+  return addWidget(widget, 'EditorCompletion', render$1);
 };
 const remove = widget => {
   return [['Viewlet.dispose', widget.newState.uid]];
@@ -12946,9 +12959,35 @@ const {
 
 const EditorHoverWidget = {
   __proto__: null,
-  add,
+  add: add$1,
   close,
   remove,
+  render: render$1
+};
+
+const render = widget => {
+  const {
+    message,
+    uid,
+    x,
+    y
+  } = widget.newState;
+  const dom = [{
+    childCount: 1,
+    className: 'Viewlet EditorMessage EditorMessageText EditorOverlayMessage',
+    style: `left:${x}px;top:${y}px;`,
+    type: Div
+  }, text(message)];
+  return [[SetDom2, uid, dom]];
+};
+const add = widget => {
+  return addWidget(widget, 'EditorMessage', render);
+};
+
+const EditorMessageWidget = {
+  __proto__: null,
+  add,
+  remove,
   render
 };
 
@@ -12958,6 +12997,7 @@ const registerWidgets = () => {
   set$7(CompletionDetail, EditorCompletionDetailWidget);
   set$7(Find, EditorFindWidget);
   set$7(Hover, EditorHoverWidget);
+  set$7(Message, EditorMessageWidget);
   set$7(Rename$1, EditorRenameWidget);
   set$7(SourceAction$1, EditorSourceActionWidget);
   set$7(CodeGenerator, EditorCodeGeneratorWidget);