@codingame/monaco-vscode-katex-common 25.1.1 → 26.0.0

package/vscode/src/vs/workbench/contrib/notebook/browser/controller/cellOperations.js

@@ -1,594 +0,0 @@
-
-import { ResourceTextEdit } from '@codingame/monaco-vscode-api/vscode/vs/editor/browser/services/bulkEditService';
-import { Position } from '@codingame/monaco-vscode-api/vscode/vs/editor/common/core/position';
-import { Range } from '@codingame/monaco-vscode-api/vscode/vs/editor/common/core/range';
-import { EndOfLinePreference } from '@codingame/monaco-vscode-api/vscode/vs/editor/common/model';
-import { PLAINTEXT_LANGUAGE_ID } from '@codingame/monaco-vscode-api/vscode/vs/editor/common/languages/modesRegistry';
-import { ResourceNotebookCellEdit } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/bulkEdit/browser/bulkCellEdits';
-import { CellEditState, expandCellRangesWithHiddenCells, CellFocusMode } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/notebookBrowser';
-import { cloneNotebookCellTextModel } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/common/model/notebookCellTextModel';
-import { CellEditType, SelectionStateType, CellKind } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/common/notebookCommon';
-import { cellRangeContains, cellRangesToIndexes } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/common/notebookRange';
-import { localize } from '@codingame/monaco-vscode-api/vscode/vs/nls';
-
-async function changeCellToKind(kind, context, language, mime) {
-    const { notebookEditor } = context;
-    if (!notebookEditor.hasModel()) {
-        return;
-    }
-    if (notebookEditor.isReadOnly) {
-        return;
-    }
-    if (context.ui && context.cell) {
-        const { cell } = context;
-        if (cell.cellKind === kind) {
-            return;
-        }
-        const text = cell.getText();
-        const idx = notebookEditor.getCellIndex(cell);
-        if (language === undefined) {
-            const availableLanguages = notebookEditor.activeKernel?.supportedLanguages ?? [];
-            language = availableLanguages[0] ?? PLAINTEXT_LANGUAGE_ID;
-        }
-        notebookEditor.textModel.applyEdits([
-            {
-                editType: CellEditType.Replace,
-                index: idx,
-                count: 1,
-                cells: [{
-                        cellKind: kind,
-                        source: text,
-                        language: language,
-                        mime: mime ?? cell.mime,
-                        outputs: cell.model.outputs,
-                        metadata: cell.metadata,
-                    }]
-            }
-        ], true, {
-            kind: SelectionStateType.Index,
-            focus: notebookEditor.getFocus(),
-            selections: notebookEditor.getSelections()
-        }, () => {
-            return {
-                kind: SelectionStateType.Index,
-                focus: notebookEditor.getFocus(),
-                selections: notebookEditor.getSelections()
-            };
-        }, undefined, true);
-        const newCell = notebookEditor.cellAt(idx);
-        await notebookEditor.focusNotebookCell(newCell, cell.getEditState() === CellEditState.Editing ? 'editor' : 'container');
-    }
-    else if (context.selectedCells) {
-        const selectedCells = context.selectedCells;
-        const rawEdits = [];
-        selectedCells.forEach(cell => {
-            if (cell.cellKind === kind) {
-                return;
-            }
-            const text = cell.getText();
-            const idx = notebookEditor.getCellIndex(cell);
-            if (language === undefined) {
-                const availableLanguages = notebookEditor.activeKernel?.supportedLanguages ?? [];
-                language = availableLanguages[0] ?? PLAINTEXT_LANGUAGE_ID;
-            }
-            rawEdits.push({
-                editType: CellEditType.Replace,
-                index: idx,
-                count: 1,
-                cells: [{
-                        cellKind: kind,
-                        source: text,
-                        language: language,
-                        mime: mime ?? cell.mime,
-                        outputs: cell.model.outputs,
-                        metadata: cell.metadata,
-                    }]
-            });
-        });
-        notebookEditor.textModel.applyEdits(rawEdits, true, {
-            kind: SelectionStateType.Index,
-            focus: notebookEditor.getFocus(),
-            selections: notebookEditor.getSelections()
-        }, () => {
-            return {
-                kind: SelectionStateType.Index,
-                focus: notebookEditor.getFocus(),
-                selections: notebookEditor.getSelections()
-            };
-        }, undefined, true);
-    }
-}
-function runDeleteAction(editor, cell) {
-    const textModel = editor.textModel;
-    const selections = editor.getSelections();
-    const targetCellIndex = editor.getCellIndex(cell);
-    const containingSelection = selections.find(selection => selection.start <= targetCellIndex && targetCellIndex < selection.end);
-    const computeUndoRedo = !editor.isReadOnly || textModel.viewType === 'interactive';
-    if (containingSelection) {
-        const edits = ( selections.reverse().map(selection => ({
-            editType: CellEditType.Replace, index: selection.start, count: selection.end - selection.start, cells: []
-        })));
-        const nextCellAfterContainingSelection = containingSelection.end >= editor.getLength() ? undefined : editor.cellAt(containingSelection.end);
-        textModel.applyEdits(edits, true, { kind: SelectionStateType.Index, focus: editor.getFocus(), selections: editor.getSelections() }, () => {
-            if (nextCellAfterContainingSelection) {
-                const cellIndex = textModel.cells.findIndex(cell => cell.handle === nextCellAfterContainingSelection.handle);
-                return { kind: SelectionStateType.Index, focus: { start: cellIndex, end: cellIndex + 1 }, selections: [{ start: cellIndex, end: cellIndex + 1 }] };
-            }
-            else {
-                if (textModel.length) {
-                    const lastCellIndex = textModel.length - 1;
-                    return { kind: SelectionStateType.Index, focus: { start: lastCellIndex, end: lastCellIndex + 1 }, selections: [{ start: lastCellIndex, end: lastCellIndex + 1 }] };
-                }
-                else {
-                    return { kind: SelectionStateType.Index, focus: { start: 0, end: 0 }, selections: [{ start: 0, end: 0 }] };
-                }
-            }
-        }, undefined, computeUndoRedo);
-    }
-    else {
-        const focus = editor.getFocus();
-        const edits = [{
-                editType: CellEditType.Replace, index: targetCellIndex, count: 1, cells: []
-            }];
-        const finalSelections = [];
-        for (let i = 0; i < selections.length; i++) {
-            const selection = selections[i];
-            if (selection.end <= targetCellIndex) {
-                finalSelections.push(selection);
-            }
-            else if (selection.start > targetCellIndex) {
-                finalSelections.push({ start: selection.start - 1, end: selection.end - 1 });
-            }
-            else {
-                finalSelections.push({ start: targetCellIndex, end: targetCellIndex + 1 });
-            }
-        }
-        if (editor.cellAt(focus.start) === cell) {
-            const newFocus = focus.end === textModel.length ? { start: focus.start - 1, end: focus.end - 1 } : focus;
-            textModel.applyEdits(edits, true, { kind: SelectionStateType.Index, focus: editor.getFocus(), selections: editor.getSelections() }, () => ({
-                kind: SelectionStateType.Index, focus: newFocus, selections: finalSelections
-            }), undefined, computeUndoRedo);
-        }
-        else {
-            const newFocus = focus.start > targetCellIndex ? { start: focus.start - 1, end: focus.end - 1 } : focus;
-            textModel.applyEdits(edits, true, { kind: SelectionStateType.Index, focus: editor.getFocus(), selections: editor.getSelections() }, () => ({
-                kind: SelectionStateType.Index, focus: newFocus, selections: finalSelections
-            }), undefined, computeUndoRedo);
-        }
-    }
-}
-async function moveCellRange(context, direction) {
-    if (!context.notebookEditor.hasModel()) {
-        return;
-    }
-    const editor = context.notebookEditor;
-    const textModel = editor.textModel;
-    if (editor.isReadOnly) {
-        return;
-    }
-    let range = undefined;
-    if (context.cell) {
-        const idx = editor.getCellIndex(context.cell);
-        range = { start: idx, end: idx + 1 };
-    }
-    else {
-        const selections = editor.getSelections();
-        const modelRanges = expandCellRangesWithHiddenCells(editor, selections);
-        range = modelRanges[0];
-    }
-    if (!range || range.start === range.end) {
-        return;
-    }
-    if (direction === 'up') {
-        if (range.start === 0) {
-            return;
-        }
-        const indexAbove = range.start - 1;
-        const finalSelection = { start: range.start - 1, end: range.end - 1 };
-        const focus = context.notebookEditor.getFocus();
-        const newFocus = cellRangeContains(range, focus) ? { start: focus.start - 1, end: focus.end - 1 } : { start: range.start - 1, end: range.start };
-        textModel.applyEdits([
-            {
-                editType: CellEditType.Move,
-                index: indexAbove,
-                length: 1,
-                newIdx: range.end - 1
-            }
-        ], true, {
-            kind: SelectionStateType.Index,
-            focus: editor.getFocus(),
-            selections: editor.getSelections()
-        }, () => ({ kind: SelectionStateType.Index, focus: newFocus, selections: [finalSelection] }), undefined, true);
-        const focusRange = editor.getSelections()[0] ?? editor.getFocus();
-        editor.revealCellRangeInView(focusRange);
-    }
-    else {
-        if (range.end >= textModel.length) {
-            return;
-        }
-        const indexBelow = range.end;
-        const finalSelection = { start: range.start + 1, end: range.end + 1 };
-        const focus = editor.getFocus();
-        const newFocus = cellRangeContains(range, focus) ? { start: focus.start + 1, end: focus.end + 1 } : { start: range.start + 1, end: range.start + 2 };
-        textModel.applyEdits([
-            {
-                editType: CellEditType.Move,
-                index: indexBelow,
-                length: 1,
-                newIdx: range.start
-            }
-        ], true, {
-            kind: SelectionStateType.Index,
-            focus: editor.getFocus(),
-            selections: editor.getSelections()
-        }, () => ({ kind: SelectionStateType.Index, focus: newFocus, selections: [finalSelection] }), undefined, true);
-        const focusRange = editor.getSelections()[0] ?? editor.getFocus();
-        editor.revealCellRangeInView(focusRange);
-    }
-}
-async function copyCellRange(context, direction) {
-    const editor = context.notebookEditor;
-    if (!editor.hasModel()) {
-        return;
-    }
-    const textModel = editor.textModel;
-    if (editor.isReadOnly) {
-        return;
-    }
-    let range = undefined;
-    if (context.ui) {
-        const targetCell = context.cell;
-        const targetCellIndex = editor.getCellIndex(targetCell);
-        range = { start: targetCellIndex, end: targetCellIndex + 1 };
-    }
-    else {
-        const selections = editor.getSelections();
-        const modelRanges = expandCellRangesWithHiddenCells(editor, selections);
-        range = modelRanges[0];
-    }
-    if (!range || range.start === range.end) {
-        return;
-    }
-    if (direction === 'up') {
-        const focus = editor.getFocus();
-        const selections = editor.getSelections();
-        textModel.applyEdits([
-            {
-                editType: CellEditType.Replace,
-                index: range.end,
-                count: 0,
-                cells: ( cellRangesToIndexes([range]).map(index => cloneNotebookCellTextModel(editor.cellAt(index).model)))
-            }
-        ], true, {
-            kind: SelectionStateType.Index,
-            focus: focus,
-            selections: selections
-        }, () => ({ kind: SelectionStateType.Index, focus: focus, selections: selections }), undefined, true);
-    }
-    else {
-        const focus = editor.getFocus();
-        const selections = editor.getSelections();
-        const newCells = ( cellRangesToIndexes([range]).map(index => cloneNotebookCellTextModel(editor.cellAt(index).model)));
-        const countDelta = newCells.length;
-        const newFocus = context.ui ? focus : { start: focus.start + countDelta, end: focus.end + countDelta };
-        const newSelections = context.ui ? selections : [{ start: range.start + countDelta, end: range.end + countDelta }];
-        textModel.applyEdits([
-            {
-                editType: CellEditType.Replace,
-                index: range.end,
-                count: 0,
-                cells: ( cellRangesToIndexes([range]).map(index => cloneNotebookCellTextModel(editor.cellAt(index).model)))
-            }
-        ], true, {
-            kind: SelectionStateType.Index,
-            focus: focus,
-            selections: selections
-        }, () => ({ kind: SelectionStateType.Index, focus: newFocus, selections: newSelections }), undefined, true);
-        const focusRange = editor.getSelections()[0] ?? editor.getFocus();
-        editor.revealCellRangeInView(focusRange);
-    }
-}
-async function joinSelectedCells(bulkEditService, notificationService, context) {
-    const editor = context.notebookEditor;
-    if (editor.isReadOnly) {
-        return;
-    }
-    const edits = [];
-    const cells = [];
-    for (const selection of editor.getSelections()) {
-        cells.push(...editor.getCellsInRange(selection));
-    }
-    if (cells.length <= 1) {
-        return;
-    }
-    const cellKind = cells[0].cellKind;
-    const isSameKind = cells.every(cell => cell.cellKind === cellKind);
-    if (!isSameKind) {
-        const message = ( localize(9348, "Cannot join cells of different kinds"));
-        return notificationService.warn(message);
-    }
-    const firstCell = cells[0];
-    const insertContent = ( cells.map(cell => cell.getText())).join(firstCell.textBuffer.getEOL());
-    const firstSelection = editor.getSelections()[0];
-    edits.push(( new ResourceNotebookCellEdit(editor.textModel.uri, {
-        editType: CellEditType.Replace,
-        index: firstSelection.start,
-        count: firstSelection.end - firstSelection.start,
-        cells: [{
-                cellKind: firstCell.cellKind,
-                source: insertContent,
-                language: firstCell.language,
-                mime: firstCell.mime,
-                outputs: firstCell.model.outputs,
-                metadata: firstCell.metadata,
-            }]
-    })));
-    for (const selection of editor.getSelections().slice(1)) {
-        edits.push(( new ResourceNotebookCellEdit(editor.textModel.uri, {
-            editType: CellEditType.Replace,
-            index: selection.start,
-            count: selection.end - selection.start,
-            cells: []
-        })));
-    }
-    if (edits.length) {
-        await bulkEditService.apply(edits, { quotableLabel: ( localize(9349, "Join Notebook Cells")) });
-    }
-}
-async function joinNotebookCells(editor, range, direction, constraint) {
-    if (editor.isReadOnly) {
-        return null;
-    }
-    const textModel = editor.textModel;
-    const cells = editor.getCellsInRange(range);
-    if (!cells.length) {
-        return null;
-    }
-    if (range.start === 0 && direction === 'above') {
-        return null;
-    }
-    if (range.end === textModel.length && direction === 'below') {
-        return null;
-    }
-    if (direction === 'above') {
-        const above = editor.cellAt(range.start - 1);
-        const insertContent = ( cells.map(cell => (cell.textBuffer.getEOL() ?? '') + cell.getText())).join('');
-        const aboveCellLineCount = above.textBuffer.getLineCount();
-        const aboveCellLastLineEndColumn = above.textBuffer.getLineLength(aboveCellLineCount);
-        return {
-            edits: [
-                ( new ResourceTextEdit(above.uri, { range: ( new Range(
-                    aboveCellLineCount,
-                    aboveCellLastLineEndColumn + 1,
-                    aboveCellLineCount,
-                    aboveCellLastLineEndColumn + 1
-                )), text: insertContent })),
-                ( new ResourceNotebookCellEdit(textModel.uri, {
-                    editType: CellEditType.Replace,
-                    index: range.start,
-                    count: range.end - range.start,
-                    cells: []
-                }))
-            ],
-            cell: above,
-            endFocus: { start: range.start - 1, end: range.start },
-            endSelections: [{ start: range.start - 1, end: range.start }]
-        };
-    }
-    else {
-        const below = editor.cellAt(range.end);
-        const cell = cells[0];
-        const restCells = [...cells.slice(1), below];
-        const insertContent = ( restCells.map(cl => (cl.textBuffer.getEOL() ?? '') + cl.getText())).join('');
-        const cellLineCount = cell.textBuffer.getLineCount();
-        const cellLastLineEndColumn = cell.textBuffer.getLineLength(cellLineCount);
-        return {
-            edits: [
-                ( new ResourceTextEdit(cell.uri, { range: ( new Range(
-                    cellLineCount,
-                    cellLastLineEndColumn + 1,
-                    cellLineCount,
-                    cellLastLineEndColumn + 1
-                )), text: insertContent })),
-                ( new ResourceNotebookCellEdit(textModel.uri, {
-                    editType: CellEditType.Replace,
-                    index: range.start + 1,
-                    count: range.end - range.start,
-                    cells: []
-                }))
-            ],
-            cell,
-            endFocus: { start: range.start, end: range.start + 1 },
-            endSelections: [{ start: range.start, end: range.start + 1 }]
-        };
-    }
-}
-async function joinCellsWithSurrounds(bulkEditService, context, direction) {
-    const editor = context.notebookEditor;
-    const textModel = editor.textModel;
-    const viewModel = editor.getViewModel();
-    let ret = null;
-    if (context.ui) {
-        const focusMode = context.cell.focusMode;
-        const cellIndex = editor.getCellIndex(context.cell);
-        ret = await joinNotebookCells(editor, { start: cellIndex, end: cellIndex + 1 }, direction);
-        if (!ret) {
-            return;
-        }
-        await bulkEditService.apply(ret?.edits, { quotableLabel: 'Join Notebook Cells' });
-        viewModel.updateSelectionsState({ kind: SelectionStateType.Index, focus: ret.endFocus, selections: ret.endSelections });
-        ret.cell.updateEditState(CellEditState.Editing, 'joinCellsWithSurrounds');
-        editor.revealCellRangeInView(editor.getFocus());
-        if (focusMode === CellFocusMode.Editor) {
-            ret.cell.focusMode = CellFocusMode.Editor;
-        }
-    }
-    else {
-        const selections = editor.getSelections();
-        if (!selections.length) {
-            return;
-        }
-        const focus = editor.getFocus();
-        const focusMode = editor.cellAt(focus.start)?.focusMode;
-        const edits = [];
-        let cell = null;
-        const cells = [];
-        for (let i = selections.length - 1; i >= 0; i--) {
-            const selection = selections[i];
-            const containFocus = cellRangeContains(selection, focus);
-            if (selection.end >= textModel.length && direction === 'below'
-                || selection.start === 0 && direction === 'above') {
-                if (containFocus) {
-                    cell = editor.cellAt(focus.start);
-                }
-                cells.push(...editor.getCellsInRange(selection));
-                continue;
-            }
-            const singleRet = await joinNotebookCells(editor, selection, direction);
-            if (!singleRet) {
-                return;
-            }
-            edits.push(...singleRet.edits);
-            cells.push(singleRet.cell);
-            if (containFocus) {
-                cell = singleRet.cell;
-            }
-        }
-        if (!edits.length) {
-            return;
-        }
-        if (!cell || !cells.length) {
-            return;
-        }
-        await bulkEditService.apply(edits, { quotableLabel: 'Join Notebook Cells' });
-        cells.forEach(cell => {
-            cell.updateEditState(CellEditState.Editing, 'joinCellsWithSurrounds');
-        });
-        viewModel.updateSelectionsState({ kind: SelectionStateType.Handle, primary: cell.handle, selections: ( cells.map(cell => cell.handle)) });
-        editor.revealCellRangeInView(editor.getFocus());
-        const newFocusedCell = editor.cellAt(editor.getFocus().start);
-        if (focusMode === CellFocusMode.Editor && newFocusedCell) {
-            newFocusedCell.focusMode = CellFocusMode.Editor;
-        }
-    }
-}
-function _splitPointsToBoundaries(splitPoints, textBuffer) {
-    const boundaries = [];
-    const lineCnt = textBuffer.getLineCount();
-    const getLineLen = (lineNumber) => {
-        return textBuffer.getLineLength(lineNumber);
-    };
-    splitPoints = splitPoints.sort((l, r) => {
-        const lineDiff = l.lineNumber - r.lineNumber;
-        const columnDiff = l.column - r.column;
-        return lineDiff !== 0 ? lineDiff : columnDiff;
-    });
-    for (let sp of splitPoints) {
-        if (getLineLen(sp.lineNumber) + 1 === sp.column && sp.column !== 1  && sp.lineNumber < lineCnt) {
-            sp = ( new Position(sp.lineNumber + 1, 1));
-        }
-        _pushIfAbsent(boundaries, sp);
-    }
-    if (boundaries.length === 0) {
-        return null;
-    }
-    const modelStart = ( new Position(1, 1));
-    const modelEnd = ( new Position(lineCnt, getLineLen(lineCnt) + 1));
-    return [modelStart, ...boundaries, modelEnd];
-}
-function _pushIfAbsent(positions, p) {
-    const last = positions.length > 0 ? positions[positions.length - 1] : undefined;
-    if (!last || last.lineNumber !== p.lineNumber || last.column !== p.column) {
-        positions.push(p);
-    }
-}
-function computeCellLinesContents(cell, splitPoints) {
-    const rangeBoundaries = _splitPointsToBoundaries(splitPoints, cell.textBuffer);
-    if (!rangeBoundaries) {
-        return null;
-    }
-    const newLineModels = [];
-    for (let i = 1; i < rangeBoundaries.length; i++) {
-        const start = rangeBoundaries[i - 1];
-        const end = rangeBoundaries[i];
-        newLineModels.push(cell.textBuffer.getValueInRange(( new Range(start.lineNumber, start.column, end.lineNumber, end.column)), EndOfLinePreference.TextDefined));
-    }
-    return newLineModels;
-}
-function insertCell(languageService, editor, index, type, direction = 'above', initialText = '', ui = false, kernelHistoryService) {
-    const viewModel = editor.getViewModel();
-    const activeKernel = editor.activeKernel;
-    if (viewModel.options.isReadOnly) {
-        return null;
-    }
-    const cell = editor.cellAt(index);
-    const nextIndex = ui ? viewModel.getNextVisibleCellIndex(index) : index + 1;
-    let language;
-    if (type === CellKind.Code) {
-        const supportedLanguages = activeKernel?.supportedLanguages ?? languageService.getRegisteredLanguageIds();
-        const defaultLanguage = supportedLanguages[0] || PLAINTEXT_LANGUAGE_ID;
-        if (cell?.cellKind === CellKind.Code) {
-            language = cell.language;
-        }
-        else if (cell?.cellKind === CellKind.Markup) {
-            const nearestCodeCellIndex = viewModel.nearestCodeCellIndex(index);
-            if (nearestCodeCellIndex > -1) {
-                language = viewModel.cellAt(nearestCodeCellIndex).language;
-            }
-            else {
-                language = defaultLanguage;
-            }
-        }
-        else if (!cell && viewModel.length === 0) {
-            const lastKernels = kernelHistoryService?.getKernels(viewModel.notebookDocument);
-            if (lastKernels?.all.length) {
-                const lastKernel = lastKernels.all[0];
-                language = lastKernel.supportedLanguages[0] || defaultLanguage;
-            }
-            else {
-                language = defaultLanguage;
-            }
-        }
-        else {
-            if (cell === undefined && direction === 'above') {
-                language = viewModel.viewCells.find(cell => cell.cellKind === CellKind.Code)?.language || defaultLanguage;
-            }
-            else {
-                language = defaultLanguage;
-            }
-        }
-        if (!supportedLanguages.includes(language)) {
-            language = defaultLanguage;
-        }
-    }
-    else {
-        language = 'markdown';
-    }
-    const insertIndex = cell ?
-        (direction === 'above' ? index : nextIndex) :
-        index;
-    return insertCellAtIndex(viewModel, insertIndex, initialText, language, type, undefined, [], true);
-}
-function insertCellAtIndex(viewModel, index, source, language, type, metadata, outputs, synchronous, pushUndoStop) {
-    const endSelections = { kind: SelectionStateType.Index, focus: { start: index, end: index + 1 }, selections: [{ start: index, end: index + 1 }] };
-    viewModel.notebookDocument.applyEdits([
-        {
-            editType: CellEditType.Replace,
-            index,
-            count: 0,
-            cells: [
-                {
-                    cellKind: type,
-                    language: language,
-                    mime: undefined,
-                    outputs: outputs,
-                    metadata: metadata,
-                    source: source
-                }
-            ]
-        }
-    ], synchronous, { kind: SelectionStateType.Index, focus: viewModel.getFocus(), selections: viewModel.getSelections() }, () => endSelections, undefined, !viewModel.options.isReadOnly);
-    return viewModel.cellAt(index);
-}
-
-export { changeCellToKind, computeCellLinesContents, copyCellRange, insertCell, insertCellAtIndex, joinCellsWithSurrounds, joinNotebookCells, joinSelectedCells, moveCellRange, runDeleteAction };

package/vscode/src/vs/workbench/contrib/notebook/browser/diff/diffCellEditorOptions.d.ts

@@ -1,8 +0,0 @@
-import { IDiffEditorConstructionOptions } from "@codingame/monaco-vscode-api/vscode/vs/editor/browser/editorBrowser";
-import { IEditorOptions } from "@codingame/monaco-vscode-api/vscode/vs/editor/common/config/editorOptions";
-export declare function getEditorPadding(lineCount: number): {
-    top: number;
-    bottom: number;
-};
-export declare const fixedEditorOptions: IEditorOptions;
-export declare const fixedDiffEditorOptions: IDiffEditorConstructionOptions;

package/vscode/src/vs/workbench/contrib/notebook/browser/diff/diffCellEditorOptions.js

@@ -1,55 +0,0 @@
-
-
-const fixedEditorPaddingSingleLineCells = {
-    top: 24,
-    bottom: 24
-};
-const fixedEditorPadding = {
-    top: 12,
-    bottom: 12
-};
-function getEditorPadding(lineCount) {
-    return lineCount === 1 ? fixedEditorPaddingSingleLineCells : fixedEditorPadding;
-}
-const fixedEditorOptions = {
-    padding: fixedEditorPadding,
-    scrollBeyondLastLine: false,
-    scrollbar: {
-        verticalScrollbarSize: 14,
-        horizontal: 'auto',
-        vertical: 'auto',
-        useShadows: true,
-        verticalHasArrows: false,
-        horizontalHasArrows: false,
-        alwaysConsumeMouseWheel: false,
-    },
-    renderLineHighlightOnlyWhenFocus: true,
-    overviewRulerLanes: 0,
-    overviewRulerBorder: false,
-    selectOnLineNumbers: false,
-    wordWrap: 'off',
-    lineNumbers: 'off',
-    glyphMargin: true,
-    fixedOverflowWidgets: true,
-    minimap: { enabled: false },
-    renderValidationDecorations: 'on',
-    renderLineHighlight: 'none',
-    readOnly: true
-};
-const fixedDiffEditorOptions = {
-    ...fixedEditorOptions,
-    glyphMargin: true,
-    enableSplitViewResizing: false,
-    renderIndicators: true,
-    renderMarginRevertIcon: false,
-    readOnly: false,
-    isInEmbeddedEditor: true,
-    renderOverviewRuler: false,
-    wordWrap: 'off',
-    diffWordWrap: 'off',
-    diffAlgorithm: 'advanced',
-    renderSideBySide: true,
-    useInlineViewWhenSpaceIsLimited: false
-};
-
-export { fixedDiffEditorOptions, fixedEditorOptions, getEditorPadding };