@codingame/monaco-vscode-notebook-service-override 4.1.0 → 4.1.2

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

@@ -0,0 +1,13 @@
+import { RawContextKey } from 'vscode/vscode/vs/platform/contextkey/common/contextkey';
+
+var DiffSide;
+( (function(DiffSide) {
+    DiffSide[DiffSide["Original"] = 0] = "Original";
+    DiffSide[DiffSide["Modified"] = 1] = "Modified";
+})(DiffSide || (DiffSide = {})));
+const DIFF_CELL_MARGIN = 16;
+const NOTEBOOK_DIFF_CELL_INPUT = ( new RawContextKey('notebookDiffCellInputChanged', false));
+const NOTEBOOK_DIFF_CELL_PROPERTY = ( new RawContextKey('notebookDiffCellPropertyChanged', false));
+const NOTEBOOK_DIFF_CELL_PROPERTY_EXPANDED = ( new RawContextKey('notebookDiffCellPropertyExpanded', false));
+
+export { DIFF_CELL_MARGIN, DiffSide, NOTEBOOK_DIFF_CELL_INPUT, NOTEBOOK_DIFF_CELL_PROPERTY, NOTEBOOK_DIFF_CELL_PROPERTY_EXPANDED };

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

@@ -0,0 +1,395 @@
+import { __decorate, __param } from '../../../../../../../../external/tslib/tslib.es6.js';
+import './notebookDiff.css.js';
+import { $, append, createStyleSheet } from 'vscode/vscode/vs/base/browser/dom';
+import { MouseController, isMonacoEditor } from 'vscode/vscode/vs/base/browser/ui/list/listWidget';
+import { DisposableStore } from 'vscode/vscode/vs/base/common/lifecycle';
+import { IConfigurationService } from 'vscode/vscode/vs/platform/configuration/common/configuration';
+import { IContextKeyService } from 'vscode/vscode/vs/platform/contextkey/common/contextkey';
+import { IInstantiationService } from 'vscode/vscode/vs/platform/instantiation/common/instantiation';
+import { IKeybindingService } from 'vscode/vscode/vs/platform/keybinding/common/keybinding';
+import { WorkbenchList, IListService } from 'vscode/vscode/vs/platform/list/browser/listService';
+import { IThemeService } from 'vscode/vscode/vs/platform/theme/common/themeService';
+import { DIFF_CELL_MARGIN } from './notebookDiffEditorBrowser.js';
+import { InsertElement, DeletedElement, getOptimizedNestedCodeEditorWidgetOptions, ModifiedElement } from './diffComponents.js';
+import { CodeEditorWidget } from 'vscode/vscode/vs/editor/browser/widget/codeEditor/codeEditorWidget';
+import { DiffEditorWidget } from 'vscode/vscode/vs/editor/browser/widget/diffEditor/diffEditorWidget';
+import { MenuItemAction, IMenuService } from 'vscode/vscode/vs/platform/actions/common/actions';
+import { IContextMenuService } from 'vscode/vscode/vs/platform/contextview/browser/contextView';
+import { INotificationService } from 'vscode/vscode/vs/platform/notification/common/notification';
+import { CodiconActionViewItem } from 'vscode/vscode/vs/workbench/contrib/notebook/browser/view/cellParts/cellActionView';
+import { BareFontInfo } from 'vscode/vscode/vs/editor/common/config/fontInfo';
+import { PixelRatio } from 'vscode/vscode/vs/base/browser/pixelRatio';
+import { WorkbenchToolBar } from 'vscode/vscode/vs/platform/actions/browser/toolbar';
+import { fixedEditorOptions, fixedDiffEditorOptions } from './diffCellEditorOptions.js';
+import { IAccessibilityService } from 'vscode/vscode/vs/platform/accessibility/common/accessibility';
+
+var CellDiffSingleSideRenderer_1, CellDiffSideBySideRenderer_1;
+let NotebookCellTextDiffListDelegate = class NotebookCellTextDiffListDelegate {
+    constructor(targetWindow, configurationService) {
+        this.configurationService = configurationService;
+        const editorOptions = this.configurationService.getValue('editor');
+        this.lineHeight = BareFontInfo.createFromRawSettings(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;
+        }
+    }
+};
+NotebookCellTextDiffListDelegate = ( __decorate([
+    ( __param(1, IConfigurationService))
+], NotebookCellTextDiffListDelegate));
+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 sourceContainer = append(diffEditorContainer, $('.source-container'));
+        const editor = 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,
+            diffEditorContainer,
+            diagonalFill,
+            sourceEditor: editor,
+            metadataHeaderContainer,
+            metadataInfoContainer,
+            outputHeaderContainer,
+            outputInfoContainer,
+            leftBorder,
+            rightBorder,
+            topBorder,
+            bottomBorder,
+            elementDisposables: ( new DisposableStore())
+        };
+    }
+    _buildSourceEditor(sourceContainer) {
+        const editorContainer = append(sourceContainer, $('.editor-container'));
+        const editor = this.instantiationService.createInstance(CodeEditorWidget, editorContainer, {
+            ...fixedEditorOptions,
+            dimension: {
+                width: (this.notebookEditor.getLayoutInfo().width - 2 * DIFF_CELL_MARGIN) / 2 - 18,
+                height: 0
+            },
+            automaticLayout: false,
+            overflowWidgetsDomNode: this.notebookEditor.getOverflowContainerDomNode()
+        }, {});
+        return editor;
+    }
+    renderElement(element, index, templateData, height) {
+        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 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;
+            }
+        });
+        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,
+            diffEditorContainer,
+            sourceEditor: editor,
+            editorContainer,
+            inputToolbarContainer,
+            toolbar,
+            metadataHeaderContainer,
+            metadataInfoContainer,
+            outputHeaderContainer,
+            outputInfoContainer,
+            leftBorder,
+            rightBorder,
+            topBorder,
+            bottomBorder,
+            elementDisposables: ( new DisposableStore())
+        };
+    }
+    _buildSourceEditor(sourceContainer) {
+        const editorContainer = append(sourceContainer, $('.editor-container'));
+        const editor = this.instantiationService.createInstance(DiffEditorWidget, editorContainer, {
+            ...fixedDiffEditorOptions,
+            padding: {
+                top: 24,
+                bottom: 12
+            },
+            overflowWidgetsDomNode: this.notebookEditor.getOverflowContainerDomNode(),
+            originalEditable: false,
+            ignoreTrimWhitespace: false,
+            automaticLayout: false,
+            dimension: {
+                height: 0,
+                width: 0
+            },
+            renderSideBySide: true,
+            useInlineViewWhenSpaceIsLimited: false
+        }, {
+            originalEditor: getOptimizedNestedCodeEditorWidgetOptions(),
+            modifiedEditor: getOptimizedNestedCodeEditorWidgetOptions()
+        });
+        return {
+            editor,
+            editorContainer
+        };
+    }
+    renderElement(element, index, templateData, height) {
+        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,
+				.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,
+				.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,
+				.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));
+
+export { CellDiffSideBySideRenderer, CellDiffSingleSideRenderer, NotebookCellTextDiffListDelegate, NotebookMouseController, NotebookTextDiffList };

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

@@ -0,0 +1,185 @@
+import { __decorate, __param } from '../../../../../../../../external/tslib/tslib.es6.js';
+import { getWindow, addStandardDisposableListener, EventType, runAtThisOrScheduleAtNextAnimationFrame } from 'vscode/vscode/vs/base/browser/dom';
+import { createFastDomNode } from 'vscode/vscode/vs/base/browser/fastDomNode';
+import { PixelRatio } from 'vscode/vscode/vs/base/browser/pixelRatio';
+import { Color } from 'vscode/vscode/vs/base/common/color';
+import { DisposableStore } from 'vscode/vscode/vs/base/common/lifecycle';
+import 'vscode/vscode/vs/platform/theme/common/colorUtils';
+import 'vscode/vscode/vs/platform/theme/common/colors/baseColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/chartsColors';
+import { diffOverviewRulerInserted, diffInserted, defaultInsertColor, diffOverviewRulerRemoved, diffRemoved, defaultRemoveColor } from 'vscode/vscode/vs/platform/theme/common/colors/editorColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/inputColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/listColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/menuColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/minimapColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/miscColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/quickpickColors';
+import 'vscode/vscode/vs/platform/theme/common/colors/searchColors';
+import { Themable, IThemeService } from 'vscode/vscode/vs/platform/theme/common/themeService';
+
+const MINIMUM_SLIDER_SIZE = 20;
+let NotebookDiffOverviewRuler = class NotebookDiffOverviewRuler extends Themable {
+    constructor(notebookEditor, width, container, themeService) {
+        super(themeService);
+        this.notebookEditor = notebookEditor;
+        this.width = width;
+        this._diffElementViewModels = [];
+        this._lanes = 2;
+        this._insertColor = null;
+        this._removeColor = null;
+        this._insertColorHex = null;
+        this._removeColorHex = null;
+        this._disposables = this._register(( new DisposableStore()));
+        this._renderAnimationFrame = null;
+        this._domNode = createFastDomNode(document.createElement('canvas'));
+        this._domNode.setPosition('relative');
+        this._domNode.setLayerHinting(true);
+        this._domNode.setContain('strict');
+        container.appendChild(this._domNode.domNode);
+        this._overviewViewportDomElement = createFastDomNode(document.createElement('div'));
+        this._overviewViewportDomElement.setClassName('diffViewport');
+        this._overviewViewportDomElement.setPosition('absolute');
+        this._overviewViewportDomElement.setWidth(width);
+        container.appendChild(this._overviewViewportDomElement.domNode);
+        this._register(PixelRatio.getInstance(getWindow(this._domNode.domNode)).onDidChange(() => {
+            this._scheduleRender();
+        }));
+        this._register(this.themeService.onDidColorThemeChange(e => {
+            const colorChanged = this.applyColors(e);
+            if (colorChanged) {
+                this._scheduleRender();
+            }
+        }));
+        this.applyColors(this.themeService.getColorTheme());
+        this._register(this.notebookEditor.onDidScroll(() => {
+            this._renderOverviewViewport();
+        }));
+        this._register(addStandardDisposableListener(container, EventType.POINTER_DOWN, (e) => {
+            this.notebookEditor.delegateVerticalScrollbarPointerDown(e);
+        }));
+    }
+    applyColors(theme) {
+        const newInsertColor = theme.getColor(diffOverviewRulerInserted) || ( (theme.getColor(diffInserted) || defaultInsertColor).transparent(2));
+        const newRemoveColor = theme.getColor(diffOverviewRulerRemoved) || ( (theme.getColor(diffRemoved) || defaultRemoveColor).transparent(2));
+        const hasChanges = !newInsertColor.equals(this._insertColor) || !newRemoveColor.equals(this._removeColor);
+        this._insertColor = newInsertColor;
+        this._removeColor = newRemoveColor;
+        if (this._insertColor) {
+            this._insertColorHex = Color.Format.CSS.formatHexA(this._insertColor);
+        }
+        if (this._removeColor) {
+            this._removeColorHex = Color.Format.CSS.formatHexA(this._removeColor);
+        }
+        return hasChanges;
+    }
+    layout() {
+        this._layoutNow();
+    }
+    updateViewModels(elements, eventDispatcher) {
+        this._disposables.clear();
+        this._diffElementViewModels = elements;
+        if (eventDispatcher) {
+            this._disposables.add(eventDispatcher.onDidChangeLayout(() => {
+                this._scheduleRender();
+            }));
+            this._disposables.add(eventDispatcher.onDidChangeCellLayout(() => {
+                this._scheduleRender();
+            }));
+        }
+        this._scheduleRender();
+    }
+    _scheduleRender() {
+        if (this._renderAnimationFrame === null) {
+            this._renderAnimationFrame = runAtThisOrScheduleAtNextAnimationFrame(getWindow(this._domNode.domNode), this._onRenderScheduled.bind(this), 16);
+        }
+    }
+    _onRenderScheduled() {
+        this._renderAnimationFrame = null;
+        this._layoutNow();
+    }
+    _layoutNow() {
+        const layoutInfo = this.notebookEditor.getLayoutInfo();
+        const height = layoutInfo.height;
+        const contentHeight = ( this._diffElementViewModels.map(view => view.layoutInfo.totalHeight)).reduce((a, b) => a + b, 0);
+        const ratio = PixelRatio.getInstance(getWindow(this._domNode.domNode)).value;
+        this._domNode.setWidth(this.width);
+        this._domNode.setHeight(height);
+        this._domNode.domNode.width = this.width * ratio;
+        this._domNode.domNode.height = height * ratio;
+        const ctx = this._domNode.domNode.getContext('2d');
+        ctx.clearRect(0, 0, this.width * ratio, height * ratio);
+        this._renderCanvas(ctx, this.width * ratio, height * ratio, contentHeight * ratio, ratio);
+        this._renderOverviewViewport();
+    }
+    _renderOverviewViewport() {
+        const layout = this._computeOverviewViewport();
+        if (!layout) {
+            this._overviewViewportDomElement.setTop(0);
+            this._overviewViewportDomElement.setHeight(0);
+        }
+        else {
+            this._overviewViewportDomElement.setTop(layout.top);
+            this._overviewViewportDomElement.setHeight(layout.height);
+        }
+    }
+    _computeOverviewViewport() {
+        const layoutInfo = this.notebookEditor.getLayoutInfo();
+        if (!layoutInfo) {
+            return null;
+        }
+        const scrollTop = this.notebookEditor.getScrollTop();
+        const scrollHeight = this.notebookEditor.getScrollHeight();
+        const computedAvailableSize = Math.max(0, layoutInfo.height);
+        const computedRepresentableSize = Math.max(0, computedAvailableSize - 2 * 0);
+        const visibleSize = layoutInfo.height;
+        const computedSliderSize = Math.round(Math.max(MINIMUM_SLIDER_SIZE, Math.floor(visibleSize * computedRepresentableSize / scrollHeight)));
+        const computedSliderRatio = (computedRepresentableSize - computedSliderSize) / (scrollHeight - visibleSize);
+        const computedSliderPosition = Math.round(scrollTop * computedSliderRatio);
+        return {
+            height: computedSliderSize,
+            top: computedSliderPosition
+        };
+    }
+    _renderCanvas(ctx, width, height, scrollHeight, ratio) {
+        if (!this._insertColorHex || !this._removeColorHex) {
+            return;
+        }
+        const laneWidth = width / this._lanes;
+        let currentFrom = 0;
+        for (let i = 0; i < this._diffElementViewModels.length; i++) {
+            const element = this._diffElementViewModels[i];
+            const cellHeight = Math.round((element.layoutInfo.totalHeight / scrollHeight) * ratio * height);
+            switch (element.type) {
+                case 'insert':
+                    ctx.fillStyle = this._insertColorHex;
+                    ctx.fillRect(laneWidth, currentFrom, laneWidth, cellHeight);
+                    break;
+                case 'delete':
+                    ctx.fillStyle = this._removeColorHex;
+                    ctx.fillRect(0, currentFrom, laneWidth, cellHeight);
+                    break;
+                case 'unchanged':
+                    break;
+                case 'modified':
+                    ctx.fillStyle = this._removeColorHex;
+                    ctx.fillRect(0, currentFrom, laneWidth, cellHeight);
+                    ctx.fillStyle = this._insertColorHex;
+                    ctx.fillRect(laneWidth, currentFrom, laneWidth, cellHeight);
+                    break;
+            }
+            currentFrom += cellHeight;
+        }
+    }
+    dispose() {
+        if (this._renderAnimationFrame !== null) {
+            this._renderAnimationFrame.dispose();
+            this._renderAnimationFrame = null;
+        }
+        super.dispose();
+    }
+};
+NotebookDiffOverviewRuler = ( __decorate([
+    ( __param(3, IThemeService))
+], NotebookDiffOverviewRuler));
+
+export { NotebookDiffOverviewRuler };