monaco-editor-core 0.54.0-dev-20250910 → 0.54.0-dev-20250911

package/esm/vs/editor/browser/controller/editContext/native/screenReaderSupport.js

@@ -59,7 +59,7 @@ let ScreenReaderSupport = class ScreenReaderSupport extends Disposable {
         }
     }
     _instantiateScreenReaderContent() {
-        const renderRichContent = this._context.configuration.options.get(106 /* EditorOption.renderRichScreenReaderContent */);
+        const renderRichContent = this._context.configuration.options.get(107 /* EditorOption.renderRichScreenReaderContent */);
         if (this._renderRichContent !== renderRichContent) {
             this._renderRichContent = renderRichContent;
             this._state.value = this._createScreenReaderContent(renderRichContent);
@@ -75,7 +75,7 @@ let ScreenReaderSupport = class ScreenReaderSupport extends Disposable {
     }
     _updateConfigurationSettings() {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const wrappingColumn = layoutInfo.wrappingColumn;
         this._contentLeft = layoutInfo.contentLeft;
         this._contentWidth = layoutInfo.contentWidth;
@@ -89,15 +89,15 @@ let ScreenReaderSupport = class ScreenReaderSupport extends Disposable {
         this._domNode.domNode.setAttribute('role', 'textbox');
         this._domNode.domNode.setAttribute('aria-required', options.get(9 /* EditorOption.ariaRequired */) ? 'true' : 'false');
         this._domNode.domNode.setAttribute('aria-multiline', 'true');
-        this._domNode.domNode.setAttribute('aria-autocomplete', options.get(103 /* EditorOption.readOnly */) ? 'none' : 'both');
+        this._domNode.domNode.setAttribute('aria-autocomplete', options.get(104 /* EditorOption.readOnly */) ? 'none' : 'both');
         this._domNode.domNode.setAttribute('aria-roledescription', localize(55, "editor"));
         this._domNode.domNode.setAttribute('aria-label', ariaLabelForScreenReaderContent(options, this._keybindingService));
         const tabSize = this._context.viewModel.model.getOptions().tabSize;
         const spaceWidth = options.get(59 /* EditorOption.fontInfo */).spaceWidth;
         this._domNode.domNode.style.tabSize = `${tabSize * spaceWidth}px`;
-        const wordWrapOverride2 = options.get(153 /* EditorOption.wordWrapOverride2 */);
-        const wordWrapOverride1 = (wordWrapOverride2 === 'inherit' ? options.get(152 /* EditorOption.wordWrapOverride1 */) : wordWrapOverride2);
-        const wordWrap = (wordWrapOverride1 === 'inherit' ? options.get(148 /* EditorOption.wordWrap */) : wordWrapOverride1);
+        const wordWrapOverride2 = options.get(154 /* EditorOption.wordWrapOverride2 */);
+        const wordWrapOverride1 = (wordWrapOverride2 === 'inherit' ? options.get(153 /* EditorOption.wordWrapOverride1 */) : wordWrapOverride2);
+        const wordWrap = (wordWrapOverride1 === 'inherit' ? options.get(149 /* EditorOption.wordWrap */) : wordWrapOverride1);
         this._domNode.domNode.style.textWrap = wordWrap === 'off' ? 'nowrap' : 'wrap';
     }
     onCursorStateChanged(e) {

package/esm/vs/editor/browser/controller/editContext/textArea/textAreaEditContext.js

@@ -104,7 +104,7 @@ let TextAreaEditContext = class TextAreaEditContext extends AbstractEditContext
         this._scrollLeft = 0;
         this._scrollTop = 0;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._setAccessibilityOptions(options);
         this._contentLeft = layoutInfo.contentLeft;
         this._contentWidth = layoutInfo.contentWidth;
@@ -129,11 +129,11 @@ let TextAreaEditContext = class TextAreaEditContext extends AbstractEditContext
         this.textArea.setAttribute('spellcheck', 'false');
         this.textArea.setAttribute('aria-label', ariaLabelForScreenReaderContent(options, this._keybindingService));
         this.textArea.setAttribute('aria-required', options.get(9 /* EditorOption.ariaRequired */) ? 'true' : 'false');
-        this.textArea.setAttribute('tabindex', String(options.get(139 /* EditorOption.tabIndex */)));
+        this.textArea.setAttribute('tabindex', String(options.get(140 /* EditorOption.tabIndex */)));
         this.textArea.setAttribute('role', 'textbox');
         this.textArea.setAttribute('aria-roledescription', nls.localize(60, "editor"));
         this.textArea.setAttribute('aria-multiline', 'true');
-        this.textArea.setAttribute('aria-autocomplete', options.get(103 /* EditorOption.readOnly */) ? 'none' : 'both');
+        this.textArea.setAttribute('aria-autocomplete', options.get(104 /* EditorOption.readOnly */) ? 'none' : 'both');
         this._ensureReadOnlyAttribute();
         this.textAreaCover = createFastDomNode(document.createElement('div'));
         this.textAreaCover.setPosition('absolute');
@@ -385,7 +385,7 @@ let TextAreaEditContext = class TextAreaEditContext extends AbstractEditContext
     }
     _getWordBeforePosition(position) {
         const lineContent = this._context.viewModel.getLineContent(position.lineNumber);
-        const wordSeparators = getMapForWordSeparators(this._context.configuration.options.get(147 /* EditorOption.wordSeparators */), []);
+        const wordSeparators = getMapForWordSeparators(this._context.configuration.options.get(148 /* EditorOption.wordSeparators */), []);
         let column = position.column;
         let distance = 0;
         while (column > 1) {
@@ -423,7 +423,7 @@ let TextAreaEditContext = class TextAreaEditContext extends AbstractEditContext
         // we will size the textarea to match the width used for wrapping points computation (see `domLineBreaksComputer.ts`).
         // This is because screen readers will read the text in the textarea and we'd like that the
         // wrapping points in the textarea match the wrapping points in the editor.
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const wrappingColumn = layoutInfo.wrappingColumn;
         if (wrappingColumn !== -1 && this._accessibilitySupport !== 1 /* AccessibilitySupport.Disabled */) {
             const fontInfo = options.get(59 /* EditorOption.fontInfo */);
@@ -438,7 +438,7 @@ let TextAreaEditContext = class TextAreaEditContext extends AbstractEditContext
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._setAccessibilityOptions(options);
         this._contentLeft = layoutInfo.contentLeft;
         this._contentWidth = layoutInfo.contentWidth;
@@ -451,8 +451,8 @@ let TextAreaEditContext = class TextAreaEditContext extends AbstractEditContext
         this.textArea.domNode.style.tabSize = `${tabSize * this._fontInfo.spaceWidth}px`;
         this.textArea.setAttribute('aria-label', ariaLabelForScreenReaderContent(options, this._keybindingService));
         this.textArea.setAttribute('aria-required', options.get(9 /* EditorOption.ariaRequired */) ? 'true' : 'false');
-        this.textArea.setAttribute('tabindex', String(options.get(139 /* EditorOption.tabIndex */)));
-        if (e.hasChanged(41 /* EditorOption.domReadOnly */) || e.hasChanged(103 /* EditorOption.readOnly */)) {
+        this.textArea.setAttribute('tabindex', String(options.get(140 /* EditorOption.tabIndex */)));
+        if (e.hasChanged(41 /* EditorOption.domReadOnly */) || e.hasChanged(104 /* EditorOption.readOnly */)) {
             this._ensureReadOnlyAttribute();
         }
         if (e.hasChanged(2 /* EditorOption.accessibilitySupport */)) {
@@ -526,7 +526,7 @@ let TextAreaEditContext = class TextAreaEditContext extends AbstractEditContext
         const options = this._context.configuration.options;
         // When someone requests to disable IME, we set the "readonly" attribute on the <textarea>.
         // This will prevent composition.
-        const useReadOnly = !IME.enabled || (options.get(41 /* EditorOption.domReadOnly */) && options.get(103 /* EditorOption.readOnly */));
+        const useReadOnly = !IME.enabled || (options.get(41 /* EditorOption.domReadOnly */) && options.get(104 /* EditorOption.readOnly */));
         if (useReadOnly) {
             this.textArea.setAttribute('readonly', 'true');
         }

package/esm/vs/editor/browser/controller/mouseHandler.js

@@ -24,7 +24,7 @@ export class MouseHandler extends ViewEventHandler {
         this.mouseTargetFactory = new MouseTargetFactory(this._context, viewHelper);
         this._mouseDownOperation = this._register(new MouseDownOperation(this._context, this.viewController, this.viewHelper, this.mouseTargetFactory, (e, testEventTarget) => this._createMouseTarget(e, testEventTarget), (e) => this._getMouseColumn(e)));
         this.lastMouseLeaveTime = -1;
-        this._height = this._context.configuration.options.get(164 /* EditorOption.layoutInfo */).height;
+        this._height = this._context.configuration.options.get(165 /* EditorOption.layoutInfo */).height;
         const mouseEvents = new EditorMouseEventFactory(this.viewHelper.viewDomNode);
         this._register(mouseEvents.onContextMenu(this.viewHelper.viewDomNode, (e) => this._onContextMenu(e, true)));
         this._register(mouseEvents.onMouseMove(this.viewHelper.viewDomNode, (e) => {
@@ -126,9 +126,9 @@ export class MouseHandler extends ViewEventHandler {
     }
     // --- begin event handlers
     onConfigurationChanged(e) {
-        if (e.hasChanged(164 /* EditorOption.layoutInfo */)) {
+        if (e.hasChanged(165 /* EditorOption.layoutInfo */)) {
             // layout change
-            const height = this._context.configuration.options.get(164 /* EditorOption.layoutInfo */).height;
+            const height = this._context.configuration.options.get(165 /* EditorOption.layoutInfo */).height;
             if (this._height !== height) {
                 this._height = height;
                 this._mouseDownOperation.onHeightChanged();
@@ -214,7 +214,7 @@ export class MouseHandler extends ViewEventHandler {
         const targetIsContent = (t.type === 6 /* MouseTargetType.CONTENT_TEXT */ || t.type === 7 /* MouseTargetType.CONTENT_EMPTY */);
         const targetIsGutter = (t.type === 2 /* MouseTargetType.GUTTER_GLYPH_MARGIN */ || t.type === 3 /* MouseTargetType.GUTTER_LINE_NUMBERS */ || t.type === 4 /* MouseTargetType.GUTTER_LINE_DECORATIONS */);
         const targetIsLineNumbers = (t.type === 3 /* MouseTargetType.GUTTER_LINE_NUMBERS */);
-        const selectOnLineNumbers = this._context.configuration.options.get(124 /* EditorOption.selectOnLineNumbers */);
+        const selectOnLineNumbers = this._context.configuration.options.get(125 /* EditorOption.selectOnLineNumbers */);
         const targetIsViewZone = (t.type === 8 /* MouseTargetType.CONTENT_VIEW_ZONE */ || t.type === 5 /* MouseTargetType.GUTTER_VIEW_ZONE */);
         const targetIsWidget = (t.type === 9 /* MouseTargetType.CONTENT_WIDGET */);
         let shouldHandle = e.leftButton || e.middleButton;
@@ -320,7 +320,7 @@ class MouseDownOperation extends Disposable {
         // Overwrite the detail of the MouseEvent, as it will be sent out in an event and contributions might rely on it.
         e.detail = this._mouseState.count;
         const options = this._context.configuration.options;
-        if (!options.get(103 /* EditorOption.readOnly */)
+        if (!options.get(104 /* EditorOption.readOnly */)
             && options.get(42 /* EditorOption.dragAndDrop */)
             && !options.get(28 /* EditorOption.columnSelection */)
             && !this._mouseState.altKey // we don't support multiple mouse
@@ -401,7 +401,7 @@ class MouseDownOperation extends Disposable {
             return MouseTarget.createOutsideEditor(mouseColumn, new Position(belowLineNumber, model.getLineMaxColumn(belowLineNumber)), 'below', outsideDistance);
         }
         const possibleLineNumber = viewLayout.getLineNumberAtVerticalOffset(viewLayout.getCurrentScrollTop() + e.relativePos.y);
-        const layoutInfo = this._context.configuration.options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = this._context.configuration.options.get(165 /* EditorOption.layoutInfo */);
         const xLeftBoundary = layoutInfo.contentLeft;
         if (e.relativePos.x <= xLeftBoundary) {
             const outsideDistance = xLeftBoundary - e.relativePos.x;

package/esm/vs/editor/browser/controller/mouseTarget.js

@@ -177,11 +177,11 @@ export class HitTestContext {
     constructor(context, viewHelper, lastRenderData) {
         this.viewModel = context.viewModel;
         const options = context.configuration.options;
-        this.layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        this.layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this.viewDomNode = viewHelper.viewDomNode;
         this.viewLinesGpu = viewHelper.viewLinesGpu;
         this.lineHeight = options.get(75 /* EditorOption.lineHeight */);
-        this.stickyTabStops = options.get(131 /* EditorOption.stickyTabStops */);
+        this.stickyTabStops = options.get(132 /* EditorOption.stickyTabStops */);
         this.typicalHalfwidthCharacterWidth = options.get(59 /* EditorOption.fontInfo */).typicalHalfwidthCharacterWidth;
         this.lastRenderData = lastRenderData;
         this._context = context;
@@ -677,7 +677,7 @@ export class MouseTargetFactory {
     }
     getMouseColumn(relativePos) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const mouseContentHorizontalOffset = this._context.viewLayout.getCurrentScrollLeft() + relativePos.x - layoutInfo.contentLeft;
         return MouseTargetFactory._getMouseColumn(mouseContentHorizontalOffset, options.get(59 /* EditorOption.fontInfo */).typicalHalfwidthCharacterWidth);
     }

package/esm/vs/editor/browser/coreCommands.js

@@ -1660,7 +1660,7 @@ export var CoreEditingCommands;
             activeElement.ownerDocument.execCommand('undo');
         }
         runEditorCommand(accessor, editor, args) {
-            if (!editor.hasModel() || editor.getOption(103 /* EditorOption.readOnly */) === true) {
+            if (!editor.hasModel() || editor.getOption(104 /* EditorOption.readOnly */) === true) {
                 return;
             }
             return editor.getModel().undo();
@@ -1674,7 +1674,7 @@ export var CoreEditingCommands;
             activeElement.ownerDocument.execCommand('redo');
         }
         runEditorCommand(accessor, editor, args) {
-            if (!editor.hasModel() || editor.getOption(103 /* EditorOption.readOnly */) === true) {
+            if (!editor.hasModel() || editor.getOption(104 /* EditorOption.readOnly */) === true) {
                 return;
             }
             return editor.getModel().redo();

package/esm/vs/editor/browser/gpu/rectangleRenderer.js

@@ -62,7 +62,7 @@ export class RectangleRenderer extends ViewEventHandler {
             const updateBufferValues = (canvasDevicePixelWidth = this._canvas.width, canvasDevicePixelHeight = this._canvas.height) => {
                 bufferValues[0 /* Info.Offset_CanvasWidth____ */] = canvasDevicePixelWidth;
                 bufferValues[1 /* Info.Offset_CanvasHeight___ */] = canvasDevicePixelHeight;
-                bufferValues[2 /* Info.Offset_ViewportOffsetX */] = Math.ceil(this._context.configuration.options.get(164 /* EditorOption.layoutInfo */).contentLeft * getActiveWindow().devicePixelRatio);
+                bufferValues[2 /* Info.Offset_ViewportOffsetX */] = Math.ceil(this._context.configuration.options.get(165 /* EditorOption.layoutInfo */).contentLeft * getActiveWindow().devicePixelRatio);
                 bufferValues[3 /* Info.Offset_ViewportOffsetY */] = 0;
                 bufferValues[4 /* Info.Offset_ViewportWidth__ */] = bufferValues[0 /* Info.Offset_CanvasWidth____ */] - bufferValues[2 /* Info.Offset_ViewportOffsetX */];
                 bufferValues[5 /* Info.Offset_ViewportHeight_ */] = bufferValues[1 /* Info.Offset_CanvasHeight___ */] - bufferValues[3 /* Info.Offset_ViewportOffsetY */];

package/esm/vs/editor/browser/gpu/viewGpuContext.js

@@ -110,7 +110,7 @@ let ViewGpuContext = class ViewGpuContext extends Disposable {
         this.canvasDevicePixelDimensions = canvasDevicePixelDimensions;
         const contentLeft = observableValue(this, 0);
         this._register(this.configurationService.onDidChangeConfiguration(e => {
-            contentLeft.set(context.configuration.options.get(164 /* EditorOption.layoutInfo */).contentLeft, undefined);
+            contentLeft.set(context.configuration.options.get(165 /* EditorOption.layoutInfo */).contentLeft, undefined);
         }));
         this.contentLeft = contentLeft;
         this.rectangleRenderer = this._instantiationService.createInstance(RectangleRenderer, context, this.contentLeft, this.devicePixelRatio, this.canvas.domNode, this.ctx, ViewGpuContext_1.device);

package/esm/vs/editor/browser/observableCodeEditor.js

@@ -60,7 +60,7 @@ export class ObservableCodeEditor extends Disposable {
         this._currentTransaction = undefined;
         this._model = observableValue(this, this.editor.getModel());
         this.model = this._model;
-        this.isReadonly = observableFromEvent(this, this.editor.onDidChangeConfiguration, () => this.editor.getOption(103 /* EditorOption.readOnly */));
+        this.isReadonly = observableFromEvent(this, this.editor.onDidChangeConfiguration, () => this.editor.getOption(104 /* EditorOption.readOnly */));
         this._versionId = observableValueOpts({ owner: this, lazy: true }, this.editor.getModel()?.getVersionId() ?? null);
         this.versionId = this._versionId;
         this._selections = observableValueOpts({ owner: this, equalsFn: equalsIfDefined(itemsEquals(Selection.selectionsEqual)), lazy: true }, this.editor.getSelections() ?? null);

package/esm/vs/editor/browser/view/viewController.js

@@ -69,9 +69,9 @@ export class ViewController {
     }
     dispatchMouse(data) {
         const options = this.configuration.options;
-        const selectionClipboardIsOn = (platform.isLinux && options.get(120 /* EditorOption.selectionClipboard */));
+        const selectionClipboardIsOn = (platform.isLinux && options.get(121 /* EditorOption.selectionClipboard */));
         const columnSelection = options.get(28 /* EditorOption.columnSelection */);
-        const scrollOnMiddleClick = options.get(170 /* EditorOption.scrollOnMiddleClick */);
+        const scrollOnMiddleClick = options.get(171 /* EditorOption.scrollOnMiddleClick */);
         if (data.middleButton && !selectionClipboardIsOn) {
             if (scrollOnMiddleClick) {
                 // nothing to do here, handled in the contribution

package/esm/vs/editor/browser/view/viewLayer.js

@@ -193,7 +193,7 @@ export class VisibleLinesCollection {
     }
     // ---- begin view event handlers
     onConfigurationChanged(e) {
-        if (e.hasChanged(164 /* EditorOption.layoutInfo */)) {
+        if (e.hasChanged(165 /* EditorOption.layoutInfo */)) {
             return true;
         }
         return false;

package/esm/vs/editor/browser/view/viewOverlays.js

@@ -152,14 +152,14 @@ export class ContentViewOverlays extends ViewOverlays {
     constructor(context) {
         super(context);
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._contentWidth = layoutInfo.contentWidth;
         this.domNode.setHeight(0);
     }
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._contentWidth = layoutInfo.contentWidth;
         return super.onConfigurationChanged(e) || true;
     }
@@ -176,7 +176,7 @@ export class MarginViewOverlays extends ViewOverlays {
     constructor(context) {
         super(context);
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._contentLeft = layoutInfo.contentLeft;
         this.domNode.setClassName('margin-view-overlays');
         this.domNode.setWidth(1);
@@ -185,7 +185,7 @@ export class MarginViewOverlays extends ViewOverlays {
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
         applyFontInfo(this.domNode, options.get(59 /* EditorOption.fontInfo */));
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._contentLeft = layoutInfo.contentLeft;
         return super.onConfigurationChanged(e) || true;
     }

package/esm/vs/editor/browser/view.js

@@ -84,7 +84,7 @@ let View = class View extends ViewEventHandler {
         this._context.addEventHandler(this);
         this._viewParts = [];
         // Keyboard handler
-        this._editContextEnabled = this._context.configuration.options.get(169 /* EditorOption.effectiveEditContext */);
+        this._editContextEnabled = this._context.configuration.options.get(170 /* EditorOption.effectiveEditContext */);
         this._accessibilitySupport = this._context.configuration.options.get(2 /* EditorOption.accessibilitySupport */);
         this._editContext = this._instantiateEditContext();
         this._viewParts.push(this._editContext);
@@ -190,7 +190,7 @@ let View = class View extends ViewEventHandler {
         this._pointerHandler = this._register(new PointerHandler(this._context, this._viewController, this._createPointerHandlerHelper()));
     }
     _instantiateEditContext() {
-        const usingExperimentalEditContext = this._context.configuration.options.get(169 /* EditorOption.effectiveEditContext */);
+        const usingExperimentalEditContext = this._context.configuration.options.get(170 /* EditorOption.effectiveEditContext */);
         if (usingExperimentalEditContext) {
             return this._instantiationService.createInstance(NativeEditContext, this._ownerID, this._context, this._overflowGuardContainer, this._viewController, this._createTextAreaHandlerHelper());
         }
@@ -199,7 +199,7 @@ let View = class View extends ViewEventHandler {
         }
     }
     _updateEditContext() {
-        const editContextEnabled = this._context.configuration.options.get(169 /* EditorOption.effectiveEditContext */);
+        const editContextEnabled = this._context.configuration.options.get(170 /* EditorOption.effectiveEditContext */);
         const accessibilitySupport = this._context.configuration.options.get(2 /* EditorOption.accessibilitySupport */);
         if (this._editContextEnabled === editContextEnabled && this._accessibilitySupport === accessibilitySupport) {
             return;
@@ -303,7 +303,7 @@ let View = class View extends ViewEventHandler {
     }
     _applyLayout() {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this.domNode.setWidth(layoutInfo.width);
         this.domNode.setHeight(layoutInfo.height);
         this._overflowGuardContainer.setWidth(layoutInfo.width);
@@ -314,7 +314,7 @@ let View = class View extends ViewEventHandler {
     }
     _getEditorClassName() {
         const focused = this._editContext.isFocused() ? ' focused' : '';
-        return this._context.configuration.options.get(161 /* EditorOption.editorClassName */) + ' ' + getThemeTypeSelector(this._context.theme.type) + focused;
+        return this._context.configuration.options.get(162 /* EditorOption.editorClassName */) + ' ' + getThemeTypeSelector(this._context.theme.type) + focused;
     }
     // --- begin event handlers
     handleEvents(events) {

package/esm/vs/editor/browser/viewParts/blockDecorations/blockDecorations.js

@@ -20,7 +20,7 @@ export class BlockDecorations extends ViewPart {
     update() {
         let didChange = false;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const newContentWidth = layoutInfo.contentWidth - layoutInfo.verticalScrollbarWidth;
         if (this.contentWidth !== newContentWidth) {
             this.contentWidth = newContentWidth;

package/esm/vs/editor/browser/viewParts/contentWidgets/contentWidgets.js

@@ -132,7 +132,7 @@ class Widget {
         this._viewDomNode = viewDomNode;
         this._actual = actual;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const allowOverflow = options.get(4 /* EditorOption.allowOverflow */);
         this.domNode = createFastDomNode(this._actual.getDomNode());
         this.id = this._actual.getId();
@@ -156,8 +156,8 @@ class Widget {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        if (e.hasChanged(164 /* EditorOption.layoutInfo */)) {
-            const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        if (e.hasChanged(165 /* EditorOption.layoutInfo */)) {
+            const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
             this._contentLeft = layoutInfo.contentLeft;
             this._contentWidth = layoutInfo.contentWidth;
             this._maxWidth = this._getMaxWidth();

package/esm/vs/editor/browser/viewParts/currentLineHighlight/currentLineHighlight.js

@@ -15,9 +15,9 @@ export class AbstractLineHighlightOverlay extends DynamicViewOverlay {
         super();
         this._context = context;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
-        this._renderLineHighlight = options.get(109 /* EditorOption.renderLineHighlight */);
-        this._renderLineHighlightOnlyWhenFocus = options.get(110 /* EditorOption.renderLineHighlightOnlyWhenFocus */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
+        this._renderLineHighlight = options.get(110 /* EditorOption.renderLineHighlight */);
+        this._renderLineHighlightOnlyWhenFocus = options.get(111 /* EditorOption.renderLineHighlightOnlyWhenFocus */);
         this._wordWrap = layoutInfo.isViewportWrapping;
         this._contentLeft = layoutInfo.contentLeft;
         this._contentWidth = layoutInfo.contentWidth;
@@ -57,9 +57,9 @@ export class AbstractLineHighlightOverlay extends DynamicViewOverlay {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
-        this._renderLineHighlight = options.get(109 /* EditorOption.renderLineHighlight */);
-        this._renderLineHighlightOnlyWhenFocus = options.get(110 /* EditorOption.renderLineHighlightOnlyWhenFocus */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
+        this._renderLineHighlight = options.get(110 /* EditorOption.renderLineHighlight */);
+        this._renderLineHighlightOnlyWhenFocus = options.get(111 /* EditorOption.renderLineHighlightOnlyWhenFocus */);
         this._wordWrap = layoutInfo.isViewportWrapping;
         this._contentLeft = layoutInfo.contentLeft;
         this._contentWidth = layoutInfo.contentWidth;

package/esm/vs/editor/browser/viewParts/editorScrollbar/editorScrollbar.js

@@ -15,11 +15,11 @@ export class EditorScrollbar extends ViewPart {
     constructor(context, linesContent, viewDomNode, overflowGuardDomNode) {
         super(context);
         const options = this._context.configuration.options;
-        const scrollbar = options.get(116 /* EditorOption.scrollbar */);
+        const scrollbar = options.get(117 /* EditorOption.scrollbar */);
         const mouseWheelScrollSensitivity = options.get(83 /* EditorOption.mouseWheelScrollSensitivity */);
         const fastScrollSensitivity = options.get(49 /* EditorOption.fastScrollSensitivity */);
-        const scrollPredominantAxis = options.get(119 /* EditorOption.scrollPredominantAxis */);
-        const inertialScroll = options.get(157 /* EditorOption.inertialScroll */);
+        const scrollPredominantAxis = options.get(120 /* EditorOption.scrollPredominantAxis */);
+        const inertialScroll = options.get(158 /* EditorOption.inertialScroll */);
         const scrollbarOptions = {
             listenOnDomNode: viewDomNode.domNode,
             className: 'editor-scrollable' + ' ' + getThemeTypeSelector(context.theme.type),
@@ -79,7 +79,7 @@ export class EditorScrollbar extends ViewPart {
     }
     _setLayout() {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this.scrollbarDomNode.setLeft(layoutInfo.contentLeft);
         const minimap = options.get(81 /* EditorOption.minimap */);
         const side = minimap.side;
@@ -105,14 +105,14 @@ export class EditorScrollbar extends ViewPart {
     }
     // --- begin event handlers
     onConfigurationChanged(e) {
-        if (e.hasChanged(116 /* EditorOption.scrollbar */)
+        if (e.hasChanged(117 /* EditorOption.scrollbar */)
             || e.hasChanged(83 /* EditorOption.mouseWheelScrollSensitivity */)
             || e.hasChanged(49 /* EditorOption.fastScrollSensitivity */)) {
             const options = this._context.configuration.options;
-            const scrollbar = options.get(116 /* EditorOption.scrollbar */);
+            const scrollbar = options.get(117 /* EditorOption.scrollbar */);
             const mouseWheelScrollSensitivity = options.get(83 /* EditorOption.mouseWheelScrollSensitivity */);
             const fastScrollSensitivity = options.get(49 /* EditorOption.fastScrollSensitivity */);
-            const scrollPredominantAxis = options.get(119 /* EditorOption.scrollPredominantAxis */);
+            const scrollPredominantAxis = options.get(120 /* EditorOption.scrollPredominantAxis */);
             const newOpts = {
                 vertical: scrollbar.vertical,
                 horizontal: scrollbar.horizontal,
@@ -126,7 +126,7 @@ export class EditorScrollbar extends ViewPart {
             };
             this.scrollbar.updateOptions(newOpts);
         }
-        if (e.hasChanged(164 /* EditorOption.layoutInfo */)) {
+        if (e.hasChanged(165 /* EditorOption.layoutInfo */)) {
             this._setLayout();
         }
         return true;

package/esm/vs/editor/browser/viewParts/glyphMargin/glyphMargin.js

@@ -101,7 +101,7 @@ export class GlyphMarginWidgets extends ViewPart {
         this._widgets = {};
         this._context = context;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this.domNode = createFastDomNode(document.createElement('div'));
         this.domNode.setClassName('glyph-margin-widgets');
         this.domNode.setPosition('absolute');
@@ -126,7 +126,7 @@ export class GlyphMarginWidgets extends ViewPart {
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._lineHeight = options.get(75 /* EditorOption.lineHeight */);
         this._glyphMargin = options.get(66 /* EditorOption.glyphMargin */);
         this._glyphMarginLeft = layoutInfo.glyphMarginLeft;

package/esm/vs/editor/browser/viewParts/indentGuides/indentGuides.js

@@ -21,7 +21,7 @@ export class IndentGuidesOverlay extends DynamicViewOverlay {
         this._context = context;
         this._primaryPosition = null;
         const options = this._context.configuration.options;
-        const wrappingInfo = options.get(165 /* EditorOption.wrappingInfo */);
+        const wrappingInfo = options.get(166 /* EditorOption.wrappingInfo */);
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
         this._spaceWidth = fontInfo.spaceWidth;
         this._maxIndentLeft = wrappingInfo.wrappingColumn === -1 ? -1 : (wrappingInfo.wrappingColumn * fontInfo.typicalHalfwidthCharacterWidth);
@@ -37,7 +37,7 @@ export class IndentGuidesOverlay extends DynamicViewOverlay {
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const wrappingInfo = options.get(165 /* EditorOption.wrappingInfo */);
+        const wrappingInfo = options.get(166 /* EditorOption.wrappingInfo */);
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
         this._spaceWidth = fontInfo.spaceWidth;
         this._maxIndentLeft = wrappingInfo.wrappingColumn === -1 ? -1 : (wrappingInfo.wrappingColumn * fontInfo.typicalHalfwidthCharacterWidth);

package/esm/vs/editor/browser/viewParts/lineNumbers/lineNumbers.js

@@ -29,8 +29,8 @@ export class LineNumbersOverlay extends DynamicViewOverlay {
         const lineNumbers = options.get(76 /* EditorOption.lineNumbers */);
         this._renderLineNumbers = lineNumbers.renderType;
         this._renderCustomLineNumbers = lineNumbers.renderFn;
-        this._renderFinalNewline = options.get(108 /* EditorOption.renderFinalNewline */);
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        this._renderFinalNewline = options.get(109 /* EditorOption.renderFinalNewline */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._lineNumbersLeft = layoutInfo.lineNumbersLeft;
         this._lineNumbersWidth = layoutInfo.lineNumbersWidth;
     }

package/esm/vs/editor/browser/viewParts/linesDecorations/linesDecorations.js

@@ -9,7 +9,7 @@ export class LinesDecorationsOverlay extends DedupOverlay {
         super();
         this._context = context;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._decorationsLeft = layoutInfo.decorationsLeft;
         this._decorationsWidth = layoutInfo.decorationsWidth;
         this._renderResult = null;
@@ -23,7 +23,7 @@ export class LinesDecorationsOverlay extends DedupOverlay {
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._decorationsLeft = layoutInfo.decorationsLeft;
         this._decorationsWidth = layoutInfo.decorationsWidth;
         return true;

package/esm/vs/editor/browser/viewParts/margin/margin.js

@@ -16,7 +16,7 @@ export class Margin extends ViewPart {
     constructor(context) {
         super(context);
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._canUseLayerHinting = !options.get(39 /* EditorOption.disableLayerHinting */);
         this._contentLeft = layoutInfo.contentLeft;
         this._glyphMarginLeft = layoutInfo.glyphMarginLeft;
@@ -39,7 +39,7 @@ export class Margin extends ViewPart {
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._canUseLayerHinting = !options.get(39 /* EditorOption.disableLayerHinting */);
         this._contentLeft = layoutInfo.contentLeft;
         this._glyphMarginLeft = layoutInfo.glyphMarginLeft;

package/esm/vs/editor/browser/viewParts/minimap/minimap.js

@@ -32,17 +32,17 @@ const GUTTER_DECORATION_WIDTH = 2;
 class MinimapOptions {
     constructor(configuration, theme, tokensColorTracker) {
         const options = configuration.options;
-        const pixelRatio = options.get(162 /* EditorOption.pixelRatio */);
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const pixelRatio = options.get(163 /* EditorOption.pixelRatio */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const minimapLayout = layoutInfo.minimap;
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
         const minimapOpts = options.get(81 /* EditorOption.minimap */);
         this.renderMinimap = minimapLayout.renderMinimap;
         this.size = minimapOpts.size;
         this.minimapHeightIsEditorHeight = minimapLayout.minimapHeightIsEditorHeight;
-        this.scrollBeyondLastLine = options.get(118 /* EditorOption.scrollBeyondLastLine */);
-        this.paddingTop = options.get(95 /* EditorOption.padding */).top;
-        this.paddingBottom = options.get(95 /* EditorOption.padding */).bottom;
+        this.scrollBeyondLastLine = options.get(119 /* EditorOption.scrollBeyondLastLine */);
+        this.paddingTop = options.get(96 /* EditorOption.padding */).top;
+        this.paddingBottom = options.get(96 /* EditorOption.padding */).bottom;
         this.showSlider = minimapOpts.showSlider;
         this.autohide = minimapOpts.autohide;
         this.pixelRatio = pixelRatio;

package/esm/vs/editor/browser/viewParts/overlayWidgets/overlayWidgets.js

@@ -16,7 +16,7 @@ export class ViewOverlayWidgets extends ViewPart {
         super(context);
         this._viewDomNode = viewDomNode;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._widgets = {};
         this._verticalScrollbarWidth = layoutInfo.verticalScrollbarWidth;
         this._minimapWidth = layoutInfo.minimap.minimapWidth;
@@ -41,7 +41,7 @@ export class ViewOverlayWidgets extends ViewPart {
     // ---- begin view event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         this._verticalScrollbarWidth = layoutInfo.verticalScrollbarWidth;
         this._minimapWidth = layoutInfo.minimap.minimapWidth;
         this._horizontalScrollbarHeight = layoutInfo.horizontalScrollbarHeight;

package/esm/vs/editor/browser/viewParts/overviewRuler/decorationsOverviewRuler.js

@@ -14,9 +14,9 @@ class Settings {
     constructor(config, theme) {
         const options = config.options;
         this.lineHeight = options.get(75 /* EditorOption.lineHeight */);
-        this.pixelRatio = options.get(162 /* EditorOption.pixelRatio */);
-        this.overviewRulerLanes = options.get(94 /* EditorOption.overviewRulerLanes */);
-        this.renderBorder = options.get(93 /* EditorOption.overviewRulerBorder */);
+        this.pixelRatio = options.get(163 /* EditorOption.pixelRatio */);
+        this.overviewRulerLanes = options.get(95 /* EditorOption.overviewRulerLanes */);
+        this.renderBorder = options.get(94 /* EditorOption.overviewRulerBorder */);
         const borderColor = theme.getColor(editorOverviewRulerBorder);
         this.borderColor = borderColor ? borderColor.toString() : null;
         this.hideCursor = options.get(68 /* EditorOption.hideCursorInOverviewRuler */);
@@ -41,7 +41,7 @@ class Settings {
         else {
             this.backgroundColor = null;
         }
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const position = layoutInfo.overviewRuler;
         this.top = position.top;
         this.right = position.right;