@codingame/monaco-vscode-katex-common 29.1.1 → 30.0.1

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

@@ -0,0 +1,643 @@
+
+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(11239, "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

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