@codingame/monaco-vscode-api 9.0.3 → 10.0.1

package/vscode/src/vs/editor/contrib/colorPicker/browser/colorPickerWidget.js

@@ -1,376 +0,0 @@
-import { PixelRatio } from '../../../../base/browser/pixelRatio.js';
-import { getWindow, $ as $$1, append, addDisposableListener, EventType, getDomNodePagePosition } from '../../../../base/browser/dom.js';
-import { GlobalPointerMoveMonitor } from '../../../../base/browser/globalPointerMoveMonitor.js';
-import { Widget } from '../../../../base/browser/ui/widget.js';
-import { Codicon } from '../../../../base/common/codicons.js';
-import { Color, HSVA, RGBA } from '../../../../base/common/color.js';
-import { Emitter } from '../../../../base/common/event.js';
-import { Disposable } from '../../../../base/common/lifecycle.js';
-import { ThemeIcon } from '../../../../base/common/themables.js';
-import './colorPicker.css.js';
-import { localize } from '../../../../nls.js';
-import '../../../../platform/theme/common/colorUtils.js';
-import '../../../../platform/theme/common/colors/baseColors.js';
-import '../../../../platform/theme/common/colors/chartsColors.js';
-import { editorHoverBackground } from '../../../../platform/theme/common/colors/editorColors.js';
-import '../../../../platform/theme/common/colors/inputColors.js';
-import '../../../../platform/theme/common/colors/listColors.js';
-import '../../../../platform/theme/common/colors/menuColors.js';
-import '../../../../platform/theme/common/colors/minimapColors.js';
-import '../../../../platform/theme/common/colors/miscColors.js';
-import '../../../../platform/theme/common/colors/quickpickColors.js';
-import '../../../../platform/theme/common/colors/searchColors.js';
-import { registerIcon } from '../../../../platform/theme/common/iconRegistry.js';
-const $ = $$1;
-class ColorPickerHeader extends Disposable {
-    constructor(container, model, themeService, showingStandaloneColorPicker = false) {
-        super();
-        this.model = model;
-        this.showingStandaloneColorPicker = showingStandaloneColorPicker;
-        this._closeButton = null;
-        this._domNode = $('.colorpicker-header');
-        append(container, this._domNode);
-        this._pickedColorNode = append(this._domNode, $('.picked-color'));
-        append(this._pickedColorNode, $('span.codicon.codicon-color-mode'));
-        this._pickedColorPresentation = append(this._pickedColorNode, document.createElement('span'));
-        this._pickedColorPresentation.classList.add('picked-color-presentation');
-        const tooltip = ( localize(9892, "Click to toggle color options (rgb/hsl/hex)"));
-        this._pickedColorNode.setAttribute('title', tooltip);
-        this._originalColorNode = append(this._domNode, $('.original-color'));
-        this._originalColorNode.style.backgroundColor = Color.Format.CSS.format(this.model.originalColor) || '';
-        this.backgroundColor = themeService.getColorTheme().getColor(editorHoverBackground) || Color.white;
-        this._register(themeService.onDidColorThemeChange(theme => {
-            this.backgroundColor = theme.getColor(editorHoverBackground) || Color.white;
-        }));
-        this._register(addDisposableListener(this._pickedColorNode, EventType.CLICK, () => this.model.selectNextColorPresentation()));
-        this._register(addDisposableListener(this._originalColorNode, EventType.CLICK, () => {
-            this.model.color = this.model.originalColor;
-            this.model.flushColor();
-        }));
-        this._register(model.onDidChangeColor(this.onDidChangeColor, this));
-        this._register(model.onDidChangePresentation(this.onDidChangePresentation, this));
-        this._pickedColorNode.style.backgroundColor = Color.Format.CSS.format(model.color) || '';
-        this._pickedColorNode.classList.toggle('light', model.color.rgba.a < 0.5 ? this.backgroundColor.isLighter() : model.color.isLighter());
-        this.onDidChangeColor(this.model.color);
-        if (this.showingStandaloneColorPicker) {
-            this._domNode.classList.add('standalone-colorpicker');
-            this._closeButton = this._register(( (new CloseButton(this._domNode))));
-        }
-    }
-    get domNode() {
-        return this._domNode;
-    }
-    get closeButton() {
-        return this._closeButton;
-    }
-    get pickedColorNode() {
-        return this._pickedColorNode;
-    }
-    get originalColorNode() {
-        return this._originalColorNode;
-    }
-    onDidChangeColor(color) {
-        this._pickedColorNode.style.backgroundColor = Color.Format.CSS.format(color) || '';
-        this._pickedColorNode.classList.toggle('light', color.rgba.a < 0.5 ? this.backgroundColor.isLighter() : color.isLighter());
-        this.onDidChangePresentation();
-    }
-    onDidChangePresentation() {
-        this._pickedColorPresentation.textContent = this.model.presentation ? this.model.presentation.label : '';
-    }
-}
-class CloseButton extends Disposable {
-    constructor(container) {
-        super();
-        this._onClicked = this._register(( (new Emitter())));
-        this.onClicked = this._onClicked.event;
-        this._button = document.createElement('div');
-        this._button.classList.add('close-button');
-        append(container, this._button);
-        const innerDiv = document.createElement('div');
-        innerDiv.classList.add('close-button-inner-div');
-        append(this._button, innerDiv);
-        const closeButton = append(innerDiv, $('.button' + ThemeIcon.asCSSSelector(registerIcon('color-picker-close', Codicon.close, ( localize(9893, 'Icon to close the color picker'))))));
-        closeButton.classList.add('close-icon');
-        this._register(addDisposableListener(this._button, EventType.CLICK, () => {
-            this._onClicked.fire();
-        }));
-    }
-}
-class ColorPickerBody extends Disposable {
-    constructor(container, model, pixelRatio, isStandaloneColorPicker = false) {
-        super();
-        this.model = model;
-        this.pixelRatio = pixelRatio;
-        this._insertButton = null;
-        this._domNode = $('.colorpicker-body');
-        append(container, this._domNode);
-        this._saturationBox = ( (new SaturationBox(this._domNode, this.model, this.pixelRatio)));
-        this._register(this._saturationBox);
-        this._register(this._saturationBox.onDidChange(this.onDidSaturationValueChange, this));
-        this._register(this._saturationBox.onColorFlushed(this.flushColor, this));
-        this._opacityStrip = ( (new OpacityStrip(this._domNode, this.model, isStandaloneColorPicker)));
-        this._register(this._opacityStrip);
-        this._register(this._opacityStrip.onDidChange(this.onDidOpacityChange, this));
-        this._register(this._opacityStrip.onColorFlushed(this.flushColor, this));
-        this._hueStrip = ( (new HueStrip(this._domNode, this.model, isStandaloneColorPicker)));
-        this._register(this._hueStrip);
-        this._register(this._hueStrip.onDidChange(this.onDidHueChange, this));
-        this._register(this._hueStrip.onColorFlushed(this.flushColor, this));
-        if (isStandaloneColorPicker) {
-            this._insertButton = this._register(( (new InsertButton(this._domNode))));
-            this._domNode.classList.add('standalone-colorpicker');
-        }
-    }
-    flushColor() {
-        this.model.flushColor();
-    }
-    onDidSaturationValueChange({ s, v }) {
-        const hsva = this.model.color.hsva;
-        this.model.color = ( (new Color( (new HSVA(hsva.h, s, v, hsva.a)))));
-    }
-    onDidOpacityChange(a) {
-        const hsva = this.model.color.hsva;
-        this.model.color = ( (new Color( (new HSVA(hsva.h, hsva.s, hsva.v, a)))));
-    }
-    onDidHueChange(value) {
-        const hsva = this.model.color.hsva;
-        const h = (1 - value) * 360;
-        this.model.color = ( (new Color( (new HSVA(h === 360 ? 0 : h, hsva.s, hsva.v, hsva.a)))));
-    }
-    get domNode() {
-        return this._domNode;
-    }
-    get saturationBox() {
-        return this._saturationBox;
-    }
-    get opacityStrip() {
-        return this._opacityStrip;
-    }
-    get hueStrip() {
-        return this._hueStrip;
-    }
-    get enterButton() {
-        return this._insertButton;
-    }
-    layout() {
-        this._saturationBox.layout();
-        this._opacityStrip.layout();
-        this._hueStrip.layout();
-    }
-}
-class SaturationBox extends Disposable {
-    constructor(container, model, pixelRatio) {
-        super();
-        this.model = model;
-        this.pixelRatio = pixelRatio;
-        this._onDidChange = ( (new Emitter()));
-        this.onDidChange = this._onDidChange.event;
-        this._onColorFlushed = ( (new Emitter()));
-        this.onColorFlushed = this._onColorFlushed.event;
-        this._domNode = $('.saturation-wrap');
-        append(container, this._domNode);
-        this._canvas = document.createElement('canvas');
-        this._canvas.className = 'saturation-box';
-        append(this._domNode, this._canvas);
-        this.selection = $('.saturation-selection');
-        append(this._domNode, this.selection);
-        this.layout();
-        this._register(addDisposableListener(this._domNode, EventType.POINTER_DOWN, e => this.onPointerDown(e)));
-        this._register(this.model.onDidChangeColor(this.onDidChangeColor, this));
-        this.monitor = null;
-    }
-    get domNode() {
-        return this._domNode;
-    }
-    get canvas() {
-        return this._canvas;
-    }
-    onPointerDown(e) {
-        if (!e.target || !(e.target instanceof Element)) {
-            return;
-        }
-        this.monitor = this._register(( (new GlobalPointerMoveMonitor())));
-        const origin = getDomNodePagePosition(this._domNode);
-        if (e.target !== this.selection) {
-            this.onDidChangePosition(e.offsetX, e.offsetY);
-        }
-        this.monitor.startMonitoring(e.target, e.pointerId, e.buttons, event => this.onDidChangePosition(event.pageX - origin.left, event.pageY - origin.top), () => null);
-        const pointerUpListener = addDisposableListener(e.target.ownerDocument, EventType.POINTER_UP, () => {
-            this._onColorFlushed.fire();
-            pointerUpListener.dispose();
-            if (this.monitor) {
-                this.monitor.stopMonitoring(true);
-                this.monitor = null;
-            }
-        }, true);
-    }
-    onDidChangePosition(left, top) {
-        const s = Math.max(0, Math.min(1, left / this.width));
-        const v = Math.max(0, Math.min(1, 1 - (top / this.height)));
-        this.paintSelection(s, v);
-        this._onDidChange.fire({ s, v });
-    }
-    layout() {
-        this.width = this._domNode.offsetWidth;
-        this.height = this._domNode.offsetHeight;
-        this._canvas.width = this.width * this.pixelRatio;
-        this._canvas.height = this.height * this.pixelRatio;
-        this.paint();
-        const hsva = this.model.color.hsva;
-        this.paintSelection(hsva.s, hsva.v);
-    }
-    paint() {
-        const hsva = this.model.color.hsva;
-        const saturatedColor = ( (new Color( (new HSVA(hsva.h, 1, 1, 1)))));
-        const ctx = this._canvas.getContext('2d');
-        const whiteGradient = ctx.createLinearGradient(0, 0, this._canvas.width, 0);
-        whiteGradient.addColorStop(0, 'rgba(255, 255, 255, 1)');
-        whiteGradient.addColorStop(0.5, 'rgba(255, 255, 255, 0.5)');
-        whiteGradient.addColorStop(1, 'rgba(255, 255, 255, 0)');
-        const blackGradient = ctx.createLinearGradient(0, 0, 0, this._canvas.height);
-        blackGradient.addColorStop(0, 'rgba(0, 0, 0, 0)');
-        blackGradient.addColorStop(1, 'rgba(0, 0, 0, 1)');
-        ctx.rect(0, 0, this._canvas.width, this._canvas.height);
-        ctx.fillStyle = Color.Format.CSS.format(saturatedColor);
-        ctx.fill();
-        ctx.fillStyle = whiteGradient;
-        ctx.fill();
-        ctx.fillStyle = blackGradient;
-        ctx.fill();
-    }
-    paintSelection(s, v) {
-        this.selection.style.left = `${s * this.width}px`;
-        this.selection.style.top = `${this.height - v * this.height}px`;
-    }
-    onDidChangeColor(color) {
-        if (this.monitor && this.monitor.isMonitoring()) {
-            return;
-        }
-        this.paint();
-        const hsva = color.hsva;
-        this.paintSelection(hsva.s, hsva.v);
-    }
-}
-class Strip extends Disposable {
-    constructor(container, model, showingStandaloneColorPicker = false) {
-        super();
-        this.model = model;
-        this._onDidChange = ( (new Emitter()));
-        this.onDidChange = this._onDidChange.event;
-        this._onColorFlushed = ( (new Emitter()));
-        this.onColorFlushed = this._onColorFlushed.event;
-        if (showingStandaloneColorPicker) {
-            this.domNode = append(container, $('.standalone-strip'));
-            this.overlay = append(this.domNode, $('.standalone-overlay'));
-        }
-        else {
-            this.domNode = append(container, $('.strip'));
-            this.overlay = append(this.domNode, $('.overlay'));
-        }
-        this.slider = append(this.domNode, $('.slider'));
-        this.slider.style.top = `0px`;
-        this._register(addDisposableListener(this.domNode, EventType.POINTER_DOWN, e => this.onPointerDown(e)));
-        this._register(model.onDidChangeColor(this.onDidChangeColor, this));
-        this.layout();
-    }
-    layout() {
-        this.height = this.domNode.offsetHeight - this.slider.offsetHeight;
-        const value = this.getValue(this.model.color);
-        this.updateSliderPosition(value);
-    }
-    onDidChangeColor(color) {
-        const value = this.getValue(color);
-        this.updateSliderPosition(value);
-    }
-    onPointerDown(e) {
-        if (!e.target || !(e.target instanceof Element)) {
-            return;
-        }
-        const monitor = this._register(( (new GlobalPointerMoveMonitor())));
-        const origin = getDomNodePagePosition(this.domNode);
-        this.domNode.classList.add('grabbing');
-        if (e.target !== this.slider) {
-            this.onDidChangeTop(e.offsetY);
-        }
-        monitor.startMonitoring(e.target, e.pointerId, e.buttons, event => this.onDidChangeTop(event.pageY - origin.top), () => null);
-        const pointerUpListener = addDisposableListener(e.target.ownerDocument, EventType.POINTER_UP, () => {
-            this._onColorFlushed.fire();
-            pointerUpListener.dispose();
-            monitor.stopMonitoring(true);
-            this.domNode.classList.remove('grabbing');
-        }, true);
-    }
-    onDidChangeTop(top) {
-        const value = Math.max(0, Math.min(1, 1 - (top / this.height)));
-        this.updateSliderPosition(value);
-        this._onDidChange.fire(value);
-    }
-    updateSliderPosition(value) {
-        this.slider.style.top = `${(1 - value) * this.height}px`;
-    }
-}
-class OpacityStrip extends Strip {
-    constructor(container, model, showingStandaloneColorPicker = false) {
-        super(container, model, showingStandaloneColorPicker);
-        this.domNode.classList.add('opacity-strip');
-        this.onDidChangeColor(this.model.color);
-    }
-    onDidChangeColor(color) {
-        super.onDidChangeColor(color);
-        const { r, g, b } = color.rgba;
-        const opaque = ( (new Color( (new RGBA(r, g, b, 1)))));
-        const transparent = ( (new Color( (new RGBA(r, g, b, 0)))));
-        this.overlay.style.background = `linear-gradient(to bottom, ${opaque} 0%, ${transparent} 100%)`;
-    }
-    getValue(color) {
-        return color.hsva.a;
-    }
-}
-class HueStrip extends Strip {
-    constructor(container, model, showingStandaloneColorPicker = false) {
-        super(container, model, showingStandaloneColorPicker);
-        this.domNode.classList.add('hue-strip');
-    }
-    getValue(color) {
-        return 1 - (color.hsva.h / 360);
-    }
-}
-class InsertButton extends Disposable {
-    constructor(container) {
-        super();
-        this._onClicked = this._register(( (new Emitter())));
-        this.onClicked = this._onClicked.event;
-        this._button = append(container, document.createElement('button'));
-        this._button.classList.add('insert-button');
-        this._button.textContent = 'Insert';
-        this._register(addDisposableListener(this._button, EventType.CLICK, () => {
-            this._onClicked.fire();
-        }));
-    }
-    get button() {
-        return this._button;
-    }
-}
-class ColorPickerWidget extends Widget {
-    static { this.ID = 'editor.contrib.colorPickerWidget'; }
-    constructor(container, model, pixelRatio, themeService, standaloneColorPicker = false) {
-        super();
-        this.model = model;
-        this.pixelRatio = pixelRatio;
-        this._register(PixelRatio.getInstance(getWindow(container)).onDidChange(() => this.layout()));
-        this._domNode = $('.colorpicker-widget');
-        container.appendChild(this._domNode);
-        this.header = this._register(( (new ColorPickerHeader(this._domNode, this.model, themeService, standaloneColorPicker))));
-        this.body = this._register(( (new ColorPickerBody(this._domNode, this.model, this.pixelRatio, standaloneColorPicker))));
-    }
-    getId() {
-        return ColorPickerWidget.ID;
-    }
-    layout() {
-        this.body.layout();
-    }
-    get domNode() {
-        return this._domNode;
-    }
-}
-export { ColorPickerBody, ColorPickerHeader, ColorPickerWidget, InsertButton };

package/vscode/src/vs/editor/contrib/inlineCompletions/browser/view/ghostTextView.js

@@ -1,271 +0,0 @@
-import { __decorate, __param } from '../../../../../../../../external/tslib/tslib.es6.js';
-import { createTrustedTypesPolicy } from '../../../../../base/browser/trustedTypes.js';
-import { Event } from '../../../../../base/common/event.js';
-import { Disposable, toDisposable } from '../../../../../base/common/lifecycle.js';
-import { observableValue } from '../../../../../base/common/observableInternal/base.js';
-import { derived } from '../../../../../base/common/observableInternal/derived.js';
-import { autorun } from '../../../../../base/common/observableInternal/autorun.js';
-import { observableFromEvent, observableSignalFromEvent } from '../../../../../base/common/observableInternal/utils.js';
-import '../../../../../base/common/cancellation.js';
-import '../../../../../base/common/arrays.js';
-import { containsRTL, isBasicASCII } from '../../../../../base/common/strings.js';
-import './ghostTextView.css.js';
-import { applyFontInfo } from '../../../../browser/config/domFontInfo.js';
-import { EditorOption, EditorFontLigatures } from '../../../../common/config/editorOptions.js';
-import { Position } from '../../../../common/core/position.js';
-import { Range } from '../../../../common/core/range.js';
-import { StringBuilder } from '../../../../common/core/stringBuilder.js';
-import { ILanguageService } from '../../../../common/languages/language.js';
-import { InjectedTextCursorStops, PositionAffinity } from '../../../../common/model.js';
-import { LineTokens } from '../../../../common/tokens/lineTokens.js';
-import { LineDecoration } from '../../../../common/viewLayout/lineDecorations.js';
-import { renderViewLine, RenderLineInput } from '../../../../common/viewLayout/viewLineRenderer.js';
-import { InlineDecorationType } from '../../../../common/viewModel.js';
-import { GhostTextReplacement } from '../model/ghostText.js';
-import { ColumnRange, applyObservableDecorations } from '../utils.js';
-const GHOST_TEXT_DESCRIPTION = 'ghost-text';
-let GhostTextView = class GhostTextView extends Disposable {
-    constructor(editor, model, languageService) {
-        super();
-        this.editor = editor;
-        this.model = model;
-        this.languageService = languageService;
-        this.isDisposed = observableValue(this, false);
-        this.currentTextModel = observableFromEvent(this, this.editor.onDidChangeModel, () =>  this.editor.getModel());
-        this.uiState = derived(this, reader => {
-            if (this.isDisposed.read(reader)) {
-                return undefined;
-            }
-            const textModel = this.currentTextModel.read(reader);
-            if (textModel !== this.model.targetTextModel.read(reader)) {
-                return undefined;
-            }
-            const ghostText = this.model.ghostText.read(reader);
-            if (!ghostText) {
-                return undefined;
-            }
-            const replacedRange = ghostText instanceof GhostTextReplacement ? ghostText.columnRange : undefined;
-            const inlineTexts = [];
-            const additionalLines = [];
-            function addToAdditionalLines(lines, className) {
-                if (additionalLines.length > 0) {
-                    const lastLine = additionalLines[additionalLines.length - 1];
-                    if (className) {
-                        lastLine.decorations.push(( new LineDecoration(
-                            lastLine.content.length + 1,
-                            lastLine.content.length + 1 + lines[0].length,
-                            className,
-                            InlineDecorationType.Regular
-                        )));
-                    }
-                    lastLine.content += lines[0];
-                    lines = lines.slice(1);
-                }
-                for (const line of lines) {
-                    additionalLines.push({
-                        content: line,
-                        decorations: className ? [( new LineDecoration(1, line.length + 1, className, InlineDecorationType.Regular))] : []
-                    });
-                }
-            }
-            const textBufferLine = textModel.getLineContent(ghostText.lineNumber);
-            let hiddenTextStartColumn = undefined;
-            let lastIdx = 0;
-            for (const part of ghostText.parts) {
-                let lines = part.lines;
-                if (hiddenTextStartColumn === undefined) {
-                    inlineTexts.push({
-                        column: part.column,
-                        text: lines[0],
-                        preview: part.preview,
-                    });
-                    lines = lines.slice(1);
-                }
-                else {
-                    addToAdditionalLines([textBufferLine.substring(lastIdx, part.column - 1)], undefined);
-                }
-                if (lines.length > 0) {
-                    addToAdditionalLines(lines, GHOST_TEXT_DESCRIPTION);
-                    if (hiddenTextStartColumn === undefined && part.column <= textBufferLine.length) {
-                        hiddenTextStartColumn = part.column;
-                    }
-                }
-                lastIdx = part.column - 1;
-            }
-            if (hiddenTextStartColumn !== undefined) {
-                addToAdditionalLines([textBufferLine.substring(lastIdx)], undefined);
-            }
-            const hiddenRange = hiddenTextStartColumn !== undefined ? ( new ColumnRange(hiddenTextStartColumn, textBufferLine.length + 1)) : undefined;
-            return {
-                replacedRange,
-                inlineTexts,
-                additionalLines,
-                hiddenRange,
-                lineNumber: ghostText.lineNumber,
-                additionalReservedLineCount: this.model.minReservedLineCount.read(reader),
-                targetTextModel: textModel,
-            };
-        });
-        this.decorations = derived(this, reader => {
-            const uiState = this.uiState.read(reader);
-            if (!uiState) {
-                return [];
-            }
-            const decorations = [];
-            if (uiState.replacedRange) {
-                decorations.push({
-                    range: uiState.replacedRange.toRange(uiState.lineNumber),
-                    options: { inlineClassName: 'inline-completion-text-to-replace', description: 'GhostTextReplacement' }
-                });
-            }
-            if (uiState.hiddenRange) {
-                decorations.push({
-                    range: uiState.hiddenRange.toRange(uiState.lineNumber),
-                    options: { inlineClassName: 'ghost-text-hidden', description: 'ghost-text-hidden', }
-                });
-            }
-            for (const p of uiState.inlineTexts) {
-                decorations.push({
-                    range: Range.fromPositions(( new Position(uiState.lineNumber, p.column))),
-                    options: {
-                        description: GHOST_TEXT_DESCRIPTION,
-                        after: { content: p.text, inlineClassName: p.preview ? 'ghost-text-decoration-preview' : 'ghost-text-decoration', cursorStops: InjectedTextCursorStops.Left },
-                        showIfCollapsed: true,
-                    }
-                });
-            }
-            return decorations;
-        });
-        this.additionalLinesWidget = this._register(( new AdditionalLinesWidget(this.editor, this.languageService.languageIdCodec, derived(reader => {
-            const uiState = this.uiState.read(reader);
-            return uiState ? {
-                lineNumber: uiState.lineNumber,
-                additionalLines: uiState.additionalLines,
-                minReservedLineCount: uiState.additionalReservedLineCount,
-                targetTextModel: uiState.targetTextModel,
-            } : undefined;
-        }))));
-        this._register(toDisposable(() => { this.isDisposed.set(true, undefined); }));
-        this._register(applyObservableDecorations(this.editor, this.decorations));
-    }
-    ownsViewZone(viewZoneId) {
-        return this.additionalLinesWidget.viewZoneId === viewZoneId;
-    }
-};
-GhostTextView = ( __decorate([
-    ( __param(2, ILanguageService))
-], GhostTextView));
-class AdditionalLinesWidget extends Disposable {
-    get viewZoneId() { return this._viewZoneId; }
-    constructor(editor, languageIdCodec, lines) {
-        super();
-        this.editor = editor;
-        this.languageIdCodec = languageIdCodec;
-        this.lines = lines;
-        this._viewZoneId = undefined;
-        this.editorOptionsChanged = observableSignalFromEvent('editorOptionChanged', Event.filter(this.editor.onDidChangeConfiguration, e => e.hasChanged(EditorOption.disableMonospaceOptimizations)
-            || e.hasChanged(EditorOption.stopRenderingLineAfter)
-            || e.hasChanged(EditorOption.renderWhitespace)
-            || e.hasChanged(EditorOption.renderControlCharacters)
-            || e.hasChanged(EditorOption.fontLigatures)
-            || e.hasChanged(EditorOption.fontInfo)
-            || e.hasChanged(EditorOption.lineHeight)));
-        this._register(autorun(reader => {
-            const lines = this.lines.read(reader);
-            this.editorOptionsChanged.read(reader);
-            if (lines) {
-                this.updateLines(lines.lineNumber, lines.additionalLines, lines.minReservedLineCount);
-            }
-            else {
-                this.clear();
-            }
-        }));
-    }
-    dispose() {
-        super.dispose();
-        this.clear();
-    }
-    clear() {
-        this.editor.changeViewZones((changeAccessor) => {
-            if (this._viewZoneId) {
-                changeAccessor.removeZone(this._viewZoneId);
-                this._viewZoneId = undefined;
-            }
-        });
-    }
-    updateLines(lineNumber, additionalLines, minReservedLineCount) {
-        const textModel = this.editor.getModel();
-        if (!textModel) {
-            return;
-        }
-        const { tabSize } = textModel.getOptions();
-        this.editor.changeViewZones((changeAccessor) => {
-            if (this._viewZoneId) {
-                changeAccessor.removeZone(this._viewZoneId);
-                this._viewZoneId = undefined;
-            }
-            const heightInLines = Math.max(additionalLines.length, minReservedLineCount);
-            if (heightInLines > 0) {
-                const domNode = document.createElement('div');
-                renderLines(domNode, tabSize, additionalLines, this.editor.getOptions(), this.languageIdCodec);
-                this._viewZoneId = changeAccessor.addZone({
-                    afterLineNumber: lineNumber,
-                    heightInLines: heightInLines,
-                    domNode,
-                    afterColumnAffinity: PositionAffinity.Right
-                });
-            }
-        });
-    }
-}
-function renderLines(domNode, tabSize, lines, opts, languageIdCodec) {
-    const disableMonospaceOptimizations = opts.get(EditorOption.disableMonospaceOptimizations);
-    const stopRenderingLineAfter = opts.get(EditorOption.stopRenderingLineAfter);
-    const renderWhitespace = 'none';
-    const renderControlCharacters = opts.get(EditorOption.renderControlCharacters);
-    const fontLigatures = opts.get(EditorOption.fontLigatures);
-    const fontInfo = opts.get(EditorOption.fontInfo);
-    const lineHeight = opts.get(EditorOption.lineHeight);
-    const sb = ( new StringBuilder(10000));
-    sb.appendString('<div class="suggest-preview-text">');
-    for (let i = 0, len = lines.length; i < len; i++) {
-        const lineData = lines[i];
-        const line = lineData.content;
-        sb.appendString('<div class="view-line');
-        sb.appendString('" style="top:');
-        sb.appendString(String(i * lineHeight));
-        sb.appendString('px;width:1000000px;">');
-        const isBasicASCII$1 = isBasicASCII(line);
-        const containsRTL$1 = containsRTL(line);
-        const lineTokens = LineTokens.createEmpty(line, languageIdCodec);
-        renderViewLine(( new RenderLineInput(
-            (fontInfo.isMonospace && !disableMonospaceOptimizations),
-            fontInfo.canUseHalfwidthRightwardsArrow,
-            line,
-            false,
-            isBasicASCII$1,
-            containsRTL$1,
-            0,
-            lineTokens,
-            lineData.decorations,
-            tabSize,
-            0,
-            fontInfo.spaceWidth,
-            fontInfo.middotWidth,
-            fontInfo.wsmiddotWidth,
-            stopRenderingLineAfter,
-            renderWhitespace,
-            renderControlCharacters,
-            fontLigatures !== EditorFontLigatures.OFF,
-            null
-        )), sb);
-        sb.appendString('</div>');
-    }
-    sb.appendString('</div>');
-    applyFontInfo(domNode, fontInfo);
-    const html = sb.build();
-    const trustedhtml = ttPolicy ? ttPolicy.createHTML(html) : html;
-    domNode.innerHTML = trustedhtml;
-}
-const ttPolicy = createTrustedTypesPolicy('editorGhostText', { createHTML: value => value });
-export { AdditionalLinesWidget, GHOST_TEXT_DESCRIPTION, GhostTextView, ttPolicy };