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

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

@@ -1,567 +0,0 @@
-
-import { registerCss } from '@codingame/monaco-vscode-api/css';
-import { __decorate, __param } from '@codingame/monaco-vscode-api/external/tslib/tslib.es6';
-import * as notebookDiff from './notebookDiff.css';
-import { $, append } from '@codingame/monaco-vscode-api/vscode/vs/base/browser/dom';
-import { createStyleSheet } from '@codingame/monaco-vscode-api/vscode/vs/base/browser/domStylesheets';
-import { MouseController, isMonacoEditor } from '@codingame/monaco-vscode-api/vscode/vs/base/browser/ui/list/listWidget';
-import { DisposableStore } from '@codingame/monaco-vscode-api/vscode/vs/base/common/lifecycle';
-import { IConfigurationService } from '@codingame/monaco-vscode-api/vscode/vs/platform/configuration/common/configuration.service';
-import { IContextKeyService } from '@codingame/monaco-vscode-api/vscode/vs/platform/contextkey/common/contextkey.service';
-import { IInstantiationService } from '@codingame/monaco-vscode-api/vscode/vs/platform/instantiation/common/instantiation';
-import { IKeybindingService } from '@codingame/monaco-vscode-api/vscode/vs/platform/keybinding/common/keybinding.service';
-import { WorkbenchList } from '@codingame/monaco-vscode-api/vscode/vs/platform/list/browser/listService';
-import { IListService } from '@codingame/monaco-vscode-api/vscode/vs/platform/list/browser/listService.service';
-import { IThemeService } from '@codingame/monaco-vscode-api/vscode/vs/platform/theme/common/themeService.service';
-import { DIFF_CELL_MARGIN } from './notebookDiffEditorBrowser.js';
-import { CollapsedCellOverlayWidget, CellDiffPlaceholderElement, UnchangedCellOverlayWidget, NotebookDocumentMetadataElement, InsertElement, DeletedElement, ModifiedElement, getOptimizedNestedCodeEditorWidgetOptions } from './diffComponents.js';
-import { CodeEditorWidget } from '@codingame/monaco-vscode-api/vscode/vs/editor/browser/widget/codeEditor/codeEditorWidget';
-import { DiffEditorWidget } from '@codingame/monaco-vscode-api/vscode/vs/editor/browser/widget/diffEditor/diffEditorWidget';
-import { MenuItemAction } from '@codingame/monaco-vscode-api/vscode/vs/platform/actions/common/actions';
-import { IMenuService } from '@codingame/monaco-vscode-api/vscode/vs/platform/actions/common/actions.service';
-import { IContextMenuService } from '@codingame/monaco-vscode-api/vscode/vs/platform/contextview/browser/contextView.service';
-import { INotificationService } from '@codingame/monaco-vscode-api/vscode/vs/platform/notification/common/notification.service';
-import { CodiconActionViewItem } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/notebook/browser/view/cellParts/cellActionView';
-import { createBareFontInfoFromRawSettings } from '@codingame/monaco-vscode-api/vscode/vs/editor/common/config/fontInfoFromSettings';
-import { PixelRatio } from '@codingame/monaco-vscode-api/vscode/vs/base/browser/pixelRatio';
-import { WorkbenchToolBar } from '@codingame/monaco-vscode-api/vscode/vs/platform/actions/browser/toolbar';
-import { fixedDiffEditorOptions, fixedEditorOptions } from './diffCellEditorOptions.js';
-import { IAccessibilityService } from '@codingame/monaco-vscode-api/vscode/vs/platform/accessibility/common/accessibility.service';
-import { localize } from '@codingame/monaco-vscode-api/vscode/vs/nls';
-import { EditorExtensionsRegistry } from '@codingame/monaco-vscode-api/vscode/vs/editor/browser/editorExtensions';
-
-var CellDiffPlaceholderRenderer_1, NotebookDocumentMetadataDiffRenderer_1, CellDiffSingleSideRenderer_1, CellDiffSideBySideRenderer_1;
-registerCss(notebookDiff);
-let NotebookCellTextDiffListDelegate = class NotebookCellTextDiffListDelegate {
-    constructor(targetWindow, configurationService) {
-        this.configurationService = configurationService;
-        const editorOptions = this.configurationService.getValue('editor');
-        this.lineHeight = createBareFontInfoFromRawSettings(editorOptions, PixelRatio.getInstance(targetWindow).value).lineHeight;
-    }
-    getHeight(element) {
-        return element.getHeight(this.lineHeight);
-    }
-    hasDynamicHeight(element) {
-        return false;
-    }
-    getTemplateId(element) {
-        switch (element.type) {
-            case 'delete':
-            case 'insert':
-                return CellDiffSingleSideRenderer.TEMPLATE_ID;
-            case 'modified':
-            case 'unchanged':
-                return CellDiffSideBySideRenderer.TEMPLATE_ID;
-            case 'placeholder':
-                return CellDiffPlaceholderRenderer.TEMPLATE_ID;
-            case 'modifiedMetadata':
-            case 'unchangedMetadata':
-                return NotebookDocumentMetadataDiffRenderer.TEMPLATE_ID;
-        }
-    }
-};
-NotebookCellTextDiffListDelegate = ( __decorate([
-    ( __param(1, IConfigurationService))
-], NotebookCellTextDiffListDelegate));
-let CellDiffPlaceholderRenderer = class CellDiffPlaceholderRenderer {
-    static { CellDiffPlaceholderRenderer_1 = this; }
-    static { this.TEMPLATE_ID = 'cell_diff_placeholder'; }
-    constructor(notebookEditor, instantiationService) {
-        this.notebookEditor = notebookEditor;
-        this.instantiationService = instantiationService;
-    }
-    get templateId() {
-        return CellDiffPlaceholderRenderer_1.TEMPLATE_ID;
-    }
-    renderTemplate(container) {
-        const body = $('.cell-placeholder-body');
-        append(container, body);
-        const elementDisposables = ( new DisposableStore());
-        const marginOverlay = ( new CollapsedCellOverlayWidget(body));
-        const contents = append(body, $('.contents'));
-        const placeholder = append(contents, $('span.text', { title: ( localize(9503, 'Double click to show')) }));
-        return {
-            body,
-            container,
-            placeholder,
-            marginOverlay,
-            elementDisposables
-        };
-    }
-    renderElement(element, index, templateData) {
-        templateData.body.classList.remove('left', 'right', 'full');
-        templateData.elementDisposables.add(this.instantiationService.createInstance(CellDiffPlaceholderElement, element, templateData));
-    }
-    disposeTemplate(templateData) {
-        templateData.container.innerText = '';
-    }
-    disposeElement(element, index, templateData) {
-        templateData.elementDisposables.clear();
-    }
-};
-CellDiffPlaceholderRenderer = CellDiffPlaceholderRenderer_1 = ( __decorate([
-    ( __param(1, IInstantiationService))
-], CellDiffPlaceholderRenderer));
-let NotebookDocumentMetadataDiffRenderer = class NotebookDocumentMetadataDiffRenderer {
-    static { NotebookDocumentMetadataDiffRenderer_1 = this; }
-    static { this.TEMPLATE_ID = 'notebook_metadata_diff_side_by_side'; }
-    constructor(notebookEditor, instantiationService, contextMenuService, keybindingService, menuService, contextKeyService, notificationService, themeService, accessibilityService) {
-        this.notebookEditor = notebookEditor;
-        this.instantiationService = instantiationService;
-        this.contextMenuService = contextMenuService;
-        this.keybindingService = keybindingService;
-        this.menuService = menuService;
-        this.contextKeyService = contextKeyService;
-        this.notificationService = notificationService;
-        this.themeService = themeService;
-        this.accessibilityService = accessibilityService;
-    }
-    get templateId() {
-        return NotebookDocumentMetadataDiffRenderer_1.TEMPLATE_ID;
-    }
-    renderTemplate(container) {
-        const body = $('.cell-body');
-        append(container, body);
-        const diffEditorContainer = $('.cell-diff-editor-container');
-        append(body, diffEditorContainer);
-        const cellHeaderContainer = append(diffEditorContainer, $('.input-header-container'));
-        const sourceContainer = append(diffEditorContainer, $('.source-container'));
-        const { editor, editorContainer } = this._buildSourceEditor(sourceContainer);
-        const inputToolbarContainer = append(sourceContainer, $('.editor-input-toolbar-container'));
-        const cellToolbarContainer = append(inputToolbarContainer, $('div.property-toolbar'));
-        const toolbar = this.instantiationService.createInstance(WorkbenchToolBar, cellToolbarContainer, {
-            actionViewItemProvider: (action, options) => {
-                if (action instanceof MenuItemAction) {
-                    const item = ( new CodiconActionViewItem(
-                        action,
-                        { hoverDelegate: options.hoverDelegate },
-                        this.keybindingService,
-                        this.notificationService,
-                        this.contextKeyService,
-                        this.themeService,
-                        this.contextMenuService,
-                        this.accessibilityService
-                    ));
-                    return item;
-                }
-                return undefined;
-            },
-            highlightToggledItems: true
-        });
-        const borderContainer = append(body, $('.border-container'));
-        const leftBorder = append(borderContainer, $('.left-border'));
-        const rightBorder = append(borderContainer, $('.right-border'));
-        const topBorder = append(borderContainer, $('.top-border'));
-        const bottomBorder = append(borderContainer, $('.bottom-border'));
-        const marginOverlay = ( new UnchangedCellOverlayWidget(body));
-        const elementDisposables = ( new DisposableStore());
-        return {
-            body,
-            container,
-            diffEditorContainer,
-            cellHeaderContainer,
-            sourceEditor: editor,
-            editorContainer,
-            inputToolbarContainer,
-            toolbar,
-            leftBorder,
-            rightBorder,
-            topBorder,
-            bottomBorder,
-            marginOverlay,
-            elementDisposables
-        };
-    }
-    _buildSourceEditor(sourceContainer) {
-        return buildDiffEditorWidget(this.instantiationService, this.notebookEditor, sourceContainer, { readOnly: true });
-    }
-    renderElement(element, index, templateData) {
-        templateData.body.classList.remove('full');
-        templateData.elementDisposables.add(this.instantiationService.createInstance(NotebookDocumentMetadataElement, this.notebookEditor, element, templateData));
-    }
-    disposeTemplate(templateData) {
-        templateData.container.innerText = '';
-        templateData.sourceEditor.dispose();
-        templateData.toolbar?.dispose();
-        templateData.elementDisposables.dispose();
-    }
-    disposeElement(element, index, templateData) {
-        if (templateData.toolbar) {
-            templateData.toolbar.context = undefined;
-        }
-        templateData.elementDisposables.clear();
-    }
-};
-NotebookDocumentMetadataDiffRenderer = NotebookDocumentMetadataDiffRenderer_1 = ( __decorate([
-    ( __param(1, IInstantiationService)),
-    ( __param(2, IContextMenuService)),
-    ( __param(3, IKeybindingService)),
-    ( __param(4, IMenuService)),
-    ( __param(5, IContextKeyService)),
-    ( __param(6, INotificationService)),
-    ( __param(7, IThemeService)),
-    ( __param(8, IAccessibilityService))
-], NotebookDocumentMetadataDiffRenderer));
-let CellDiffSingleSideRenderer = class CellDiffSingleSideRenderer {
-    static { CellDiffSingleSideRenderer_1 = this; }
-    static { this.TEMPLATE_ID = 'cell_diff_single'; }
-    constructor(notebookEditor, instantiationService) {
-        this.notebookEditor = notebookEditor;
-        this.instantiationService = instantiationService;
-    }
-    get templateId() {
-        return CellDiffSingleSideRenderer_1.TEMPLATE_ID;
-    }
-    renderTemplate(container) {
-        const body = $('.cell-body');
-        append(container, body);
-        const diffEditorContainer = $('.cell-diff-editor-container');
-        append(body, diffEditorContainer);
-        const diagonalFill = append(body, $('.diagonal-fill'));
-        const cellHeaderContainer = append(diffEditorContainer, $('.input-header-container'));
-        const sourceContainer = append(diffEditorContainer, $('.source-container'));
-        const { editor, editorContainer } = this._buildSourceEditor(sourceContainer);
-        const metadataHeaderContainer = append(diffEditorContainer, $('.metadata-header-container'));
-        const metadataInfoContainer = append(diffEditorContainer, $('.metadata-info-container'));
-        const outputHeaderContainer = append(diffEditorContainer, $('.output-header-container'));
-        const outputInfoContainer = append(diffEditorContainer, $('.output-info-container'));
-        const borderContainer = append(body, $('.border-container'));
-        const leftBorder = append(borderContainer, $('.left-border'));
-        const rightBorder = append(borderContainer, $('.right-border'));
-        const topBorder = append(borderContainer, $('.top-border'));
-        const bottomBorder = append(borderContainer, $('.bottom-border'));
-        return {
-            body,
-            container,
-            editorContainer,
-            diffEditorContainer,
-            diagonalFill,
-            cellHeaderContainer,
-            sourceEditor: editor,
-            metadataHeaderContainer,
-            metadataInfoContainer,
-            outputHeaderContainer,
-            outputInfoContainer,
-            leftBorder,
-            rightBorder,
-            topBorder,
-            bottomBorder,
-            elementDisposables: ( new DisposableStore())
-        };
-    }
-    _buildSourceEditor(sourceContainer) {
-        return buildSourceEditor(this.instantiationService, this.notebookEditor, sourceContainer);
-    }
-    renderElement(element, index, templateData) {
-        templateData.body.classList.remove('left', 'right', 'full');
-        switch (element.type) {
-            case 'delete':
-                templateData.elementDisposables.add(this.instantiationService.createInstance(DeletedElement, this.notebookEditor, element, templateData));
-                return;
-            case 'insert':
-                templateData.elementDisposables.add(this.instantiationService.createInstance(InsertElement, this.notebookEditor, element, templateData));
-                return;
-        }
-    }
-    disposeTemplate(templateData) {
-        templateData.container.innerText = '';
-        templateData.sourceEditor.dispose();
-        templateData.elementDisposables.dispose();
-    }
-    disposeElement(element, index, templateData) {
-        templateData.elementDisposables.clear();
-    }
-};
-CellDiffSingleSideRenderer = CellDiffSingleSideRenderer_1 = ( __decorate([
-    ( __param(1, IInstantiationService))
-], CellDiffSingleSideRenderer));
-let CellDiffSideBySideRenderer = class CellDiffSideBySideRenderer {
-    static { CellDiffSideBySideRenderer_1 = this; }
-    static { this.TEMPLATE_ID = 'cell_diff_side_by_side'; }
-    constructor(notebookEditor, instantiationService, contextMenuService, keybindingService, menuService, contextKeyService, notificationService, themeService, accessibilityService) {
-        this.notebookEditor = notebookEditor;
-        this.instantiationService = instantiationService;
-        this.contextMenuService = contextMenuService;
-        this.keybindingService = keybindingService;
-        this.menuService = menuService;
-        this.contextKeyService = contextKeyService;
-        this.notificationService = notificationService;
-        this.themeService = themeService;
-        this.accessibilityService = accessibilityService;
-    }
-    get templateId() {
-        return CellDiffSideBySideRenderer_1.TEMPLATE_ID;
-    }
-    renderTemplate(container) {
-        const body = $('.cell-body');
-        append(container, body);
-        const diffEditorContainer = $('.cell-diff-editor-container');
-        append(body, diffEditorContainer);
-        const cellHeaderContainer = append(diffEditorContainer, $('.input-header-container'));
-        const sourceContainer = append(diffEditorContainer, $('.source-container'));
-        const { editor, editorContainer } = this._buildSourceEditor(sourceContainer);
-        const inputToolbarContainer = append(sourceContainer, $('.editor-input-toolbar-container'));
-        const cellToolbarContainer = append(inputToolbarContainer, $('div.property-toolbar'));
-        const toolbar = this.instantiationService.createInstance(WorkbenchToolBar, cellToolbarContainer, {
-            actionViewItemProvider: (action, options) => {
-                if (action instanceof MenuItemAction) {
-                    const item = ( new CodiconActionViewItem(
-                        action,
-                        { hoverDelegate: options.hoverDelegate },
-                        this.keybindingService,
-                        this.notificationService,
-                        this.contextKeyService,
-                        this.themeService,
-                        this.contextMenuService,
-                        this.accessibilityService
-                    ));
-                    return item;
-                }
-                return undefined;
-            },
-            highlightToggledItems: true
-        });
-        const metadataHeaderContainer = append(diffEditorContainer, $('.metadata-header-container'));
-        const metadataInfoContainer = append(diffEditorContainer, $('.metadata-info-container'));
-        const outputHeaderContainer = append(diffEditorContainer, $('.output-header-container'));
-        const outputInfoContainer = append(diffEditorContainer, $('.output-info-container'));
-        const borderContainer = append(body, $('.border-container'));
-        const leftBorder = append(borderContainer, $('.left-border'));
-        const rightBorder = append(borderContainer, $('.right-border'));
-        const topBorder = append(borderContainer, $('.top-border'));
-        const bottomBorder = append(borderContainer, $('.bottom-border'));
-        const marginOverlay = ( new UnchangedCellOverlayWidget(body));
-        const elementDisposables = ( new DisposableStore());
-        return {
-            body,
-            container,
-            diffEditorContainer,
-            cellHeaderContainer,
-            sourceEditor: editor,
-            editorContainer,
-            inputToolbarContainer,
-            toolbar,
-            metadataHeaderContainer,
-            metadataInfoContainer,
-            outputHeaderContainer,
-            outputInfoContainer,
-            leftBorder,
-            rightBorder,
-            topBorder,
-            bottomBorder,
-            marginOverlay,
-            elementDisposables
-        };
-    }
-    _buildSourceEditor(sourceContainer) {
-        return buildDiffEditorWidget(this.instantiationService, this.notebookEditor, sourceContainer);
-    }
-    renderElement(element, index, templateData) {
-        templateData.body.classList.remove('left', 'right', 'full');
-        switch (element.type) {
-            case 'unchanged':
-                templateData.elementDisposables.add(this.instantiationService.createInstance(ModifiedElement, this.notebookEditor, element, templateData));
-                return;
-            case 'modified':
-                templateData.elementDisposables.add(this.instantiationService.createInstance(ModifiedElement, this.notebookEditor, element, templateData));
-                return;
-        }
-    }
-    disposeTemplate(templateData) {
-        templateData.container.innerText = '';
-        templateData.sourceEditor.dispose();
-        templateData.toolbar?.dispose();
-        templateData.elementDisposables.dispose();
-    }
-    disposeElement(element, index, templateData) {
-        if (templateData.toolbar) {
-            templateData.toolbar.context = undefined;
-        }
-        templateData.elementDisposables.clear();
-    }
-};
-CellDiffSideBySideRenderer = CellDiffSideBySideRenderer_1 = ( __decorate([
-    ( __param(1, IInstantiationService)),
-    ( __param(2, IContextMenuService)),
-    ( __param(3, IKeybindingService)),
-    ( __param(4, IMenuService)),
-    ( __param(5, IContextKeyService)),
-    ( __param(6, INotificationService)),
-    ( __param(7, IThemeService)),
-    ( __param(8, IAccessibilityService))
-], CellDiffSideBySideRenderer));
-class NotebookMouseController extends MouseController {
-    onViewPointer(e) {
-        if (isMonacoEditor(e.browserEvent.target)) {
-            const focus = typeof e.index === 'undefined' ? [] : [e.index];
-            this.list.setFocus(focus, e.browserEvent);
-        }
-        else {
-            super.onViewPointer(e);
-        }
-    }
-}
-let NotebookTextDiffList = class NotebookTextDiffList extends WorkbenchList {
-    get rowsContainer() {
-        return this.view.containerDomNode;
-    }
-    constructor(listUser, container, delegate, renderers, contextKeyService, options, listService, configurationService, instantiationService) {
-        super(listUser, container, delegate, renderers, options, contextKeyService, listService, configurationService, instantiationService);
-    }
-    createMouseController(options) {
-        return ( new NotebookMouseController(this));
-    }
-    getCellViewScrollTop(element) {
-        const index = this.indexOf(element);
-        return this.view.elementTop(index);
-    }
-    getScrollHeight() {
-        return this.view.scrollHeight;
-    }
-    triggerScrollFromMouseWheelEvent(browserEvent) {
-        this.view.delegateScrollFromMouseWheelEvent(browserEvent);
-    }
-    delegateVerticalScrollbarPointerDown(browserEvent) {
-        this.view.delegateVerticalScrollbarPointerDown(browserEvent);
-    }
-    clear() {
-        super.splice(0, this.length);
-    }
-    updateElementHeight2(element, size) {
-        const viewIndex = this.indexOf(element);
-        const focused = this.getFocus();
-        this.view.updateElementHeight(viewIndex, size, focused.length ? focused[0] : null);
-    }
-    style(styles) {
-        const selectorSuffix = this.view.domId;
-        if (!this.styleElement) {
-            this.styleElement = createStyleSheet(this.view.domNode);
-        }
-        const suffix = selectorSuffix && `.${selectorSuffix}`;
-        const content = [];
-        if (styles.listBackground) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows { background: ${styles.listBackground}; }`);
-        }
-        if (styles.listFocusBackground) {
-            content.push(`.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.focused { background-color: ${styles.listFocusBackground}; }`);
-            content.push(`.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.focused:hover { background-color: ${styles.listFocusBackground}; }`);
-        }
-        if (styles.listFocusForeground) {
-            content.push(`.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.focused { color: ${styles.listFocusForeground}; }`);
-        }
-        if (styles.listActiveSelectionBackground) {
-            content.push(`.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected { background-color: ${styles.listActiveSelectionBackground}; }`);
-            content.push(`.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected:hover { background-color: ${styles.listActiveSelectionBackground}; }`);
-        }
-        if (styles.listActiveSelectionForeground) {
-            content.push(`.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected { color: ${styles.listActiveSelectionForeground}; }`);
-        }
-        if (styles.listFocusAndSelectionBackground) {
-            content.push(`
-				.monaco-drag-image${suffix},
-				.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected.focused { background-color: ${styles.listFocusAndSelectionBackground}; }
-			`);
-        }
-        if (styles.listFocusAndSelectionForeground) {
-            content.push(`
-				.monaco-drag-image${suffix},
-				.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected.focused { color: ${styles.listFocusAndSelectionForeground}; }
-			`);
-        }
-        if (styles.listInactiveFocusBackground) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.focused { background-color:  ${styles.listInactiveFocusBackground}; }`);
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.focused:hover { background-color:  ${styles.listInactiveFocusBackground}; }`);
-        }
-        if (styles.listInactiveSelectionBackground) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected { background-color:  ${styles.listInactiveSelectionBackground}; }`);
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected:hover { background-color:  ${styles.listInactiveSelectionBackground}; }`);
-        }
-        if (styles.listInactiveSelectionForeground) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected { color: ${styles.listInactiveSelectionForeground}; }`);
-        }
-        if (styles.listHoverBackground) {
-            content.push(`.monaco-list${suffix}:not(.drop-target) > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row:hover:not(.selected):not(.focused) { background-color:  ${styles.listHoverBackground}; }`);
-        }
-        if (styles.listHoverForeground) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row:hover:not(.selected):not(.focused) { color:  ${styles.listHoverForeground}; }`);
-        }
-        if (styles.listSelectionOutline) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.selected { outline: 1px dotted ${styles.listSelectionOutline}; outline-offset: -1px; }`);
-        }
-        if (styles.listFocusOutline) {
-            content.push(`
-				.monaco-drag-image${suffix},
-				.monaco-list${suffix}:focus > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.focused { outline: 1px solid ${styles.listFocusOutline}; outline-offset: -1px; }
-			`);
-        }
-        if (styles.listInactiveFocusOutline) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row.focused { outline: 1px dotted ${styles.listInactiveFocusOutline}; outline-offset: -1px; }`);
-        }
-        if (styles.listHoverOutline) {
-            content.push(`.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows > .monaco-list-row:hover { outline: 1px dashed ${styles.listHoverOutline}; outline-offset: -1px; }`);
-        }
-        if (styles.listDropOverBackground) {
-            content.push(`
-				.monaco-list${suffix}.drop-target,
-				.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-rows.drop-target,
-				.monaco-list${suffix} > div.monaco-scrollable-element > .monaco-list-row.drop-target { background-color: ${styles.listDropOverBackground} !important; color: inherit !important; }
-			`);
-        }
-        const newStyles = content.join('\n');
-        if (newStyles !== this.styleElement.textContent) {
-            this.styleElement.textContent = newStyles;
-        }
-    }
-};
-NotebookTextDiffList = ( __decorate([
-    ( __param(6, IListService)),
-    ( __param(7, IConfigurationService)),
-    ( __param(8, IInstantiationService))
-], NotebookTextDiffList));
-function buildDiffEditorWidget(instantiationService, notebookEditor, sourceContainer, options = {}) {
-    const editorContainer = append(sourceContainer, $('.editor-container'));
-    const editor = instantiationService.createInstance(DiffEditorWidget, editorContainer, {
-        ...fixedDiffEditorOptions,
-        overflowWidgetsDomNode: notebookEditor.getOverflowContainerDomNode(),
-        originalEditable: false,
-        ignoreTrimWhitespace: false,
-        automaticLayout: false,
-        dimension: {
-            height: 0,
-            width: 0
-        },
-        renderSideBySide: true,
-        useInlineViewWhenSpaceIsLimited: false,
-        ...options
-    }, {
-        originalEditor: getOptimizedNestedCodeEditorWidgetOptions(),
-        modifiedEditor: getOptimizedNestedCodeEditorWidgetOptions()
-    });
-    return {
-        editor,
-        editorContainer
-    };
-}
-function buildSourceEditor(instantiationService, notebookEditor, sourceContainer, options = {}) {
-    const editorContainer = append(sourceContainer, $('.editor-container'));
-    const skipContributions = [
-        'editor.contrib.emptyTextEditorHint'
-    ];
-    const editor = instantiationService.createInstance(CodeEditorWidget, editorContainer, {
-        ...fixedEditorOptions,
-        glyphMargin: false,
-        dimension: {
-            width: (notebookEditor.getLayoutInfo().width - 2 * DIFF_CELL_MARGIN) / 2 - 18,
-            height: 0
-        },
-        automaticLayout: false,
-        overflowWidgetsDomNode: notebookEditor.getOverflowContainerDomNode(),
-        allowVariableLineHeights: false,
-        readOnly: true,
-    }, {
-        contributions: EditorExtensionsRegistry.getEditorContributions().filter(c => skipContributions.indexOf(c.id) === -1)
-    });
-    return { editor, editorContainer };
-}
-
-export { CellDiffPlaceholderRenderer, CellDiffSideBySideRenderer, CellDiffSingleSideRenderer, NotebookCellTextDiffListDelegate, NotebookDocumentMetadataDiffRenderer, NotebookMouseController, NotebookTextDiffList };

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

@@ -1,30 +0,0 @@
-import { Themable } from "@codingame/monaco-vscode-api/vscode/vs/platform/theme/common/themeService";
-import { IThemeService } from "@codingame/monaco-vscode-api/vscode/vs/platform/theme/common/themeService.service";
-import { IDiffElementViewModelBase } from "./diffElementViewModel.js";
-import { NotebookDiffEditorEventDispatcher } from "./eventDispatcher.js";
-import { INotebookTextDiffEditor } from "./notebookDiffEditorBrowser.js";
-export declare class NotebookDiffOverviewRuler extends Themable {
-    readonly notebookEditor: INotebookTextDiffEditor;
-    readonly width: number;
-    private readonly _domNode;
-    private readonly _overviewViewportDomElement;
-    private _diffElementViewModels;
-    private _lanes;
-    private _insertColor;
-    private _insertColorHex;
-    private _removeColor;
-    private _removeColorHex;
-    private readonly _disposables;
-    private _renderAnimationFrame;
-    constructor(notebookEditor: INotebookTextDiffEditor, width: number, container: HTMLElement, themeService: IThemeService);
-    private applyColors;
-    layout(): void;
-    updateViewModels(elements: readonly IDiffElementViewModelBase[], eventDispatcher: NotebookDiffEditorEventDispatcher | undefined): void;
-    private _scheduleRender;
-    private _onRenderScheduled;
-    private _layoutNow;
-    private _renderOverviewViewport;
-    private _computeOverviewViewport;
-    private _renderCanvas;
-    dispose(): void;
-}