@codingame/monaco-vscode-katex-common 24.1.0

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

@@ -0,0 +1,567 @@
+
+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(9474, '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;
+}