123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121 |
- import { equals } from '../../base/common/objects.js';
- /**
- * Vertical Lane in the overview ruler of the editor.
- */
- export var OverviewRulerLane;
- (function (OverviewRulerLane) {
- OverviewRulerLane[OverviewRulerLane["Left"] = 1] = "Left";
- OverviewRulerLane[OverviewRulerLane["Center"] = 2] = "Center";
- OverviewRulerLane[OverviewRulerLane["Right"] = 4] = "Right";
- OverviewRulerLane[OverviewRulerLane["Full"] = 7] = "Full";
- })(OverviewRulerLane || (OverviewRulerLane = {}));
- /**
- * Position in the minimap to render the decoration.
- */
- export var MinimapPosition;
- (function (MinimapPosition) {
- MinimapPosition[MinimapPosition["Inline"] = 1] = "Inline";
- MinimapPosition[MinimapPosition["Gutter"] = 2] = "Gutter";
- })(MinimapPosition || (MinimapPosition = {}));
- export class TextModelResolvedOptions {
- /**
- * @internal
- */
- constructor(src) {
- this._textModelResolvedOptionsBrand = undefined;
- this.tabSize = Math.max(1, src.tabSize | 0);
- this.indentSize = src.tabSize | 0;
- this.insertSpaces = Boolean(src.insertSpaces);
- this.defaultEOL = src.defaultEOL | 0;
- this.trimAutoWhitespace = Boolean(src.trimAutoWhitespace);
- this.bracketPairColorizationOptions = src.bracketPairColorizationOptions;
- }
- /**
- * @internal
- */
- equals(other) {
- return (this.tabSize === other.tabSize
- && this.indentSize === other.indentSize
- && this.insertSpaces === other.insertSpaces
- && this.defaultEOL === other.defaultEOL
- && this.trimAutoWhitespace === other.trimAutoWhitespace
- && equals(this.bracketPairColorizationOptions, other.bracketPairColorizationOptions));
- }
- /**
- * @internal
- */
- createChangeEvent(newOpts) {
- return {
- tabSize: this.tabSize !== newOpts.tabSize,
- indentSize: this.indentSize !== newOpts.indentSize,
- insertSpaces: this.insertSpaces !== newOpts.insertSpaces,
- trimAutoWhitespace: this.trimAutoWhitespace !== newOpts.trimAutoWhitespace,
- };
- }
- }
- export class FindMatch {
- /**
- * @internal
- */
- constructor(range, matches) {
- this._findMatchBrand = undefined;
- this.range = range;
- this.matches = matches;
- }
- }
- /**
- * @internal
- */
- export var HorizontalGuidesState;
- (function (HorizontalGuidesState) {
- HorizontalGuidesState[HorizontalGuidesState["Disabled"] = 0] = "Disabled";
- HorizontalGuidesState[HorizontalGuidesState["EnabledForActive"] = 1] = "EnabledForActive";
- HorizontalGuidesState[HorizontalGuidesState["Enabled"] = 2] = "Enabled";
- })(HorizontalGuidesState || (HorizontalGuidesState = {}));
- /**
- * @internal
- */
- export class IndentGuide {
- constructor(visibleColumn, className,
- /**
- * If set, this indent guide is a horizontal guide (no vertical part).
- * It starts at visibleColumn and continues until endColumn.
- */
- horizontalLine) {
- this.visibleColumn = visibleColumn;
- this.className = className;
- this.horizontalLine = horizontalLine;
- }
- }
- /**
- * @internal
- */
- export class IndentGuideHorizontalLine {
- constructor(top, endColumn) {
- this.top = top;
- this.endColumn = endColumn;
- }
- }
- /**
- * @internal
- */
- export class ValidAnnotatedEditOperation {
- constructor(identifier, range, text, forceMoveMarkers, isAutoWhitespaceEdit, _isTracked) {
- this.identifier = identifier;
- this.range = range;
- this.text = text;
- this.forceMoveMarkers = forceMoveMarkers;
- this.isAutoWhitespaceEdit = isAutoWhitespaceEdit;
- this._isTracked = _isTracked;
- }
- }
- /**
- * @internal
- */
- export class ApplyEditsResult {
- constructor(reverseEdits, changes, trimAutoWhitespaceLineNumbers) {
- this.reverseEdits = reverseEdits;
- this.changes = changes;
- this.trimAutoWhitespaceLineNumbers = trimAutoWhitespaceLineNumbers;
- }
- }
|