@lvce-editor/server 0.0.26 → 0.0.29

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandGoToDefinition.js

@@ -1,109 +0,0 @@
-import * as Command from '../Command/Command.js'
-import * as Editor from '../Editor/Editor.js'
-import * as ExtensionHostDefinition from '../ExtensionHost/ExtensionHostDefinition.js'
-import * as TextDocument from '../TextDocument/TextDocument.js'
-import * as EditorShowMessage from './EditorCommandShowMessage.js'
-// TODO race condition, check that editor hasn't been closed in the meantime
-
-// TODO in case of error should show message "Definition Error: Cannot ready Property x of undefined"
-
-// TODO show some kind of message maybe ("No Definition found")
-
-// TODO possible to do this with events/state machine instead of promises -> enables canceling operations / concurrent calls
-const getDefinition = async (editor, position) => {
-  const offset = TextDocument.offsetAt(editor, position)
-  const definition = await ExtensionHostDefinition.executeDefinitionProvider(
-    editor,
-    offset
-  )
-  return definition
-}
-
-// TODO there are still race conditions in this function:
-// - when open is called twice, previous dom nodes can either be reused or the previous dom nodes must be disposed
-
-const getDefinitionErrorMessage = (error) => {
-  if (
-    error &&
-    error.message &&
-    error.message.startsWith('Failed to execute definition provider: ')
-  ) {
-    return error.message.replace('Failed to execute definition provider: ', '')
-  }
-  return `${error}`
-}
-
-export const editorGoToDefinition = async (
-  editor,
-  position = editor.cursor,
-  explicit = true
-) => {
-  try {
-    const definition = await getDefinition(editor, position)
-    // TODO if editor is already disposed at this point, do nothing
-    if (!definition) {
-      // TODO show popup that no definition was found
-      // TODO if there was an error, show popup that go to definition resulted in an error
-      return EditorShowMessage.editorShowMessage(
-        editor,
-        position,
-        'No definition found'
-      )
-    }
-    if (
-      typeof definition.uri !== 'string' ||
-      typeof definition.startOffset !== 'number' ||
-      typeof definition.endOffset !== 'number'
-    ) {
-      console.warn('invalid definition result', definition)
-      return editor
-    }
-
-    if (definition.uri === editor.uri) {
-      // TODO set cursor to the definition position
-      const position = TextDocument.positionAt(editor, definition.startOffset)
-      const selectionEdits = [
-        {
-          start: position,
-          end: position,
-        },
-      ]
-      return Editor.scheduleSelections(editor, selectionEdits)
-    }
-    // TODO if definition.file is not of type string, show a popup that definition.file must be of type string
-    // TODO open file and scroll to that position and set cursor to that position
-
-    await Command.execute(
-      /* Main.openUri */ 'Main.openUri',
-      /* uri */ definition.file
-    )
-    return editor
-  } catch (error) {
-    // TODO if editor is already disposed at this point, do nothing
-    if (
-      error &&
-      error.message &&
-      error.message.startsWith(
-        'Failed to execute definition provider: No definition provider found'
-      )
-    ) {
-      const displayErrorMessage = getDefinitionErrorMessage(error)
-      await EditorShowMessage.editorShowMessage(
-        /* editor */ editor,
-        /* position */ position,
-        /* message */ displayErrorMessage
-      )
-      return editor
-    }
-
-    console.error(error)
-
-    const displayErrorMessage = getDefinitionErrorMessage(error)
-    await EditorShowMessage.editorShowMessage(
-      /* editor */ editor,
-      /* position */ position,
-      /* message */ displayErrorMessage
-    )
-    return editor
-  }
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandGoToTypeDefinition.js

@@ -1,119 +0,0 @@
-import * as Command from '../Command/Command.js'
-import * as Editor from '../Editor/Editor.js'
-import * as ExtensionHostTypeDefinition from '../ExtensionHost/ExtensionHostTypeDefinition.js'
-import * as TextDocument from '../TextDocument/TextDocument.js'
-import * as EditorShowMessage from './EditorCommandShowMessage.js'
-
-// TODO duplicate code with editorCommandGoToDefinition
-// TODO race condition, check that editor hasn't been closed in the meantime
-
-// TODO in case of error should show message "Definition Error: Cannot ready Property x of undefined"
-
-// TODO show some kind of message maybe ("No Definition found")
-
-// TODO possible to do this with events/state machine instead of promises -> enables canceling operations / concurrent calls
-const getTypeDefinition = async (editor, position) => {
-  const offset = TextDocument.offsetAt(editor, position)
-  const definition =
-    await ExtensionHostTypeDefinition.executeTypeDefinitionProvider(
-      editor,
-      offset
-    )
-  return definition
-}
-
-// TODO there are still race conditions in this function:
-// - when open is called twice, previous dom nodes can either be reused or the previous dom nodes must be disposed
-
-const getTypeDefinitionErrorMessage = (error) => {
-  if (
-    error &&
-    error.message &&
-    error.message.startsWith('Failed to execute type definition provider: ')
-  ) {
-    return error.message.replace(
-      'Failed to execute type definition provider: ',
-      ''
-    )
-  }
-  return `${error}`
-}
-
-export const editorGoToTypeDefinition = async (
-  editor,
-  position = editor.cursor,
-  explicit = true
-) => {
-  try {
-    const typeDefinition = await getTypeDefinition(editor, position)
-    // TODO if editor is already disposed at this point, do nothing
-    if (!typeDefinition) {
-      // TODO show popup that no definition was found
-      // TODO if there was an error, show popup that go to definition resulted in an error
-      return EditorShowMessage.editorShowMessage(
-        editor,
-        position,
-        'No type definition found'
-      )
-    }
-
-    if (
-      typeof typeDefinition.uri !== 'string' ||
-      typeof typeDefinition.startOffset !== 'number' ||
-      typeof typeDefinition.endOffset !== 'number'
-    ) {
-      console.warn('invalid type definition result', typeDefinition)
-      return editor
-    }
-
-    if (typeDefinition.uri === editor.uri) {
-      // TODO set cursor to the definition position
-      const position = TextDocument.positionAt(
-        editor,
-        typeDefinition.startOffset
-      )
-      const selectionEdits = [
-        {
-          start: position,
-          end: position,
-        },
-      ]
-      return Editor.scheduleSelections(editor, selectionEdits)
-    }
-    // TODO if definition.file is not of type string, show a popup that definition.file must be of type string
-    // TODO open file and scroll to that position and set cursor to that position
-
-    await Command.execute(
-      /* Main.openUri */ 'Main.openUri',
-      /* uri */ typeDefinition.file
-    )
-    return editor
-  } catch (error) {
-    // TODO if editor is already disposed at this point, do nothing
-    if (
-      error &&
-      error.message &&
-      error.message.startsWith(
-        'Failed to execute type definition provider: No type definition provider found'
-      )
-    ) {
-      const displayErrorMessage = getTypeDefinitionErrorMessage(error)
-      await EditorShowMessage.editorShowMessage(
-        /* editor */ editor,
-        /* position */ position,
-        /* message */ displayErrorMessage
-      )
-      return editor
-    }
-
-    console.error(error)
-
-    const displayErrorMessage = getTypeDefinitionErrorMessage(error)
-    await EditorShowMessage.editorShowMessage(
-      /* editor */ editor,
-      /* position */ position,
-      /* message */ displayErrorMessage
-    )
-    return editor
-  }
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandHandleContextMenu.js

@@ -1,10 +0,0 @@
-import * as Command from '../Command/Command.js'
-
-export const editorHandleContextMenu = async (editor, x, y) => {
-  await Command.execute(
-    /* ContextMenu.show */ 'ContextMenu.show',
-    /* x */ x,
-    /* y */ y,
-    /* id */ 'editor'
-  )
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandHandleMouseMove.js

@@ -1,33 +0,0 @@
-import * as ExtensionHostHover from '../ExtensionHost/ExtensionHostHover.js'
-import * as RendererProcess from '../RendererProcess/RendererProcess.js'
-import * as TextDocument from '../TextDocument/TextDocument.js'
-import * as EditorPosition from './EditorCommandPosition.js'
-
-const getHover = async (editor, position) => {
-  const offset = TextDocument.offsetAt(editor, position)
-  const hover = await ExtensionHostHover.executeHoverProvider(editor, offset)
-  return hover
-}
-
-const showHover = async (editor, position) => {
-  const hover = await getHover(editor, position)
-  if (!hover) {
-    console.log('no hover')
-    return
-  }
-
-  RendererProcess.send([
-    /* EditorHover.show */ 6216,
-    /* x */ editor.left + position.columnIndex * editor.columnWidth,
-    /* y */ editor.top + position.rowIndex * editor.rowHeight,
-    /* hover */ hover,
-  ])
-  console.log({ hover })
-}
-
-export const editorHandleMouseMove = (editor, x, y) => {
-  const position = EditorPosition.at(editor, x, y)
-  // console.log(position)
-  // showHover(editor, position)
-  return editor
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandHandleMouseMoveWithAltKey.js

@@ -1,89 +0,0 @@
-import * as EditorPosition from './EditorCommandPosition.js'
-import * as Assert from '../Assert/Assert.js'
-import * as ExtensionHostDefinition from '../ExtensionHost/ExtensionHostDefinition.js'
-import * as TextDocument from '../TextDocument/TextDocument.js'
-import * as RendererProcess from '../RendererProcess/RendererProcess.js'
-
-const getTokenIndex = (tokens, offset) => {
-  let currentOffset = 0
-  for (let i = 0; i < tokens.length; i++) {
-    const token = tokens[i]
-    currentOffset += token.length
-    if (currentOffset >= offset) {
-      return i
-    }
-  }
-  return -1
-}
-
-export const editorHandleMouseMoveWithAltKey = async (editor, x, y, offset) => {
-  Assert.object(editor)
-  Assert.number(x)
-  Assert.number(y)
-  Assert.number(offset)
-  const position = EditorPosition.at(editor, x, y, offset)
-  const documentOffset = TextDocument.offsetAt(editor, position)
-  try {
-    const definition = await ExtensionHostDefinition.executeDefinitionProvider(
-      editor,
-      documentOffset
-    )
-    if (!definition) {
-      return editor
-    }
-
-    // TODO make sure that editor is not disposed
-
-    const definitionStartPosition = TextDocument.positionAt(
-      editor,
-      definition.startOffset
-    )
-    const definitionEndPosition = TextDocument.positionAt(
-      editor,
-      definition.endOffset
-    )
-    const definitionRelativeStartX = definitionStartPosition.columnIndex
-    const definitionRelativeEndX = definitionEndPosition.columnIndex
-    const definitionRelativeY =
-      definitionStartPosition.rowIndex - editor.minLineY
-
-    const lineTokenMap = editor.lineCache[definitionStartPosition.rowIndex + 1]
-    console.log({ tokenMap: lineTokenMap })
-    console.log({
-      lineCache: editor.lineCache,
-      rowIndex: definitionStartPosition.rowIndex,
-    })
-    if (!lineTokenMap) {
-      return editor
-    }
-    const tokenIndex = getTokenIndex(
-      lineTokenMap.tokens,
-      definitionStartPosition.columnIndex
-    )
-    if (tokenIndex === -1) {
-      return editor
-    }
-    console.log({ token: tokenIndex })
-    // .tokens
-    // console.log({ editor })
-    await RendererProcess.invoke(
-      /* Viewlet.invoke */ 'Viewlet.send',
-      /* id */ 'EditorText',
-      /* method */ 'highlightAsLink',
-      /* relativeY */ definitionRelativeY,
-      /* tokenIndex */ tokenIndex
-    )
-    console.log({ definition })
-    return editor
-  } catch (error) {
-    if (
-      error &&
-      error.message.startsWith(
-        'Failed to execute definition provider: No definition provider found'
-      )
-    ) {
-      return editor
-    }
-    throw error
-  }
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandHandleNativeBeforeInputFromContentEditable.js

@@ -1,18 +0,0 @@
-import * as Editor from '../Editor/Editor.js'
-import * as TextDocument from '../TextDocument/TextDocument.js'
-import * as EditorGetSelectionFromNativeRange from './EditorCommandGetSelectionFromNativeRange.js'
-
-export const handleBeforeInputFromContentEditable = (editor, data, range) => {
-  const selection =
-    EditorGetSelectionFromNativeRange.getSelectionFromNativeRange(editor, range)
-  const changes = [
-    {
-      start: selection.start,
-      end: selection.end,
-      inserted: [data],
-      deleted: TextDocument.getSelectionText(editor, selection),
-      origin: 'contentEditableInput',
-    },
-  ]
-  return Editor.scheduleDocumentAndCursorsSelections(editor, changes)
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandHandleNativeSelectionChange.js

@@ -1,9 +0,0 @@
-import * as Editor from '../Editor/Editor.js'
-import * as EditorGetSelectionFromNativeRange from './EditorCommandGetSelectionFromNativeRange.js'
-
-export const editorHandleNativeSelectionChange = (editor, range) => {
-  const selection =
-    EditorGetSelectionFromNativeRange.getSelectionFromNativeRange(editor, range)
-  const selections = [selection]
-  return Editor.scheduleSelections(editor, selections)
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandHandleSingleClick.js

@@ -1,38 +0,0 @@
-import * as EditorCursorSet from './EditorCommandCursorSet.js'
-import * as EditorPosition from './EditorCommandPosition.js'
-import * as EditorMoveSelection from './EditorCommandMoveSelection.js'
-import * as Assert from '../Assert/Assert.js'
-import * as EditorGoToDefinition from './EditorCommandGoToDefinition.js'
-
-export const editorHandleSingleClick = async (
-  editor,
-  modifier,
-  x,
-  y,
-  offset
-) => {
-  Assert.object(editor)
-  Assert.string(modifier)
-  Assert.number(x)
-  Assert.number(y)
-  Assert.number(offset)
-  const position = EditorPosition.at(editor, x, y, offset)
-  if (modifier === 'alt') {
-    // TODO rectangular selection with alt click,
-    // but also go to definition with alt click
-    console.log('alt key pressed')
-    const newEditor = await EditorGoToDefinition.editorGoToDefinition(
-      editor,
-      position,
-      /* explicit */ false
-    )
-    if (editor !== newEditor) {
-      return newEditor
-    }
-  }
-  EditorMoveSelection.state.position = position
-  return EditorCursorSet.editorCursorSet(
-    editor,
-    EditorMoveSelection.state.position
-  )
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandHandleTab.js

@@ -1,49 +0,0 @@
-import * as EditorTabCompletion from './EditorCommandTabCompletion.js'
-import * as EditorType from './EditorCommandType.js'
-import * as EditorIndent from './EditorCommandIndentMore.js'
-
-const isStartEndSame = (selection) => {
-  return selection.start.rowIndex === selection.end.rowIndex
-}
-
-// TODO tab doesn't work well with configurable keybindings
-export const editorHandleTab = async (editor) => {
-  if (editor.selections.every(isStartEndSame)) {
-    console.log('call tab completion')
-    const applied = await EditorTabCompletion.editorTabCompletion(editor)
-    if (applied !== editor) {
-      return applied
-    }
-    // TODO have setting what should be inserted on tab
-    return EditorType.editorType(editor, '  ')
-  }
-  return EditorIndent.editorIndentMore(editor)
-}
-
-// const editor = {
-//   textDocument: {
-//     lines: ['line 1', 'line 2', 'line 3', 'line 4'],
-//   },
-//   cursor: {
-//     rowIndex: 0,
-//     columnIndex: 1,
-//   },
-//   selections: [
-//     {
-//       start: {
-//         rowIndex: 1,
-//         columnIndex: 1,
-//       },
-//       end: {
-//         rowIndex: 2,
-//         columnIndex: 2,
-//       },
-//     },
-//   ],
-// }
-// const main = async () => {
-//   await editorHandleTab(editor)
-//   editor.lines //?
-// }
-
-// main()

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandIndentLess.js

@@ -1,27 +0,0 @@
-import * as Editor from '../Editor/Editor.js'
-
-export const editorIndentLess = (editor) => {
-  const changes = []
-  const rowsToIndentLess = []
-  for (const selection of editor.selections) {
-    for (let i = selection.start.rowIndex; i <= selection.end.rowIndex; i++) {
-      rowsToIndentLess.push(i)
-    }
-  }
-  for (const rowToIndent of rowsToIndentLess) {
-    changes.push({
-      start: {
-        rowIndex: rowToIndent,
-        columnIndex: 0,
-      },
-      end: {
-        rowIndex: rowToIndent,
-        columnIndex: 2,
-      },
-      inserted: [''],
-      deleted: ['  '],
-      origin: 'indentLess',
-    })
-  }
-  return Editor.scheduleDocumentAndCursorsSelections(editor, changes)
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandIndentMore.js

@@ -1,27 +0,0 @@
-import * as Editor from '../Editor/Editor.js'
-
-export const editorIndentMore = (editor) => {
-  const changes = []
-  const rowsToIndent = []
-  for (const selection of editor.selections) {
-    for (let i = selection.start.rowIndex; i <= selection.end.rowIndex; i++) {
-      rowsToIndent.push(i)
-    }
-  }
-  for (const rowToIndent of rowsToIndent) {
-    changes.push({
-      start: {
-        rowIndex: rowToIndent,
-        columnIndex: 0,
-      },
-      end: {
-        rowIndex: rowToIndent,
-        columnIndex: 0,
-      },
-      inserted: ['  '],
-      deleted: [''],
-      origin: 'indentMore',
-    })
-  }
-  return Editor.scheduleDocumentAndCursorsSelections(editor, changes)
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandInsertLineBreak.js

@@ -1,32 +0,0 @@
-import * as Editor from '../Editor/Editor.js'
-import * as TextDocument from '../TextDocument/TextDocument.js'
-
-export const editorInsertLineBreak = (editor) => {
-  const changes = []
-  const lines = editor.lines
-  for (const selection of editor.selections) {
-    if (selection.start === selection.end) {
-      const line = lines[selection.start.rowIndex].slice(
-        0,
-        selection.start.columnIndex
-      )
-      const indent = TextDocument.getIndent(line)
-      changes.push({
-        start: selection.start,
-        end: selection.end,
-        inserted: ['', indent],
-        deleted: TextDocument.getSelectionText(editor, selection),
-        origin: 'insertLineBreak',
-      })
-    } else {
-      changes.push({
-        start: selection.start,
-        end: selection.end,
-        inserted: ['', ''],
-        deleted: TextDocument.getSelectionText(editor, selection),
-        origin: 'insertLineBreak',
-      })
-    }
-  }
-  return Editor.scheduleDocumentAndCursorsSelections(editor, changes)
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandMoveSelection.js

@@ -1,72 +0,0 @@
-import * as Editor from '../Editor/Editor.js'
-
-// TODO not sure where this state should be
-// TODO maybe rename to selection anchor
-export const state = {
-  position: {
-    rowIndex: 0,
-    columnIndex: 0,
-  },
-}
-
-const compare = (positionA, positionB) => {
-  if (positionA.rowIndex > positionB.rowIndex) {
-    return 1
-  }
-  if (positionA.rowIndex === positionB.rowIndex) {
-    if (positionA.columnIndex > positionB.columnIndex) {
-      return 1
-    }
-    if (positionA.columnIndex < positionB.columnIndex) {
-      return -1
-    }
-    return 0
-  }
-  return -1
-}
-
-const editorMoveSelectionBackwards = (editor, anchor, position) => {
-  const selectionEdits = [
-    {
-      start: position,
-      end: anchor,
-    },
-  ]
-  return Editor.scheduleSelections(editor, selectionEdits)
-}
-
-const editorMoveSelectionEqual = (editor, anchor, position) => {
-  const selectionEdits = [
-    {
-      start: position,
-      end: position,
-      type: 1,
-    },
-  ]
-  return Editor.scheduleSelections(editor, selectionEdits)
-}
-
-const editorMoveSelectionForwards = (editor, anchor, position) => {
-  const selectionEdits = [
-    {
-      start: anchor,
-      end: position,
-    },
-  ]
-  return Editor.scheduleSelections(editor, selectionEdits)
-}
-
-export const editorMoveSelection = (editor, position) => {
-  const anchor = state.position
-  // TODO if selection equals previous selection -> do nothing
-  switch (compare(position, anchor)) {
-    case -1:
-      return editorMoveSelectionBackwards(editor, anchor, position)
-    case 0:
-      return editorMoveSelectionEqual(editor, anchor, position)
-    case 1:
-      return editorMoveSelectionForwards(editor, anchor, position)
-    default:
-      break
-  }
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandMoveSelectionPx.js

@@ -1,12 +0,0 @@
-import * as EditorMoveSelection from './EditorCommandMoveSelection.js'
-import * as EditorPosition from './EditorCommandPosition.js'
-import * as Assert from '../Assert/Assert.js'
-
-export const editorMoveSelectionPx = (editor, x, y, offset) => {
-  Assert.object(editor)
-  Assert.number(x)
-  Assert.number(y)
-  Assert.number(offset)
-  const position = EditorPosition.at(editor, x, y, offset)
-  return EditorMoveSelection.editorMoveSelection(editor, position)
-}

package/static/0895dce/packages/renderer-worker/src/parts/EditorCommand/EditorCommandPaste.js

@@ -1,9 +0,0 @@
-import * as Command from '../Command/Command.js'
-import * as EditorPasteText from './EditorCommandPasteText.js'
-import * as Assert from '../Assert/Assert.js'
-
-export const editorPaste = async (editor) => {
-  const text = await Command.execute(/* ClipBoard.readText */ 240)
-  Assert.string(text)
-  return EditorPasteText.editorPasteText(editor, text)
-}