@lvce-editor/server 0.37.6 → 0.37.7

package/static/{c3b8288 → 3c2c8cd}/packages/editor-worker/dist/editorWorkerMain.js

@@ -1080,7 +1080,7 @@ const set$5 = (id, fn) => {
 const get$5 = id => {
   return state$1$1.callbacks[id];
 };
-const remove$6 = id => {
+const remove$7 = id => {
   delete state$1$1.callbacks[id];
 };
 const state$9 = {
@@ -1126,7 +1126,7 @@ const resolve = (id, args) => {
     return;
   }
   fn(args);
-  remove$6(id);
+  remove$7(id);
 };
 const create$2$1 = (method, params) => {
   const {
@@ -1318,7 +1318,7 @@ const getErrorResponse = (message, error, preparePrettyError, logError) => {
   const errorProperty = getErrorProperty(error, prettyError);
   return create$1$1(message, errorProperty);
 };
-const create$c = (message, result) => {
+const create$d = (message, result) => {
   return {
     jsonrpc: Two,
     id: message.id,
@@ -1327,7 +1327,7 @@ const create$c = (message, result) => {
 };
 const getSuccessResponse = (message, result) => {
   const resultProperty = result ?? null;
-  return create$c(message, resultProperty);
+  return create$d(message, resultProperty);
 };
 const getResponse = async (message, ipc, execute, preparePrettyError, logError, requiresSocket) => {
   try {
@@ -1527,7 +1527,7 @@ const waitForFirstMessage$1 = async port => {
   return event;
 };
 
-const create$b = async () => {
+const create$c = async () => {
   const {
     port1,
     port2
@@ -1572,7 +1572,7 @@ const wrap$3 = port => {
 
 const IpcParentWithExtensionHostWorker = {
   __proto__: null,
-  create: create$b,
+  create: create$c,
   wrap: wrap$3
 };
 
@@ -1580,7 +1580,7 @@ const sendMessagePortToSyntaxHighlightingWorker = async port => {
   await invokeAndTransfer('SendMessagePortToSyntaxHighlightingWorker.sendMessagePortToSyntaxHighlightingWorker', port, 'HandleMessagePort.handleMessagePort');
 };
 
-const create$a = async () => {
+const create$b = async () => {
   const {
     port1,
     port2
@@ -1625,7 +1625,7 @@ const wrap$1 = port => {
 
 const IpcParentWithSyntaxHighlightingWorker = {
   __proto__: null,
-  create: create$a,
+  create: create$b,
   wrap: wrap$1
 };
 
@@ -1633,7 +1633,7 @@ const sendMessagePortToRendererProcess = async port => {
   await invokeAndTransfer('SendMessagePortToRendererProcess.sendMessagePortToRendererProcess', port, 'HandleMessagePort.handleMessagePort');
 };
 
-const create$9 = async () => {
+const create$a = async () => {
   const {
     port1,
     port2
@@ -1678,7 +1678,7 @@ const wrap = port => {
 
 const IpcParentWithRendererProcess = {
   __proto__: null,
-  create: create$9,
+  create: create$a,
   wrap
 };
 
@@ -1695,7 +1695,7 @@ const getModule$1 = method => {
   }
 };
 
-const create$8 = async ({
+const create$9 = async ({
   method,
   ...options
 }) => {
@@ -1713,7 +1713,7 @@ const create$8 = async ({
 const createRpc = method => {
   let _ipc;
   const listen = async () => {
-    const ipc = await create$8({
+    const ipc = await create$9({
       method
     });
     handleIpc(ipc);
@@ -1990,7 +1990,7 @@ const getAccurateColumnIndexAscii = (line, guess, averageCharWidth, eventX, font
 const supported = () => {
   return 'Segmenter' in Intl;
 };
-const create$7 = () => {
+const create$8 = () => {
   // @ts-ignore
   const segmenter = new Intl.Segmenter();
   return {
@@ -2028,7 +2028,7 @@ const create$7 = () => {
 
 // @ts-ignore
 const getAccurateColumnIndexUnicode = (line, guess, averageCharWidth, eventX, fontWeight, fontSize, fontFamily, letterSpacing) => {
-  const segmenter = create$7();
+  const segmenter = create$8();
   const segments = segmenter.getSegments(line);
   const isMonospaceFont = false;
   const charWidth = 0;
@@ -2258,11 +2258,12 @@ const cancelSelection = editor => {
 };
 
 // TODO use numeric widget id
+const ColorPicker$2 = 'colorPicker';
 const Completion = 'completion';
 const CompletionDetail$1 = 'completionDetail';
-const ColorPicker$2 = 'colorPicker';
 const Find = 'find';
 const Hover = 'hover';
+const Rename = 'rename';
 const SourceAction = 'sourceAction';
 
 const isCompletionWidget = widget => {
@@ -2301,6 +2302,25 @@ const closeFind = editor => {
   };
 };
 
+// TODO duplicate code
+const isRenameWidget = widget => {
+  return widget.id === Rename;
+};
+const closeRename = editor => {
+  const {
+    widgets
+  } = editor;
+  const renameWidgetIndex = widgets.findIndex(isRenameWidget);
+  if (renameWidgetIndex === -1) {
+    return editor;
+  }
+  const newWidgets = [...widgets.slice(0, renameWidgetIndex), ...widgets.slice(renameWidgetIndex + 1)];
+  return {
+    ...editor,
+    widgets: newWidgets
+  };
+};
+
 const isMatchingWidget = widget => {
   return widget.id === SourceAction;
 };
@@ -2370,12 +2390,12 @@ const addWidgetToEditor = async (widgetId, focusKey, editor, factory, newStateGe
   return newEditor;
 };
 
-const create$6 = () => {
+const create$7 = () => {
   return Math.random();
 };
 
-const create$5 = () => {
-  const completionUid = create$6();
+const create$6 = () => {
+  const completionUid = create$7();
   const widget = {
     id: ColorPicker$2,
     oldState: {
@@ -2405,25 +2425,25 @@ const create$5 = () => {
 };
 
 const ColorPicker$1 = 41;
-const FindWidget = 16;
-const EditorCompletion = 9;
 const CompletionDetail = 999;
+const EditorCompletion = 9;
 const Empty = 0;
-const FocusFindWidgetToggleReplace = 42;
-const FocusFindWidgetReplace = 43;
-const FocusFindWidgetReplaceButton = 46;
-const FocusFindWidgetReplaceAllButton = 47;
+const FindWidget = 16;
+const FocusEditorHover = 51;
 const FocusFindWidgetCloseButton = 48;
 const FocusFindWidgetNextMatchButton = 49;
 const FocusFindWidgetPreviousMatchButton = 50;
-const FocusEditorHover = 51;
+const FocusFindWidgetReplace = 43;
+const FocusFindWidgetReplaceAllButton = 47;
+const FocusFindWidgetReplaceButton = 46;
+const FocusFindWidgetToggleReplace = 42;
 const SourceActions = 38;
 
 const newStateGenerator$1 = state => {
   return loadContent$3(state);
 };
 const openColorPicker = async editor => {
-  return addWidgetToEditor(ColorPicker$2, ColorPicker$1, editor, create$5, newStateGenerator$1);
+  return addWidgetToEditor(ColorPicker$2, ColorPicker$1, editor, create$6, newStateGenerator$1);
 };
 
 const state$6 = {
@@ -2720,7 +2740,7 @@ const characterLeft = (line, columnIndex) => {
   if (!supported()) {
     return 1;
   }
-  const segmenter = create$7();
+  const segmenter = create$8();
   const last = segmenter.at(line, columnIndex - 1);
   return columnIndex - last.index;
 };
@@ -2731,7 +2751,7 @@ const characterRight = (line, columnIndex) => {
   if (!supported()) {
     return 1;
   }
-  const segmenter = create$7();
+  const segmenter = create$8();
   const next = segmenter.at(line, columnIndex);
   return next.segment.length;
 };
@@ -4482,8 +4502,8 @@ const moveSelectionPx = (editor, x, y) => {
   return editorMoveSelection(editor, position);
 };
 
-const create$4 = () => {
-  const completionUid = create$6();
+const create$5 = () => {
+  const completionUid = create$7();
   const completionWidget = {
     id: Completion,
     oldState: {
@@ -4832,6 +4852,22 @@ const getListHeight = (itemsLength, itemHeight, maxHeight) => {
   return Math.min(totalHeight, maxHeight);
 };
 
+const getPositionAtCursor = editor => {
+  const {
+    selections
+  } = editor;
+  const rowIndex = selections[0];
+  const columnIndex = selections[1];
+  const x$1 = x(editor, rowIndex, columnIndex);
+  const y$1 = y(editor, rowIndex);
+  return {
+    x: x$1,
+    y: y$1,
+    rowIndex,
+    columnIndex
+  };
+};
+
 const RE_WORD = /[\w\-]+$/;
 const getWordAtOffset = editor => {
   const {
@@ -4934,11 +4970,12 @@ const loadContent$2 = async (editorUid, state) => {
   const unfilteredItems = await getCompletions(editor);
   const wordAtOffset = getWordAtOffset(editor);
   const items = filterCompletionItems(unfilteredItems, wordAtOffset);
-  const rowIndex = editor.selections[0];
-  const columnIndex = editor.selections[1];
-  const x$1 = x(editor, rowIndex, columnIndex);
-  // @ts-ignore
-  const y$1 = y(editor, rowIndex);
+  const {
+    rowIndex,
+    columnIndex,
+    x,
+    y
+  } = getPositionAtCursor(editor);
   const newMaxLineY = Math.min(items.length, 8);
   editor.widgets = editor.widgets || [];
   // editor.widgets.push(ViewletModuleId.EditorCompletion)
@@ -4951,8 +4988,8 @@ const loadContent$2 = async (editorUid, state) => {
     ...state,
     unfilteredItems,
     items,
-    x: x$1,
-    y: y$1,
+    x,
+    y,
     maxLineY: newMaxLineY,
     focusedIndex: newFocusedIndex,
     finalDeltaY,
@@ -4980,7 +5017,7 @@ const openCompletion = async editor => {
   if (hasWidget(widgets, Completion)) {
     return editor;
   }
-  const completionWidget = create$4();
+  const completionWidget = create$5();
   const newWidgets = [...widgets, completionWidget];
   const newEditor = {
     ...editor,
@@ -5009,8 +5046,8 @@ const User = 1;
 const Script = 2;
 const Unknown$1 = 0;
 
-const create$3 = () => {
-  const uid = create$6();
+const create$4 = () => {
+  const uid = create$7();
   const widget = {
     id: Find,
     oldState: {
@@ -5415,13 +5452,92 @@ const openFind2 = async editor => {
     return latestState;
   };
   const fullFocus = true;
-  return addWidgetToEditor(Find, FindWidget, editor, create$3, newStateGenerator, fullFocus);
+  return addWidgetToEditor(Find, FindWidget, editor, create$4, newStateGenerator, fullFocus);
 };
 
 const openFind = async state => {
   return openFind2(state);
 };
 
+const getRenamePosition = editor => {
+  const width = 300;
+  const height = 30;
+  const paddingTop = 10;
+  const cursor = getPositionAtCursor(editor);
+  const x = cursor.x;
+  const y = cursor.y + paddingTop;
+  return {
+    y,
+    x,
+    width,
+    height
+  };
+};
+
+const create$3 = () => {
+  const completionUid = create$7();
+  const renameWidget = {
+    id: Rename,
+    oldState: {
+      uid: completionUid,
+      focusedIndex: -1,
+      oldValue: '',
+      newValue: '',
+      focused: false,
+      x: 0,
+      y: 0,
+      width: 0,
+      height: 0
+    },
+    newState: {
+      uid: completionUid,
+      focusedIndex: -1,
+      oldValue: '',
+      newValue: '',
+      focused: true,
+      x: 0,
+      y: 0,
+      width: 0,
+      height: 0
+    }
+  };
+  return renameWidget;
+};
+
+const openRename = async editor => {
+  const {
+    rowIndex,
+    columnIndex
+  } = getPositionAtCursor(editor);
+  const {
+    word
+  } = getWordAt(editor, rowIndex, columnIndex);
+  if (!word) {
+    return editor;
+  }
+  const newStateGenerator = async state => {
+    // TODO query if can rename from extension host
+    const {
+      x,
+      y,
+      width,
+      height
+    } = getRenamePosition(editor);
+    const latestState = {
+      ...state,
+      x,
+      y,
+      width,
+      height,
+      oldValue: word,
+      newValue: word
+    };
+    return latestState;
+  };
+  const fullFocus = true;
+  return addWidgetToEditor(Rename, undefined, editor, create$3, newStateGenerator, fullFocus);
+};
+
 const organizeImports = async editor => {
   // TODO ask extension host worker directly
   const edits = await invoke$3('ExtensionHostOrganizeImports.organizeImports', editor);
@@ -6308,7 +6424,7 @@ const showHover = async state => {
 };
 
 const create$2 = () => {
-  const uid = create$6();
+  const uid = create$7();
   const widget = {
     id: Hover,
     oldState: {
@@ -6361,7 +6477,7 @@ const getHover = async (editor, offset) => {
 
 let _ipc;
 const listen$5 = async () => {
-  const ipc = await create$8({
+  const ipc = await create$9({
     method: RendererProcess
   });
   handleIpc(ipc);
@@ -6580,42 +6696,51 @@ const showHover2 = async editor => {
   return addWidgetToEditor(Hover, FocusEditorHover, editor, create$2, newStateGenerator);
 };
 
-const EditorSourceActions = 'EditorSourceActions';
-const showSourceActions$1 = async editor => {
-  // TODO
-  // 1. hide hover, completions, color picker
-  // 2. query source actions from extension host
-  // 3. show source actions menu
-
-  await invoke$3('Viewlet.openWidget', EditorSourceActions);
-  return editor;
-};
-
-// TODO maybe ask extension host worker instead
+// TODO ask extension host worker instead
 const getEditorSourceActions = async () => {
   const sourceActions = await invoke$3('GetEditorSourceActions.getEditorSourceActions');
   return sourceActions;
 };
 
-const loadSourceActions = async (editorUid, state) => {
+const getSourceActionWidgetPosition = editor => {
+  const width = 300;
+  const height = 150;
+  const cursor = getPositionAtCursor(editor);
+  const x = cursor.x;
+  const y = cursor.y;
+  return {
+    x,
+    y,
+    width,
+    height
+  };
+};
+
+const loadSourceActions = async (editor, state) => {
   // const editor = GetEditor.getEditor(editorUid)
   // TODO request source actions information from extensions
   const sourceActions = await getEditorSourceActions();
   // TODO avoid side effect
+  const {
+    x,
+    y,
+    width,
+    height
+  } = getSourceActionWidgetPosition(editor);
   return {
     ...state,
     sourceActions,
-    x: 200,
-    y: -200,
-    width: 250,
-    height: 150,
+    x,
+    y,
+    width,
+    height,
     maxHeight: 150,
     focusedIndex: 0
   };
 };
 
 const create$1 = () => {
-  const completionUid = create$6();
+  const completionUid = create$7();
   const widget = {
     id: SourceAction,
     oldState: {
@@ -6643,9 +6768,8 @@ const create$1 = () => {
 };
 
 const showSourceActions = async editor => {
-  const uid = editor.uid;
   const newStateGenerator = state => {
-    return loadSourceActions(uid, state);
+    return loadSourceActions(editor, state);
   };
   return addWidgetToEditor(SourceAction, SourceActions, editor, create$1, newStateGenerator);
 };
@@ -7525,7 +7649,7 @@ const handelWheel = (state, deltaMode, deltaY) => {
 };
 
 const create = () => {
-  const completionUid = create$6();
+  const completionUid = create$7();
   const completionWidget = {
     id: CompletionDetail$1,
     oldState: {
@@ -7755,6 +7879,7 @@ const Viewlet = 'Viewlet';
 
 const Button = 1;
 const Div = 4;
+const Input = 6;
 const Span = 8;
 const Text = 12;
 const Img = 17;
@@ -7869,7 +7994,7 @@ const renderHoverDom = {
     return [/* method */'Viewlet.setDom2', dom];
   }
 };
-const renderBounds$5 = {
+const renderBounds$6 = {
   isEqual(oldState, newState) {
     return oldState.x === newState.x && oldState.y === newState.y;
   },
@@ -7883,10 +8008,10 @@ const renderBounds$5 = {
     return [SetBounds, x, y, renderWidth, height];
   }
 };
-const render$c = [renderHoverDom, renderBounds$5];
+const render$e = [renderHoverDom, renderBounds$6];
 const renderHover = (oldState, newState) => {
   const commands = [];
-  for (const item of render$c) {
+  for (const item of render$e) {
     if (!item.isEqual(oldState, newState)) {
       commands.push(item.apply(oldState, newState));
     }
@@ -8801,7 +8926,7 @@ const renderScrollBarX = {
     return [/* method */'setScrollBarHorizontal', /* scrollBarX */scrollBarX, /* scrollBarWidth */scrollBarWidth, /* deltaX */newState.deltaX];
   }
 };
-const renderFocus$1 = {
+const renderFocus$2 = {
   isEqual(oldState, newState) {
     return oldState.focused === newState.focused;
   },
@@ -8899,7 +9024,7 @@ const renderWidgets = {
   },
   multiple: true
 };
-const render$b = [renderLines, renderSelections, renderScrollBarX, renderScrollBarY, renderFocus$1, renderDecorations, renderGutterInfo, renderWidgets];
+const render$d = [renderLines, renderSelections, renderScrollBarX, renderScrollBarY, renderFocus$2, renderDecorations, renderGutterInfo, renderWidgets];
 const renderEditor = async id => {
   const instance = get$6(id);
   if (!instance) {
@@ -8911,7 +9036,7 @@ const renderEditor = async id => {
   } = instance;
   const commands = [];
   set$6(id, newState, newState);
-  for (const item of render$b) {
+  for (const item of render$d) {
     if (!item.isEqual(oldState, newState)) {
       const result = await item.apply(oldState, newState);
       // @ts-ignore
@@ -9009,12 +9134,12 @@ const commandMap = {
   'ColorPicker.loadContent': loadContent$3,
   'Editor.addCursorAbove': addCursorAbove,
   'Editor.addCursorBelow': addCursorBelow,
-  'Editor.handleTab': handleTab,
   'Editor.applyEdit': applyEdit,
   'Editor.braceCompletion': braceCompletion,
   'Editor.cancelSelection': cancelSelection,
   'Editor.closeCompletion': closeCompletion,
   'Editor.closeFind': closeFind,
+  'Editor.closeRename': closeRename,
   'Editor.closeSourceAction': closeSourceAction,
   'Editor.compositionEnd': compositionEnd,
   'Editor.compositionStart': compositionStart,
@@ -9077,6 +9202,7 @@ const commandMap = {
   'Editor.handleScrollBarVerticalPointerDown': handleScrollBarPointerDown,
   'Editor.handleScrollBarVerticalPointerMove': handleScrollBarVerticalPointerMove,
   'Editor.handleSingleClick': handleSingleClick,
+  'Editor.handleTab': handleTab,
   'Editor.handleTouchEnd': handleTouchEnd,
   'Editor.handleTouchMove': handleTouchMove,
   'Editor.handleTouchStart': handleTouchStart,
@@ -9095,6 +9221,7 @@ const commandMap = {
   'Editor.openCompletion': openCompletion,
   'Editor.openFind': openFind,
   'Editor.openFind2': openFind2,
+  'Editor.openRename': openRename,
   'Editor.organizeImports': organizeImports,
   'Editor.paste': paste,
   'Editor.pasteText': pasteText,
@@ -9124,7 +9251,7 @@ const commandMap = {
   'Editor.setSelections': setSelections,
   'Editor.showHover': showHover,
   'Editor.showHover2': showHover2,
-  'Editor.showSourceActions': showSourceActions$1,
+  'Editor.showSourceActions': showSourceActions,
   'Editor.showSourceActions2': showSourceActions,
   'Editor.sortLinesAscending': sortLinesAscending,
   'Editor.tabCompletion': tabCompletion,
@@ -9173,8 +9300,8 @@ const commandMap = {
   'FindWidget.handleReplaceInput': handleReplaceInput,
   'FindWidget.handleToggleReplaceFocus': handleToggleReplaceFocus,
   'FindWidget.loadContent': loadContent$1,
-  'FindWidget.toggleReplace': toggleReplace,
   'FindWidget.replaceAll': replaceAll$1,
+  'FindWidget.toggleReplace': toggleReplace,
   'Font.ensure': ensure,
   'Hover.getHoverInfo': getEditorHoverInfo,
   'Hover.handleSashPointerDown': handleSashPointerDown,
@@ -9680,7 +9807,9 @@ const addWidget = (widget, id, render) => {
   allCommands.push(['Viewlet.createFunctionalRoot', id, uid]);
   allCommands.push(...commands);
   allCommands.push(['Viewlet.send', uid, 'appendWidget']);
-  const focusCommandIndex = allCommands.findIndex(command => command[2] === 'focus');
+  const focusCommandIndex = allCommands.findIndex(command => {
+    return command[2] === 'focus' || command[0] === 'Viewlet.focusSelector';
+  });
   // TODO have separate rendering functions, e.g.
   // 1. renderDom
   // 2. renderAriaAnnouncement
@@ -9747,7 +9876,7 @@ const renderOffsetX = {
     return [/* method */SetOffsetX, /* offsetX */newState.offsetX];
   }
 };
-const renderContent$1 = {
+const renderContent$2 = {
   isEqual(oldState, newState) {
     return oldState.x === newState.x && oldState.y === newState.y && oldState.min === newState.min && oldState.max === newState.max;
   },
@@ -9756,7 +9885,7 @@ const renderContent$1 = {
     return ['Viewlet.setDom2', newState.uid, dom];
   }
 };
-const renderBounds$4 = {
+const renderBounds$5 = {
   isEqual(oldState, newState) {
     return oldState.x === newState.x && oldState.y === newState.y && oldState.width === newState.width && oldState.height === newState.height;
   },
@@ -9770,10 +9899,10 @@ const renderBounds$4 = {
     return [/* method */SetBounds, /* x */x, /* y */y, /* width */width, /* height */height];
   }
 };
-const render$a = [renderContent$1, renderBounds$4, renderColor, renderOffsetX];
-const renderFull$1 = (oldState, newState) => {
+const render$c = [renderContent$2, renderBounds$5, renderColor, renderOffsetX];
+const renderFull$2 = (oldState, newState) => {
   const commands = [];
-  for (const item of render$a) {
+  for (const item of render$c) {
     if (!item.isEqual(oldState, newState)) {
       commands.push(item.apply(oldState, newState));
     }
@@ -9786,8 +9915,8 @@ const removeWidget = widget => {
   return [['Viewlet.send', widget.newState.uid, 'dispose']];
 };
 
-const render$9 = widget => {
-  const commands = renderFull$1(widget.oldState, widget.newState);
+const render$b = widget => {
+  const commands = renderFull$2(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const uid = widget.newState.uid;
   for (const command of commands) {
@@ -9799,10 +9928,10 @@ const render$9 = widget => {
   }
   return wrappedCommands;
 };
-const add$5 = widget => {
-  return addWidget(widget, 'ColorPicker', render$9);
+const add$6 = widget => {
+  return addWidget(widget, 'ColorPicker', render$b);
 };
-const remove$5 = removeWidget;
+const remove$6 = removeWidget;
 const Commands$1 = {
   'ColorPicker.handleSliderPointerDown': handleSliderPointerDown,
   'ColorPicker.handleSliderPointerMove': handleSliderPointerMove
@@ -9811,9 +9940,9 @@ const Commands$1 = {
 const EditorColorPickerWidget = {
   __proto__: null,
   Commands: Commands$1,
-  add: add$5,
-  remove: remove$5,
-  render: render$9
+  add: add$6,
+  remove: remove$6,
+  render: render$b
 };
 
 const getCompletionDetailVirtualDom = content => {
@@ -9848,7 +9977,7 @@ const renderParts = (render, oldState, newState) => {
   return commands;
 };
 
-const renderContent = {
+const renderContent$1 = {
   isEqual(oldState, newState) {
     return oldState.content === newState.content;
   },
@@ -9857,7 +9986,7 @@ const renderContent = {
     return ['Viewlet.setDom2', newState.uid, dom];
   }
 };
-const renderBounds$3 = {
+const renderBounds$4 = {
   isEqual(oldState, newState) {
     return oldState.x === newState.x && oldState.y === newState.y && oldState.width === newState.width && oldState.height === newState.height;
   },
@@ -9871,29 +10000,13 @@ const renderBounds$3 = {
     return [/* method */SetBounds, /* x */x, /* y */y, /* width */width, /* height */height];
   }
 };
-const render$8 = [renderContent, renderBounds$3];
-const renderFull = (oldState, newState) => {
-  return renderParts(render$8, oldState, newState);
-};
-
-const getPositionAtCursor = editor => {
-  const {
-    selections
-  } = editor;
-  const rowIndex = selections[0];
-  const columnIndex = selections[1];
-  const x$1 = x(editor, rowIndex, columnIndex);
-  const y$1 = y(editor, rowIndex);
-  return {
-    x: x$1,
-    y: y$1,
-    rowIndex,
-    columnIndex
-  };
+const render$a = [renderContent$1, renderBounds$4];
+const renderFull$1 = (oldState, newState) => {
+  return renderParts(render$a, oldState, newState);
 };
 
-const render$7 = widget => {
-  const commands = renderFull(widget.oldState, widget.newState);
+const render$9 = widget => {
+  const commands = renderFull$1(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const uid = widget.newState.uid;
   for (const command of commands) {
@@ -9905,10 +10018,10 @@ const render$7 = widget => {
   }
   return wrappedCommands;
 };
-const add$4 = widget => {
-  return addWidget(widget, 'EditorCompletionDetails', render$7);
+const add$5 = widget => {
+  return addWidget(widget, 'EditorCompletionDetails', render$9);
 };
-const remove$4 = removeWidget;
+const remove$5 = removeWidget;
 const handleEditorType$1 = (editor, state) => {
   const completionState = getCompletionState(editor);
   if (!completionState) {
@@ -9940,11 +10053,11 @@ const handleEditorDeleteLeft$1 = (editor, state) => {
 
 const EditorCompletionDetailWidget = {
   __proto__: null,
-  add: add$4,
+  add: add$5,
   handleEditorDeleteLeft: handleEditorDeleteLeft$1,
   handleEditorType: handleEditorType$1,
-  remove: remove$4,
-  render: render$7
+  remove: remove$5,
+  render: render$9
 };
 
 const CheckBox = 'checkbox';
@@ -10149,7 +10262,7 @@ const renderItems = {
     return ['setDom', dom];
   }
 };
-const renderBounds$2 = {
+const renderBounds$3 = {
   isEqual(oldState, newState) {
     return oldState.items === newState.items && oldState.minLineY === newState.minLineY && oldState.maxLineY === newState.maxLineY && oldState.x === newState.x && oldState.y === newState.y;
   },
@@ -10195,10 +10308,10 @@ const renderScrollBar = {
     return [/* method */SetScrollBar, /* scrollBarY */scrollBarY, /* scrollBarHeight */scrollBarHeight];
   }
 };
-const render$6 = [renderItems, renderBounds$2, renderHeight, renderNegativeMargin, renderScrollBar];
+const render$8 = [renderItems, renderBounds$3, renderHeight, renderNegativeMargin, renderScrollBar];
 const renderCompletion = (oldState, newState) => {
   const commands = [];
-  for (const item of render$6) {
+  for (const item of render$8) {
     if (!item.isEqual(oldState, newState)) {
       commands.push(item.apply(oldState, newState));
     }
@@ -10206,7 +10319,7 @@ const renderCompletion = (oldState, newState) => {
   return commands;
 };
 
-const render$5 = widget => {
+const render$7 = widget => {
   const commands = renderCompletion(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const uid = widget.newState.uid;
@@ -10215,8 +10328,8 @@ const render$5 = widget => {
   }
   return wrappedCommands;
 };
-const add$3 = widget => {
-  const commands = render$5(widget);
+const add$4 = widget => {
+  const commands = render$7(widget);
   const id = 'EditorCompletion';
   // TODO how to generate a unique integer id
   // that doesn't collide with ids created in renderer worker?
@@ -10226,7 +10339,7 @@ const add$3 = widget => {
   allCommands.push(...commands);
   return allCommands;
 };
-const remove$3 = removeWidget;
+const remove$4 = removeWidget;
 const handleEditorType = (editor, state) => {
   const {
     unfilteredItems,
@@ -10289,11 +10402,11 @@ const handleEditorDeleteLeft = (editor, state) => {
 
 const EditorCompletionWidget = {
   __proto__: null,
-  add: add$3,
+  add: add$4,
   handleEditorDeleteLeft,
   handleEditorType,
-  remove: remove$3,
-  render: render$5
+  remove: remove$4,
+  render: render$7
 };
 
 /**
@@ -10596,7 +10709,7 @@ const renderDetails = {
     return ['Viewlet.setDom2', dom];
   }
 };
-const renderBounds$1 = {
+const renderBounds$2 = {
   isEqual(oldState, newState) {
     return oldState.x === newState.x && oldState.y === newState.y && oldState.width === newState.width && oldState.height === newState.height;
   },
@@ -10610,7 +10723,7 @@ const renderBounds$1 = {
     return [/* method */SetBounds, /* x */x, /* y */y, /* width */width, /* height */height];
   }
 };
-const renderFocus = {
+const renderFocus$1 = {
   isEqual(oldState, newState) {
     return oldState.focused === newState.focused && oldState.focus === newState.focus && oldState.focusSource === newState.focusSource;
   },
@@ -10639,16 +10752,16 @@ const renderFocus = {
 //   },
 // }
 
-const render$4 = [renderDetails, renderBounds$1, renderValue, renderFocus];
+const render$6 = [renderDetails, renderBounds$2, renderValue, renderFocus$1];
 const apply = (oldState, newState) => {
   // TODO avoid side effect
   if (oldState.focus !== newState.focus) {
     setFocus(newState.focus);
   }
-  return renderParts(render$4, oldState, newState);
+  return renderParts(render$6, oldState, newState);
 };
 
-const render$3 = widget => {
+const render$5 = widget => {
   const commands = apply(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const uid = widget.newState.uid;
@@ -10661,10 +10774,10 @@ const render$3 = widget => {
   }
   return wrappedCommands;
 };
-const add$2 = widget => {
-  return addWidget(widget, 'FindWidget', render$3);
+const add$3 = widget => {
+  return addWidget(widget, 'FindWidget', render$5);
 };
-const remove$2 = removeWidget;
+const remove$3 = removeWidget;
 const Commands = {
   'FindWidget.close': close$1,
   'FindWidget.focusNext': focusNext$1,
@@ -10679,18 +10792,94 @@ const Commands = {
 const EditorFindWidget = {
   __proto__: null,
   Commands,
+  add: add$3,
+  remove: remove$3,
+  render: render$5
+};
+
+const render$4 = widget => {
+  const commands = renderHover(widget.oldState, widget.newState);
+  const wrappedCommands = [];
+  const uid = widget.newState.uid;
+  for (const command of commands) {
+    if (command[0] === 'Viewlet.setDom2') {
+      wrappedCommands.push([command[0], uid, ...command.slice(1)]);
+    } else {
+      wrappedCommands.push(['Viewlet.send', uid, ...command]);
+    }
+  }
+  return wrappedCommands;
+};
+const add$2 = widget => {
+  return addWidget(widget, 'EditorHover', render$4);
+};
+const remove$2 = removeWidget;
+
+const EditorHoverWidget = {
+  __proto__: null,
   add: add$2,
   remove: remove$2,
-  render: render$3
+  render: render$4
+};
+
+const getRenameVirtualDom = state => {
+  return [{
+    type: Div,
+    className: 'Viewlet EditorRename',
+    childCount: 1
+  }, {
+    type: Input,
+    className: 'InputBox RenameInputBox',
+    value: state.newValue,
+    childCount: 0
+  }];
+};
+
+const renderContent = {
+  isEqual(oldState, newState) {
+    return false;
+  },
+  apply(oldState, newState) {
+    const dom = getRenameVirtualDom(newState);
+    return ['Viewlet.setDom2', newState.uid, dom];
+  }
+};
+const renderBounds$1 = {
+  isEqual(oldState, newState) {
+    return oldState.x === newState.x && oldState.y === newState.y && oldState.width === newState.width && oldState.height === newState.height;
+  },
+  apply(oldState, newState) {
+    const {
+      x,
+      y,
+      width,
+      height
+    } = newState;
+    return [/* method */SetBounds, /* x */x, /* y */y, /* width */width, /* height */height];
+  }
+};
+const renderFocus = {
+  isEqual(oldState, newState) {
+    return oldState.focused === newState.focused;
+  },
+  apply(oldState, newState) {
+    return [/* method */'Viewlet.focusSelector', newState.uid, '.RenameInputBox'];
+  }
+};
+const render$3 = [renderContent, renderBounds$1, renderFocus];
+const renderFull = (oldState, newState) => {
+  return renderParts(render$3, oldState, newState);
 };
 
 const render$2 = widget => {
-  const commands = renderHover(widget.oldState, widget.newState);
+  const commands = renderFull(widget.oldState, widget.newState);
   const wrappedCommands = [];
   const uid = widget.newState.uid;
   for (const command of commands) {
     if (command[0] === 'Viewlet.setDom2') {
-      wrappedCommands.push([command[0], uid, ...command.slice(1)]);
+      wrappedCommands.push(command);
+    } else if (command[0] === 'Viewlet.focusSelector') {
+      wrappedCommands.push(command);
     } else {
       wrappedCommands.push(['Viewlet.send', uid, ...command]);
     }
@@ -10698,11 +10887,11 @@ const render$2 = widget => {
   return wrappedCommands;
 };
 const add$1 = widget => {
-  return addWidget(widget, 'EditorHover', render$2);
+  return addWidget(widget, 'EditorRename', render$2);
 };
 const remove$1 = removeWidget;
 
-const EditorHoverWidget = {
+const EditorRenameWidget = {
   __proto__: null,
   add: add$1,
   remove: remove$1,
@@ -10824,6 +11013,7 @@ const registerWidgets = () => {
   set$7(CompletionDetail$1, EditorCompletionDetailWidget);
   set$7(Find, EditorFindWidget);
   set$7(Hover, EditorHoverWidget);
+  set$7(Rename, EditorRenameWidget);
   set$7(SourceAction, EditorSourceActionWidget);
 };