@codingame/monaco-vscode-katex-common 24.1.0

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

@@ -0,0 +1,594 @@
+
+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(9323, "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(9324, "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

@@ -0,0 +1,8 @@
+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

@@ -0,0 +1,55 @@
+
+
+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 };