monaco-editor11 1.1.0 → 1.1.2

package/dist/workers/yaml.contribution.js

@@ -0,0 +1,9 @@
+import { registerLanguage } from '../_.contribution.js';
+
+registerLanguage({
+  id: "yaml",
+  extensions: [".yaml", ".yml"],
+  aliases: ["YAML", "yaml", "YML", "yml"],
+  mimetypes: ["application/x-yaml", "text/x-yaml"],
+  loader: () => import('./yaml.js')
+});

package/dist/workers/yaml.js

@@ -0,0 +1,271 @@
+import '../../editor/browser/coreCommands.js';
+import '../../editor/browser/widget/codeEditor/codeEditorWidget.js';
+import '../../editor/browser/widget/diffEditor/diffEditor.contribution.js';
+import '../../editor/contrib/anchorSelect/browser/anchorSelect.js';
+import '../../editor/contrib/bracketMatching/browser/bracketMatching.js';
+import '../../editor/contrib/caretOperations/browser/caretOperations.js';
+import '../../editor/contrib/caretOperations/browser/transpose.js';
+import '../../editor/contrib/clipboard/browser/clipboard.js';
+import '../../editor/contrib/codeAction/browser/codeActionContributions.js';
+import '../../editor/contrib/codelens/browser/codelensController.js';
+import '../../editor/contrib/colorPicker/browser/colorPickerContribution.js';
+import '../../editor/contrib/comment/browser/comment.js';
+import '../../editor/contrib/contextmenu/browser/contextmenu.js';
+import '../../editor/contrib/cursorUndo/browser/cursorUndo.js';
+import '../../editor/contrib/dnd/browser/dnd.js';
+import '../../editor/contrib/dropOrPasteInto/browser/copyPasteContribution.js';
+import '../../editor/contrib/dropOrPasteInto/browser/dropIntoEditorContribution.js';
+import '../../editor/contrib/find/browser/findController.js';
+import '../../editor/contrib/folding/browser/folding.js';
+import '../../editor/contrib/fontZoom/browser/fontZoom.js';
+import '../../editor/contrib/format/browser/formatActions.js';
+import '../../editor/contrib/documentSymbols/browser/documentSymbols.js';
+import '../../editor/contrib/inlineCompletions/browser/inlineCompletions.contribution.js';
+import '../../editor/contrib/inlineProgress/browser/inlineProgress.js';
+import '../../editor/contrib/gotoSymbol/browser/goToCommands.js';
+import '../../editor/contrib/gotoSymbol/browser/link/goToDefinitionAtPosition.js';
+import '../../editor/contrib/gotoError/browser/gotoError.js';
+import '../../editor/contrib/gpu/browser/gpuActions.js';
+import '../../editor/contrib/hover/browser/hoverContribution.js';
+import '../../editor/contrib/indentation/browser/indentation.js';
+import '../../editor/contrib/inlayHints/browser/inlayHintsContribution.js';
+import '../../editor/contrib/inPlaceReplace/browser/inPlaceReplace.js';
+import '../../editor/contrib/insertFinalNewLine/browser/insertFinalNewLine.js';
+import '../../editor/contrib/lineSelection/browser/lineSelection.js';
+import '../../editor/contrib/linesOperations/browser/linesOperations.js';
+import '../../editor/contrib/linkedEditing/browser/linkedEditing.js';
+import '../../editor/contrib/links/browser/links.js';
+import '../../editor/contrib/longLinesHelper/browser/longLinesHelper.js';
+import '../../editor/contrib/middleScroll/browser/middleScroll.contribution.js';
+import '../../editor/contrib/multicursor/browser/multicursor.js';
+import '../../editor/contrib/parameterHints/browser/parameterHints.js';
+import '../../editor/contrib/placeholderText/browser/placeholderText.contribution.js';
+import '../../editor/contrib/rename/browser/rename.js';
+import '../../editor/contrib/sectionHeaders/browser/sectionHeaders.js';
+import '../../editor/contrib/semanticTokens/browser/documentSemanticTokens.js';
+import '../../editor/contrib/semanticTokens/browser/viewportSemanticTokens.js';
+import '../../editor/contrib/smartSelect/browser/smartSelect.js';
+import '../../editor/contrib/snippet/browser/snippetController2.js';
+import '../../editor/contrib/stickyScroll/browser/stickyScrollContribution.js';
+import '../../editor/contrib/suggest/browser/suggestController.js';
+import '../../editor/contrib/suggest/browser/suggestInlineCompletions.js';
+import '../../editor/contrib/tokenization/browser/tokenization.js';
+import '../../editor/contrib/toggleTabFocusMode/browser/toggleTabFocusMode.js';
+import '../../editor/contrib/unicodeHighlighter/browser/unicodeHighlighter.js';
+import '../../editor/contrib/unusualLineTerminators/browser/unusualLineTerminators.js';
+import '../../editor/contrib/wordHighlighter/browser/wordHighlighter.js';
+import '../../editor/contrib/wordOperations/browser/wordOperations.js';
+import '../../editor/contrib/wordPartOperations/browser/wordPartOperations.js';
+import '../../editor/contrib/readOnlyMessage/browser/contribution.js';
+import '../../editor/contrib/diffEditorBreadcrumbs/browser/contribution.js';
+import '../../editor/contrib/floatingMenu/browser/floatingMenu.contribution.js';
+import '../../editor/common/standaloneStrings.js';
+import '../../base/browser/ui/codicons/codicon/codicon.css';
+import '../../base/browser/ui/codicons/codicon/codicon-modifiers.css';
+import '../../editor/standalone/browser/iPadShowKeyboard/iPadShowKeyboard.js';
+import '../../editor/standalone/browser/inspectTokens/inspectTokens.js';
+import '../../editor/standalone/browser/quickAccess/standaloneHelpQuickAccess.js';
+import '../../editor/standalone/browser/quickAccess/standaloneGotoLineQuickAccess.js';
+import '../../editor/standalone/browser/quickAccess/standaloneGotoSymbolQuickAccess.js';
+import '../../editor/standalone/browser/quickAccess/standaloneCommandsQuickAccess.js';
+import '../../editor/standalone/browser/referenceSearch/standaloneReferenceSearch.js';
+import '../../editor/standalone/browser/toggleHighContrast/toggleHighContrast.js';
+import { languages } from '../../editor/editor.api2.js';
+
+const conf = {
+  comments: {
+    lineComment: "#"
+  },
+  brackets: [
+    ["{", "}"],
+    ["[", "]"],
+    ["(", ")"]
+  ],
+  autoClosingPairs: [
+    { open: "{", close: "}" },
+    { open: "[", close: "]" },
+    { open: "(", close: ")" },
+    { open: '"', close: '"' },
+    { open: "'", close: "'" }
+  ],
+  surroundingPairs: [
+    { open: "{", close: "}" },
+    { open: "[", close: "]" },
+    { open: "(", close: ")" },
+    { open: '"', close: '"' },
+    { open: "'", close: "'" }
+  ],
+  folding: {
+    offSide: true
+  },
+  onEnterRules: [
+    {
+      beforeText: /:\s*$/,
+      action: {
+        indentAction: languages.IndentAction.Indent
+      }
+    }
+  ]
+};
+const language = {
+  tokenPostfix: ".yaml",
+  brackets: [
+    { token: "delimiter.bracket", open: "{", close: "}" },
+    { token: "delimiter.square", open: "[", close: "]" }
+  ],
+  keywords: ["true", "True", "TRUE", "false", "False", "FALSE", "null", "Null", "Null", "~"],
+  numberInteger: /(?:0|[+-]?[0-9]+)/,
+  numberFloat: /(?:0|[+-]?[0-9]+)(?:\.[0-9]+)?(?:e[-+][1-9][0-9]*)?/,
+  numberOctal: /0o[0-7]+/,
+  numberHex: /0x[0-9a-fA-F]+/,
+  numberInfinity: /[+-]?\.(?:inf|Inf|INF)/,
+  numberNaN: /\.(?:nan|Nan|NAN)/,
+  numberDate: /\d{4}-\d\d-\d\d([Tt ]\d\d:\d\d:\d\d(\.\d+)?(( ?[+-]\d\d?(:\d\d)?)|Z)?)?/,
+  escapes: /\\(?:[btnfr\\"']|[0-7][0-7]?|[0-3][0-7]{2})/,
+  tokenizer: {
+    root: [
+      { include: "@whitespace" },
+      { include: "@comment" },
+      // Directive
+      [/%[^ ]+.*$/, "meta.directive"],
+      // Document Markers
+      [/---/, "operators.directivesEnd"],
+      [/\.{3}/, "operators.documentEnd"],
+      // Block Structure Indicators
+      [/[-?:](?= )/, "operators"],
+      { include: "@anchor" },
+      { include: "@tagHandle" },
+      { include: "@flowCollections" },
+      { include: "@blockStyle" },
+      // Numbers
+      [/@numberInteger(?![ \t]*\S+)/, "number"],
+      [/@numberFloat(?![ \t]*\S+)/, "number.float"],
+      [/@numberOctal(?![ \t]*\S+)/, "number.octal"],
+      [/@numberHex(?![ \t]*\S+)/, "number.hex"],
+      [/@numberInfinity(?![ \t]*\S+)/, "number.infinity"],
+      [/@numberNaN(?![ \t]*\S+)/, "number.nan"],
+      [/@numberDate(?![ \t]*\S+)/, "number.date"],
+      // Key:Value pair
+      [/(".*?"|'.*?'|[^#'"]*?)([ \t]*)(:)( |$)/, ["type", "white", "operators", "white"]],
+      { include: "@flowScalars" },
+      // String nodes
+      [
+        /.+?(?=(\s+#|$))/,
+        {
+          cases: {
+            "@keywords": "keyword",
+            "@default": "string"
+          }
+        }
+      ]
+    ],
+    // Flow Collection: Flow Mapping
+    object: [
+      { include: "@whitespace" },
+      { include: "@comment" },
+      // Flow Mapping termination
+      [/\}/, "@brackets", "@pop"],
+      // Flow Mapping delimiter
+      [/,/, "delimiter.comma"],
+      // Flow Mapping Key:Value delimiter
+      [/:(?= )/, "operators"],
+      // Flow Mapping Key:Value key
+      [/(?:".*?"|'.*?'|[^,\{\[]+?)(?=: )/, "type"],
+      // Start Flow Style
+      { include: "@flowCollections" },
+      { include: "@flowScalars" },
+      // Scalar Data types
+      { include: "@tagHandle" },
+      { include: "@anchor" },
+      { include: "@flowNumber" },
+      // Other value (keyword or string)
+      [
+        /[^\},]+/,
+        {
+          cases: {
+            "@keywords": "keyword",
+            "@default": "string"
+          }
+        }
+      ]
+    ],
+    // Flow Collection: Flow Sequence
+    array: [
+      { include: "@whitespace" },
+      { include: "@comment" },
+      // Flow Sequence termination
+      [/\]/, "@brackets", "@pop"],
+      // Flow Sequence delimiter
+      [/,/, "delimiter.comma"],
+      // Start Flow Style
+      { include: "@flowCollections" },
+      { include: "@flowScalars" },
+      // Scalar Data types
+      { include: "@tagHandle" },
+      { include: "@anchor" },
+      { include: "@flowNumber" },
+      // Other value (keyword or string)
+      [
+        /[^\],]+/,
+        {
+          cases: {
+            "@keywords": "keyword",
+            "@default": "string"
+          }
+        }
+      ]
+    ],
+    // First line of a Block Style
+    multiString: [[/^( +).+$/, "string", "@multiStringContinued.$1"]],
+    // Further lines of a Block Style
+    //   Workaround for indentation detection
+    multiStringContinued: [
+      [
+        /^( *).+$/,
+        {
+          cases: {
+            "$1==$S2": "string",
+            "@default": { token: "@rematch", next: "@popall" }
+          }
+        }
+      ]
+    ],
+    whitespace: [[/[ \t\r\n]+/, "white"]],
+    // Only line comments
+    comment: [[/#.*$/, "comment"]],
+    // Start Flow Collections
+    flowCollections: [
+      [/\[/, "@brackets", "@array"],
+      [/\{/, "@brackets", "@object"]
+    ],
+    // Start Flow Scalars (quoted strings)
+    flowScalars: [
+      [/"([^"\\]|\\.)*$/, "string.invalid"],
+      [/'([^'\\]|\\.)*$/, "string.invalid"],
+      [/'[^']*'/, "string"],
+      [/"/, "string", "@doubleQuotedString"]
+    ],
+    doubleQuotedString: [
+      [/[^\\"]+/, "string"],
+      [/@escapes/, "string.escape"],
+      [/\\./, "string.escape.invalid"],
+      [/"/, "string", "@pop"]
+    ],
+    // Start Block Scalar
+    blockStyle: [[/[>|][0-9]*[+-]?$/, "operators", "@multiString"]],
+    // Numbers in Flow Collections (terminate with ,]})
+    flowNumber: [
+      [/@numberInteger(?=[ \t]*[,\]\}])/, "number"],
+      [/@numberFloat(?=[ \t]*[,\]\}])/, "number.float"],
+      [/@numberOctal(?=[ \t]*[,\]\}])/, "number.octal"],
+      [/@numberHex(?=[ \t]*[,\]\}])/, "number.hex"],
+      [/@numberInfinity(?=[ \t]*[,\]\}])/, "number.infinity"],
+      [/@numberNaN(?=[ \t]*[,\]\}])/, "number.nan"],
+      [/@numberDate(?=[ \t]*[,\]\}])/, "number.date"]
+    ],
+    tagHandle: [[/\![^ ]*/, "tag"]],
+    anchor: [[/[&*][^ ]+/, "namespace"]]
+  }
+};
+
+export { conf, language };

package/dist/workers/zoneWidget.js

@@ -0,0 +1,406 @@
+import { removeCSSRulesContainingSelector, createCSSRule } from '../../../../base/browser/domStylesheets.js';
+import { Sash } from '../../../../base/browser/ui/sash/sash.js';
+import { Color, RGBA } from '../../../../base/common/color.js';
+import { IdGenerator } from '../../../../base/common/idGenerator.js';
+import { DisposableStore } from '../../../../base/common/lifecycle.js';
+import { deepClone, mixin } from '../../../../base/common/objects.js';
+import './zoneWidget.css';
+import { Range } from '../../../common/core/range.js';
+import { ModelDecorationOptions } from '../../../common/model/textModel.js';
+
+const defaultColor = new Color(new RGBA(0, 122, 204));
+const defaultOptions = {
+    showArrow: true,
+    showFrame: true,
+    className: '',
+    frameColor: defaultColor,
+    arrowColor: defaultColor,
+    keepEditorSelection: false
+};
+const WIDGET_ID = 'vs.editor.contrib.zoneWidget';
+class ViewZoneDelegate {
+    constructor(domNode, afterLineNumber, afterColumn, heightInLines, onDomNodeTop, onComputedHeight, showInHiddenAreas, ordinal) {
+        this.id = ''; // A valid zone id should be greater than 0
+        this.domNode = domNode;
+        this.afterLineNumber = afterLineNumber;
+        this.afterColumn = afterColumn;
+        this.heightInLines = heightInLines;
+        this.showInHiddenAreas = showInHiddenAreas;
+        this.ordinal = ordinal;
+        this._onDomNodeTop = onDomNodeTop;
+        this._onComputedHeight = onComputedHeight;
+    }
+    onDomNodeTop(top) {
+        this._onDomNodeTop(top);
+    }
+    onComputedHeight(height) {
+        this._onComputedHeight(height);
+    }
+}
+class OverlayWidgetDelegate {
+    constructor(id, domNode) {
+        this._id = id;
+        this._domNode = domNode;
+    }
+    getId() {
+        return this._id;
+    }
+    getDomNode() {
+        return this._domNode;
+    }
+    getPosition() {
+        return null;
+    }
+}
+class Arrow {
+    static { this._IdGenerator = new IdGenerator('.arrow-decoration-'); }
+    constructor(_editor) {
+        this._editor = _editor;
+        this._ruleName = Arrow._IdGenerator.nextId();
+        this._color = null;
+        this._height = -1;
+        this._decorations = this._editor.createDecorationsCollection();
+    }
+    dispose() {
+        this.hide();
+        removeCSSRulesContainingSelector(this._ruleName);
+    }
+    set color(value) {
+        if (this._color !== value) {
+            this._color = value;
+            this._updateStyle();
+        }
+    }
+    set height(value) {
+        if (this._height !== value) {
+            this._height = value;
+            this._updateStyle();
+        }
+    }
+    _updateStyle() {
+        removeCSSRulesContainingSelector(this._ruleName);
+        createCSSRule(`.monaco-editor ${this._ruleName}`, `border-style: solid; border-color: transparent; border-bottom-color: ${this._color}; border-width: ${this._height}px; bottom: -${this._height}px !important; margin-left: -${this._height}px; `);
+    }
+    show(where) {
+        if (where.column === 1) {
+            // the arrow isn't pretty at column 1 and we need to push it out a little
+            where = { lineNumber: where.lineNumber, column: 2 };
+        }
+        this._decorations.set([{
+                range: Range.fromPositions(where),
+                options: {
+                    description: 'zone-widget-arrow',
+                    className: this._ruleName,
+                    stickiness: 1 /* TrackedRangeStickiness.NeverGrowsWhenTypingAtEdges */
+                }
+            }]);
+    }
+    hide() {
+        this._decorations.clear();
+    }
+}
+class ZoneWidget {
+    constructor(editor, options = {}) {
+        this._arrow = null;
+        this._overlayWidget = null;
+        this._resizeSash = null;
+        this._isSashResizeHeight = false;
+        this._viewZone = null;
+        this._disposables = new DisposableStore();
+        this.container = null;
+        this._isShowing = false;
+        this.editor = editor;
+        this._positionMarkerId = this.editor.createDecorationsCollection();
+        this.options = deepClone(options);
+        mixin(this.options, defaultOptions, false);
+        this.domNode = document.createElement('div');
+        if (!this.options.isAccessible) {
+            this.domNode.setAttribute('aria-hidden', 'true');
+            this.domNode.setAttribute('role', 'presentation');
+        }
+        this._disposables.add(this.editor.onDidLayoutChange((info) => {
+            const width = this._getWidth(info);
+            this.domNode.style.width = width + 'px';
+            this.domNode.style.left = this._getLeft(info) + 'px';
+            this._onWidth(width);
+        }));
+    }
+    dispose() {
+        if (this._overlayWidget) {
+            this.editor.removeOverlayWidget(this._overlayWidget);
+            this._overlayWidget = null;
+        }
+        if (this._viewZone) {
+            this.editor.changeViewZones(accessor => {
+                if (this._viewZone) {
+                    accessor.removeZone(this._viewZone.id);
+                }
+                this._viewZone = null;
+            });
+        }
+        this._positionMarkerId.clear();
+        this._disposables.dispose();
+    }
+    create() {
+        this.domNode.classList.add('zone-widget');
+        if (this.options.className) {
+            this.domNode.classList.add(this.options.className);
+        }
+        this.container = document.createElement('div');
+        this.container.classList.add('zone-widget-container');
+        this.domNode.appendChild(this.container);
+        if (this.options.showArrow) {
+            this._arrow = new Arrow(this.editor);
+            this._disposables.add(this._arrow);
+        }
+        this._fillContainer(this.container);
+        this._initSash();
+        this._applyStyles();
+    }
+    style(styles) {
+        if (styles.frameColor) {
+            this.options.frameColor = styles.frameColor;
+        }
+        if (styles.arrowColor) {
+            this.options.arrowColor = styles.arrowColor;
+        }
+        this._applyStyles();
+    }
+    _applyStyles() {
+        if (this.container && this.options.frameColor) {
+            const frameColor = this.options.frameColor.toString();
+            this.container.style.borderTopColor = frameColor;
+            this.container.style.borderBottomColor = frameColor;
+        }
+        if (this._arrow && this.options.arrowColor) {
+            const arrowColor = this.options.arrowColor.toString();
+            this._arrow.color = arrowColor;
+        }
+    }
+    _getWidth(info) {
+        return info.width - info.minimap.minimapWidth - info.verticalScrollbarWidth;
+    }
+    _getLeft(info) {
+        // If minimap is to the left, we move beyond it
+        if (info.minimap.minimapWidth > 0 && info.minimap.minimapLeft === 0) {
+            return info.minimap.minimapWidth;
+        }
+        return 0;
+    }
+    _onViewZoneTop(top) {
+        this.domNode.style.top = top + 'px';
+    }
+    _onViewZoneHeight(height) {
+        this.domNode.style.height = `${height}px`;
+        if (this.container) {
+            const containerHeight = height - this._decoratingElementsHeight();
+            this.container.style.height = `${containerHeight}px`;
+            const layoutInfo = this.editor.getLayoutInfo();
+            this._doLayout(containerHeight, this._getWidth(layoutInfo));
+        }
+        this._resizeSash?.layout();
+    }
+    get position() {
+        const range = this._positionMarkerId.getRange(0);
+        if (!range) {
+            return undefined;
+        }
+        return range.getStartPosition();
+    }
+    show(rangeOrPos, heightInLines) {
+        const range = Range.isIRange(rangeOrPos) ? Range.lift(rangeOrPos) : Range.fromPositions(rangeOrPos);
+        this._isShowing = true;
+        this._showImpl(range, heightInLines);
+        this._isShowing = false;
+        this._positionMarkerId.set([{ range, options: ModelDecorationOptions.EMPTY }]);
+    }
+    hide() {
+        if (this._viewZone) {
+            this.editor.changeViewZones(accessor => {
+                if (this._viewZone) {
+                    accessor.removeZone(this._viewZone.id);
+                }
+            });
+            this._viewZone = null;
+        }
+        if (this._overlayWidget) {
+            this.editor.removeOverlayWidget(this._overlayWidget);
+            this._overlayWidget = null;
+        }
+        this._arrow?.hide();
+        this._positionMarkerId.clear();
+        this._isSashResizeHeight = false;
+    }
+    _decoratingElementsHeight() {
+        const lineHeight = this.editor.getOption(75 /* EditorOption.lineHeight */);
+        let result = 0;
+        if (this.options.showArrow) {
+            const arrowHeight = Math.round(lineHeight / 3);
+            result += 2 * arrowHeight;
+        }
+        if (this.options.showFrame) {
+            const frameThickness = this.options.frameWidth ?? Math.round(lineHeight / 9);
+            result += 2 * frameThickness;
+        }
+        return result;
+    }
+    /** Gets the maximum widget height in lines. */
+    _getMaximumHeightInLines() {
+        return Math.max(12, (this.editor.getLayoutInfo().height / this.editor.getOption(75 /* EditorOption.lineHeight */)) * 0.8);
+    }
+    _showImpl(where, heightInLines) {
+        const position = where.getStartPosition();
+        const layoutInfo = this.editor.getLayoutInfo();
+        const width = this._getWidth(layoutInfo);
+        this.domNode.style.width = `${width}px`;
+        this.domNode.style.left = this._getLeft(layoutInfo) + 'px';
+        // Render the widget as zone (rendering) and widget (lifecycle)
+        const viewZoneDomNode = document.createElement('div');
+        viewZoneDomNode.style.overflow = 'hidden';
+        const lineHeight = this.editor.getOption(75 /* EditorOption.lineHeight */);
+        // adjust heightInLines to viewport
+        const maxHeightInLines = this._getMaximumHeightInLines();
+        if (maxHeightInLines !== undefined) {
+            heightInLines = Math.min(heightInLines, maxHeightInLines);
+        }
+        let arrowHeight = 0;
+        let frameThickness = 0;
+        // Render the arrow one 1/3 of an editor line height
+        if (this._arrow && this.options.showArrow) {
+            arrowHeight = Math.round(lineHeight / 3);
+            this._arrow.height = arrowHeight;
+            this._arrow.show(position);
+        }
+        // Render the frame as 1/9 of an editor line height
+        if (this.options.showFrame) {
+            frameThickness = Math.round(lineHeight / 9);
+        }
+        // insert zone widget
+        this.editor.changeViewZones((accessor) => {
+            if (this._viewZone) {
+                accessor.removeZone(this._viewZone.id);
+            }
+            if (this._overlayWidget) {
+                this.editor.removeOverlayWidget(this._overlayWidget);
+                this._overlayWidget = null;
+            }
+            this.domNode.style.top = '-1000px';
+            this._viewZone = new ViewZoneDelegate(viewZoneDomNode, position.lineNumber, position.column, heightInLines, (top) => this._onViewZoneTop(top), (height) => this._onViewZoneHeight(height), this.options.showInHiddenAreas, this.options.ordinal);
+            this._viewZone.id = accessor.addZone(this._viewZone);
+            this._overlayWidget = new OverlayWidgetDelegate(WIDGET_ID + this._viewZone.id, this.domNode);
+            this.editor.addOverlayWidget(this._overlayWidget);
+        });
+        this._updateSashEnablement();
+        if (this.container && this.options.showFrame) {
+            const width = this.options.frameWidth ? this.options.frameWidth : frameThickness;
+            this.container.style.borderTopWidth = width + 'px';
+            this.container.style.borderBottomWidth = width + 'px';
+        }
+        const containerHeight = heightInLines * lineHeight - this._decoratingElementsHeight();
+        if (this.container) {
+            this.container.style.top = arrowHeight + 'px';
+            this.container.style.height = containerHeight + 'px';
+            this.container.style.overflow = 'hidden';
+        }
+        this._doLayout(containerHeight, width);
+        if (!this.options.keepEditorSelection) {
+            this.editor.setSelection(where);
+        }
+        const model = this.editor.getModel();
+        if (model) {
+            const range = model.validateRange(new Range(where.startLineNumber, 1, where.endLineNumber + 1, 1));
+            this.revealRange(range, range.startLineNumber === model.getLineCount());
+        }
+    }
+    revealRange(range, isLastLine) {
+        if (isLastLine) {
+            this.editor.revealLineNearTop(range.endLineNumber, 0 /* ScrollType.Smooth */);
+        }
+        else {
+            this.editor.revealRange(range, 0 /* ScrollType.Smooth */);
+        }
+    }
+    setCssClass(className, classToReplace) {
+        if (!this.container) {
+            return;
+        }
+        if (classToReplace) {
+            this.container.classList.remove(classToReplace);
+        }
+        this.container.classList.add(className);
+    }
+    _onWidth(widthInPixel) {
+        // implement in subclass
+    }
+    _doLayout(heightInPixel, widthInPixel) {
+        // implement in subclass
+    }
+    _relayout(_newHeightInLines, useMax) {
+        const maxHeightInLines = this._getMaximumHeightInLines();
+        const newHeightInLines = (useMax && (maxHeightInLines !== undefined)) ? Math.min(maxHeightInLines, _newHeightInLines) : _newHeightInLines;
+        if (this._viewZone && this._viewZone.heightInLines !== newHeightInLines) {
+            this.editor.changeViewZones(accessor => {
+                if (this._viewZone) {
+                    this._viewZone.heightInLines = newHeightInLines;
+                    accessor.layoutZone(this._viewZone.id);
+                }
+            });
+            this._updateSashEnablement();
+        }
+    }
+    // --- sash
+    _initSash() {
+        if (this._resizeSash) {
+            return;
+        }
+        this._resizeSash = this._disposables.add(new Sash(this.domNode, this, { orientation: 1 /* Orientation.HORIZONTAL */ }));
+        if (!this.options.isResizeable) {
+            this._resizeSash.state = 0 /* SashState.Disabled */;
+        }
+        let data;
+        this._disposables.add(this._resizeSash.onDidStart((e) => {
+            if (this._viewZone) {
+                data = {
+                    startY: e.startY,
+                    heightInLines: this._viewZone.heightInLines,
+                    ...this._getResizeBounds()
+                };
+            }
+        }));
+        this._disposables.add(this._resizeSash.onDidEnd(() => {
+            data = undefined;
+        }));
+        this._disposables.add(this._resizeSash.onDidChange((evt) => {
+            if (data) {
+                const lineDelta = (evt.currentY - data.startY) / this.editor.getOption(75 /* EditorOption.lineHeight */);
+                const roundedLineDelta = lineDelta < 0 ? Math.ceil(lineDelta) : Math.floor(lineDelta);
+                const newHeightInLines = data.heightInLines + roundedLineDelta;
+                if (newHeightInLines > data.minLines && newHeightInLines < data.maxLines) {
+                    this._isSashResizeHeight = true;
+                    this._relayout(newHeightInLines);
+                }
+            }
+        }));
+    }
+    _updateSashEnablement() {
+        if (this._resizeSash) {
+            const { minLines, maxLines } = this._getResizeBounds();
+            this._resizeSash.state = minLines === maxLines ? 0 /* SashState.Disabled */ : 3 /* SashState.Enabled */;
+        }
+    }
+    _getResizeBounds() {
+        return { minLines: 5, maxLines: 35 };
+    }
+    getHorizontalSashLeft() {
+        return 0;
+    }
+    getHorizontalSashTop() {
+        return (this.domNode.style.height === null ? 0 : parseInt(this.domNode.style.height)) - (this._decoratingElementsHeight() / 2);
+    }
+    getHorizontalSashWidth() {
+        const layoutInfo = this.editor.getLayoutInfo();
+        return layoutInfo.width - layoutInfo.minimap.minimapWidth;
+    }
+}
+
+export { OverlayWidgetDelegate, ZoneWidget };