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

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

@@ -24,7 +24,7 @@ export class OverviewRuler extends ViewEventHandler {
         this._zoneManager.setDOMHeight(0);
         this._zoneManager.setOuterHeight(this._context.viewLayout.getScrollHeight());
         this._zoneManager.setLineHeight(options.get(75 /* EditorOption.lineHeight */));
-        this._zoneManager.setPixelRatio(options.get(162 /* EditorOption.pixelRatio */));
+        this._zoneManager.setPixelRatio(options.get(163 /* EditorOption.pixelRatio */));
         this._context.addEventHandler(this);
     }
     dispose() {
@@ -38,8 +38,8 @@ export class OverviewRuler extends ViewEventHandler {
             this._zoneManager.setLineHeight(options.get(75 /* EditorOption.lineHeight */));
             this._render();
         }
-        if (e.hasChanged(162 /* EditorOption.pixelRatio */)) {
-            this._zoneManager.setPixelRatio(options.get(162 /* EditorOption.pixelRatio */));
+        if (e.hasChanged(163 /* EditorOption.pixelRatio */)) {
+            this._zoneManager.setPixelRatio(options.get(163 /* EditorOption.pixelRatio */));
             this._domNode.setWidth(this._zoneManager.getDOMWidth());
             this._domNode.setHeight(this._zoneManager.getDOMHeight());
             this._domNode.domNode.width = this._zoneManager.getCanvasWidth();

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

@@ -18,7 +18,7 @@ export class Rulers extends ViewPart {
         this.domNode.setClassName('view-rulers');
         this._renderedRulers = [];
         const options = this._context.configuration.options;
-        this._rulers = options.get(115 /* EditorOption.rulers */);
+        this._rulers = options.get(116 /* EditorOption.rulers */);
         this._typicalHalfwidthCharacterWidth = options.get(59 /* EditorOption.fontInfo */).typicalHalfwidthCharacterWidth;
     }
     dispose() {
@@ -27,7 +27,7 @@ export class Rulers extends ViewPart {
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        this._rulers = options.get(115 /* EditorOption.rulers */);
+        this._rulers = options.get(116 /* EditorOption.rulers */);
         this._typicalHalfwidthCharacterWidth = options.get(59 /* EditorOption.fontInfo */).typicalHalfwidthCharacterWidth;
         return true;
     }

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

@@ -31,7 +31,7 @@ export class RulersGpu extends ViewPart {
     }
     _updateEntries(reader) {
         const options = this._context.configuration.options;
-        const rulers = options.get(115 /* EditorOption.rulers */);
+        const rulers = options.get(116 /* EditorOption.rulers */);
         const typicalHalfwidthCharacterWidth = options.get(59 /* EditorOption.fontInfo */).typicalHalfwidthCharacterWidth;
         const devicePixelRatio = this._viewGpuContext.devicePixelRatio.read(reader);
         for (let i = 0, len = rulers.length; i < len; i++) {

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

@@ -13,7 +13,7 @@ export class ScrollDecorationViewPart extends ViewPart {
         this._updateWidth();
         this._shouldShow = false;
         const options = this._context.configuration.options;
-        const scrollbar = options.get(116 /* EditorOption.scrollbar */);
+        const scrollbar = options.get(117 /* EditorOption.scrollbar */);
         this._useShadows = scrollbar.useShadows;
         this._domNode = createFastDomNode(document.createElement('div'));
         this._domNode.setAttribute('role', 'presentation');
@@ -35,7 +35,7 @@ export class ScrollDecorationViewPart extends ViewPart {
     }
     _updateWidth() {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         if (layoutInfo.minimap.renderMinimap === 0 || (layoutInfo.minimap.minimapWidth > 0 && layoutInfo.minimap.minimapLeft === 0)) {
             this._width = layoutInfo.width;
         }
@@ -46,7 +46,7 @@ export class ScrollDecorationViewPart extends ViewPart {
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const scrollbar = options.get(116 /* EditorOption.scrollbar */);
+        const scrollbar = options.get(117 /* EditorOption.scrollbar */);
         this._useShadows = scrollbar.useShadows;
         this._updateWidth();
         this._updateShouldShow();

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

@@ -42,7 +42,7 @@ export class SelectionsOverlay extends DynamicViewOverlay {
         this._previousFrameVisibleRangesWithStyle = [];
         this._context = context;
         const options = this._context.configuration.options;
-        this._roundedSelection = options.get(114 /* EditorOption.roundedSelection */);
+        this._roundedSelection = options.get(115 /* EditorOption.roundedSelection */);
         this._typicalHalfwidthCharacterWidth = options.get(59 /* EditorOption.fontInfo */).typicalHalfwidthCharacterWidth;
         this._selections = [];
         this._renderResult = null;
@@ -56,7 +56,7 @@ export class SelectionsOverlay extends DynamicViewOverlay {
     // --- begin event handlers
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        this._roundedSelection = options.get(114 /* EditorOption.roundedSelection */);
+        this._roundedSelection = options.get(115 /* EditorOption.roundedSelection */);
         this._typicalHalfwidthCharacterWidth = options.get(59 /* EditorOption.fontInfo */).typicalHalfwidthCharacterWidth;
         return true;
     }

package/esm/vs/editor/browser/viewParts/viewCursors/viewCursor.js

@@ -32,7 +32,7 @@ export class ViewCursor {
         this._context = context;
         const options = this._context.configuration.options;
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
-        this._cursorStyle = options.get(160 /* EditorOption.effectiveCursorStyle */);
+        this._cursorStyle = options.get(161 /* EditorOption.effectiveCursorStyle */);
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._lineCursorWidth = Math.min(options.get(37 /* EditorOption.cursorWidth */), this._typicalHalfwidthCharacterWidth);
         this._lineCursorHeight = options.get(38 /* EditorOption.cursorHeight */);
@@ -86,7 +86,7 @@ export class ViewCursor {
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
-        this._cursorStyle = options.get(160 /* EditorOption.effectiveCursorStyle */);
+        this._cursorStyle = options.get(161 /* EditorOption.effectiveCursorStyle */);
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._lineCursorWidth = Math.min(options.get(37 /* EditorOption.cursorWidth */), this._typicalHalfwidthCharacterWidth);
         this._lineCursorHeight = options.get(38 /* EditorOption.cursorHeight */);

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

@@ -21,11 +21,11 @@ export class ViewCursors extends ViewPart {
     constructor(context) {
         super(context);
         const options = this._context.configuration.options;
-        this._readOnly = options.get(103 /* EditorOption.readOnly */);
+        this._readOnly = options.get(104 /* EditorOption.readOnly */);
         this._cursorBlinking = options.get(32 /* EditorOption.cursorBlinking */);
-        this._cursorStyle = options.get(160 /* EditorOption.effectiveCursorStyle */);
+        this._cursorStyle = options.get(161 /* EditorOption.effectiveCursorStyle */);
         this._cursorSmoothCaretAnimation = options.get(33 /* EditorOption.cursorSmoothCaretAnimation */);
-        this._editContextEnabled = options.get(169 /* EditorOption.effectiveEditContext */);
+        this._editContextEnabled = options.get(170 /* EditorOption.effectiveEditContext */);
         this._selectionIsEmpty = true;
         this._isComposingInput = false;
         this._isVisible = false;
@@ -64,11 +64,11 @@ export class ViewCursors extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        this._readOnly = options.get(103 /* EditorOption.readOnly */);
+        this._readOnly = options.get(104 /* EditorOption.readOnly */);
         this._cursorBlinking = options.get(32 /* EditorOption.cursorBlinking */);
-        this._cursorStyle = options.get(160 /* EditorOption.effectiveCursorStyle */);
+        this._cursorStyle = options.get(161 /* EditorOption.effectiveCursorStyle */);
         this._cursorSmoothCaretAnimation = options.get(33 /* EditorOption.cursorSmoothCaretAnimation */);
-        this._editContextEnabled = options.get(169 /* EditorOption.effectiveEditContext */);
+        this._editContextEnabled = options.get(170 /* EditorOption.effectiveEditContext */);
         this._updateBlinking();
         this._updateDomClassName();
         this._primaryCursor.onConfigurationChanged(e);

package/esm/vs/editor/browser/viewParts/viewLines/viewLineOptions.js

@@ -7,9 +7,9 @@ export class ViewLineOptions {
         this.themeType = themeType;
         const options = config.options;
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
-        this.renderWhitespace = options.get(112 /* EditorOption.renderWhitespace */);
+        this.renderWhitespace = options.get(113 /* EditorOption.renderWhitespace */);
         this.experimentalWhitespaceRendering = options.get(47 /* EditorOption.experimentalWhitespaceRendering */);
-        this.renderControlCharacters = options.get(107 /* EditorOption.renderControlCharacters */);
+        this.renderControlCharacters = options.get(108 /* EditorOption.renderControlCharacters */);
         this.spaceWidth = fontInfo.spaceWidth;
         this.middotWidth = fontInfo.middotWidth;
         this.wsmiddotWidth = fontInfo.wsmiddotWidth;
@@ -17,9 +17,9 @@ export class ViewLineOptions {
             && !options.get(40 /* EditorOption.disableMonospaceOptimizations */));
         this.canUseHalfwidthRightwardsArrow = fontInfo.canUseHalfwidthRightwardsArrow;
         this.lineHeight = options.get(75 /* EditorOption.lineHeight */);
-        this.stopRenderingLineAfter = options.get(132 /* EditorOption.stopRenderingLineAfter */);
+        this.stopRenderingLineAfter = options.get(133 /* EditorOption.stopRenderingLineAfter */);
         this.fontLigatures = options.get(60 /* EditorOption.fontLigatures */);
-        this.verticalScrollbarSize = options.get(116 /* EditorOption.scrollbar */).verticalScrollbarSize;
+        this.verticalScrollbarSize = options.get(117 /* EditorOption.scrollbar */).verticalScrollbarSize;
         this.useGpu = options.get(46 /* EditorOption.experimentalGpuAcceleration */) === 'on';
     }
     equals(other) {

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

@@ -74,11 +74,11 @@ export class ViewLines extends ViewPart {
         const conf = this._context.configuration;
         const options = this._context.configuration.options;
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
-        const wrappingInfo = options.get(165 /* EditorOption.wrappingInfo */);
+        const wrappingInfo = options.get(166 /* EditorOption.wrappingInfo */);
         this._lineHeight = options.get(75 /* EditorOption.lineHeight */);
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._isViewportWrapping = wrappingInfo.isViewportWrapping;
-        this._revealHorizontalRightPadding = options.get(113 /* EditorOption.revealHorizontalRightPadding */);
+        this._revealHorizontalRightPadding = options.get(114 /* EditorOption.revealHorizontalRightPadding */);
         this._cursorSurroundingLines = options.get(35 /* EditorOption.cursorSurroundingLines */);
         this._cursorSurroundingLinesStyle = options.get(36 /* EditorOption.cursorSurroundingLinesStyle */);
         this._canUseLayerHinting = !options.get(39 /* EditorOption.disableLayerHinting */);
@@ -103,8 +103,8 @@ export class ViewLines extends ViewPart {
         this._lastRenderedData = new LastRenderedData();
         this._horizontalRevealRequest = null;
         // sticky scroll widget
-        this._stickyScrollEnabled = options.get(130 /* EditorOption.stickyScroll */).enabled;
-        this._maxNumberStickyLines = options.get(130 /* EditorOption.stickyScroll */).maxLineCount;
+        this._stickyScrollEnabled = options.get(131 /* EditorOption.stickyScroll */).enabled;
+        this._maxNumberStickyLines = options.get(131 /* EditorOption.stickyScroll */).maxLineCount;
     }
     dispose() {
         this._asyncUpdateLineWidths.dispose();
@@ -117,25 +117,25 @@ export class ViewLines extends ViewPart {
     // ---- begin view event handlers
     onConfigurationChanged(e) {
         this._visibleLines.onConfigurationChanged(e);
-        if (e.hasChanged(165 /* EditorOption.wrappingInfo */)) {
+        if (e.hasChanged(166 /* EditorOption.wrappingInfo */)) {
             this._maxLineWidth = 0;
         }
         const options = this._context.configuration.options;
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
-        const wrappingInfo = options.get(165 /* EditorOption.wrappingInfo */);
+        const wrappingInfo = options.get(166 /* EditorOption.wrappingInfo */);
         this._lineHeight = options.get(75 /* EditorOption.lineHeight */);
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._isViewportWrapping = wrappingInfo.isViewportWrapping;
-        this._revealHorizontalRightPadding = options.get(113 /* EditorOption.revealHorizontalRightPadding */);
+        this._revealHorizontalRightPadding = options.get(114 /* EditorOption.revealHorizontalRightPadding */);
         this._cursorSurroundingLines = options.get(35 /* EditorOption.cursorSurroundingLines */);
         this._cursorSurroundingLinesStyle = options.get(36 /* EditorOption.cursorSurroundingLinesStyle */);
         this._canUseLayerHinting = !options.get(39 /* EditorOption.disableLayerHinting */);
         // sticky scroll
-        this._stickyScrollEnabled = options.get(130 /* EditorOption.stickyScroll */).enabled;
-        this._maxNumberStickyLines = options.get(130 /* EditorOption.stickyScroll */).maxLineCount;
+        this._stickyScrollEnabled = options.get(131 /* EditorOption.stickyScroll */).enabled;
+        this._maxNumberStickyLines = options.get(131 /* EditorOption.stickyScroll */).maxLineCount;
         applyFontInfo(this.domNode, fontInfo);
         this._onOptionsMaybeChanged();
-        if (e.hasChanged(164 /* EditorOption.layoutInfo */)) {
+        if (e.hasChanged(165 /* EditorOption.layoutInfo */)) {
             this._maxLineWidth = 0;
         }
         return true;
@@ -635,7 +635,7 @@ export class ViewLines extends ViewPart {
     }
     _computeScrollLeftToReveal(horizontalRevealRequest) {
         const viewport = this._context.viewLayout.getCurrentViewport();
-        const layoutInfo = this._context.configuration.options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = this._context.configuration.options.get(165 /* EditorOption.layoutInfo */);
         const viewportStartX = viewport.left;
         const viewportEndX = viewportStartX + viewport.width - layoutInfo.verticalScrollbarWidth;
         let boxStartX = 1073741824 /* Constants.MAX_SAFE_SMALL_INTEGER */;

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

@@ -98,7 +98,7 @@ let ViewLinesGpu = class ViewLinesGpu extends ViewPart {
             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/viewParts/viewZones/viewZones.js

@@ -16,7 +16,7 @@ export class ViewZones 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._lineHeight = options.get(75 /* EditorOption.lineHeight */);
         this._contentWidth = layoutInfo.contentWidth;
         this._contentLeft = layoutInfo.contentLeft;
@@ -63,7 +63,7 @@ export class ViewZones extends ViewPart {
     }
     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._contentWidth = layoutInfo.contentWidth;
         this._contentLeft = layoutInfo.contentLeft;

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

@@ -30,7 +30,7 @@ export class WhitespaceOverlay extends DynamicViewOverlay {
     onConfigurationChanged(e) {
         const newOptions = new WhitespaceOptions(this._context.configuration);
         if (this._options.equals(newOptions)) {
-            return e.hasChanged(164 /* EditorOption.layoutInfo */);
+            return e.hasChanged(165 /* EditorOption.layoutInfo */);
         }
         this._options = newOptions;
         return true;
@@ -247,11 +247,11 @@ class WhitespaceOptions {
             this.renderWithSVG = false;
         }
         else if (experimentalWhitespaceRendering === 'svg') {
-            this.renderWhitespace = options.get(112 /* EditorOption.renderWhitespace */);
+            this.renderWhitespace = options.get(113 /* EditorOption.renderWhitespace */);
             this.renderWithSVG = true;
         }
         else {
-            this.renderWhitespace = options.get(112 /* EditorOption.renderWhitespace */);
+            this.renderWhitespace = options.get(113 /* EditorOption.renderWhitespace */);
             this.renderWithSVG = false;
         }
         this.spaceWidth = fontInfo.spaceWidth;
@@ -259,7 +259,7 @@ class WhitespaceOptions {
         this.wsmiddotWidth = fontInfo.wsmiddotWidth;
         this.canUseHalfwidthRightwardsArrow = fontInfo.canUseHalfwidthRightwardsArrow;
         this.lineHeight = options.get(75 /* EditorOption.lineHeight */);
-        this.stopRenderingLineAfter = options.get(132 /* EditorOption.stopRenderingLineAfter */);
+        this.stopRenderingLineAfter = options.get(133 /* EditorOption.stopRenderingLineAfter */);
     }
     equals(other) {
         return (this.renderWhitespace === other.renderWhitespace

package/esm/vs/editor/browser/widget/codeEditor/codeEditorWidget.js

@@ -178,8 +178,8 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
         this._register(this._configuration.onDidChange((e) => {
             this._onDidChangeConfiguration.fire(e);
             const options = this._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._onDidLayoutChange.fire(layoutInfo);
             }
         }));
@@ -221,7 +221,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
             this._actions.set(internalAction.id, internalAction);
         }
         const isDropIntoEnabled = () => {
-            return !this._configuration.options.get(103 /* EditorOption.readOnly */)
+            return !this._configuration.options.get(104 /* EditorOption.readOnly */)
                 && this._configuration.options.get(43 /* EditorOption.dropIntoEditor */).enabled;
         };
         this._register(new dom.DragAndDropObserver(this._domElement, {
@@ -300,7 +300,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
         if (!this._modelData) {
             return null;
         }
-        return WordOperations.getWordAtPosition(this._modelData.model, this._configuration.options.get(147 /* EditorOption.wordSeparators */), this._configuration.options.get(146 /* EditorOption.wordSegmenterLocales */), position);
+        return WordOperations.getWordAtPosition(this._modelData.model, this._configuration.options.get(148 /* EditorOption.wordSeparators */), this._configuration.options.get(147 /* EditorOption.wordSegmenterLocales */), position);
     }
     getValue(options = null) {
         if (!this._modelData) {
@@ -881,7 +881,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
         if (!this._modelData) {
             return false;
         }
-        if (this._configuration.options.get(103 /* EditorOption.readOnly */)) {
+        if (this._configuration.options.get(104 /* EditorOption.readOnly */)) {
             // read only editor => sorry!
             return false;
         }
@@ -892,7 +892,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
         if (!this._modelData) {
             return false;
         }
-        if (this._configuration.options.get(103 /* EditorOption.readOnly */)) {
+        if (this._configuration.options.get(104 /* EditorOption.readOnly */)) {
             // read only editor => sorry!
             return false;
         }
@@ -906,7 +906,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
         if (!this._modelData) {
             return false;
         }
-        if (this._configuration.options.get(103 /* EditorOption.readOnly */)) {
+        if (this._configuration.options.get(104 /* EditorOption.readOnly */)) {
             // read only editor => sorry!
             return false;
         }
@@ -1011,7 +1011,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
     }
     getLayoutInfo() {
         const options = this._configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         return layoutInfo;
     }
     createOverviewRuler(cssClassName) {
@@ -1182,7 +1182,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
         }
         const position = this._modelData.model.validatePosition(rawPosition);
         const options = this._configuration.options;
-        const layoutInfo = options.get(164 /* EditorOption.layoutInfo */);
+        const layoutInfo = options.get(165 /* EditorOption.layoutInfo */);
         const top = CodeEditorWidget_1._getVerticalOffsetForPosition(this._modelData, position.lineNumber, position.column) - this.getScrollTop();
         const left = this._modelData.view.getOffsetForColumn(position.lineNumber, position.column) + layoutInfo.glyphMarginWidth + layoutInfo.lineNumbersWidth + layoutInfo.decorationsWidth - this.getScrollLeft();
         const height = this.getLineHeightForPosition(position);
@@ -1273,7 +1273,7 @@ let CodeEditorWidget = class CodeEditorWidget extends Disposable {
                     break;
                 case 7 /* OutgoingViewModelEventKind.CursorStateChanged */: {
                     if (e.reachedMaxCursorCount) {
-                        const multiCursorLimit = this.getOption(88 /* EditorOption.multiCursorLimit */);
+                        const multiCursorLimit = this.getOption(89 /* EditorOption.multiCursorLimit */);
                         const message = nls.localize(80, "The number of cursors has been limited to {0}. Consider using [find and replace](https://code.visualstudio.com/docs/editor/codebasics#_find-and-replace) for larger changes or increase the editor multi cursor limit setting.", multiCursorLimit);
                         this._notificationService.prompt(Severity.Warning, message, [
                             {
@@ -1591,8 +1591,8 @@ class EditorContextKeysManager extends Disposable {
     }
     _updateFromConfig() {
         const options = this._editor.getOptions();
-        this._tabMovesFocus.set(options.get(163 /* EditorOption.tabFocusMode */) || TabFocus.getTabFocusMode());
-        this._editorReadonly.set(options.get(103 /* EditorOption.readOnly */));
+        this._tabMovesFocus.set(options.get(164 /* EditorOption.tabFocusMode */) || TabFocus.getTabFocusMode());
+        this._editorReadonly.set(options.get(104 /* EditorOption.readOnly */));
         this._inDiffEditor.set(options.get(70 /* EditorOption.inDiffEditor */));
         this._editorColumnSelection.set(options.get(28 /* EditorOption.columnSelection */));
     }

package/esm/vs/editor/browser/widget/diffEditor/components/accessibleDiffViewer.js

@@ -424,9 +424,9 @@ let View = class View extends Disposable {
         this._scrollbar.scanDomNode();
     }
     _createRow(item, lineHeight, width, originalOptions, originalModel, originalModelOpts, modifiedOptions, modifiedModel, modifiedModelOpts) {
-        const originalLayoutInfo = originalOptions.get(164 /* EditorOption.layoutInfo */);
+        const originalLayoutInfo = originalOptions.get(165 /* EditorOption.layoutInfo */);
         const originalLineNumbersWidth = originalLayoutInfo.glyphMarginWidth + originalLayoutInfo.lineNumbersWidth;
-        const modifiedLayoutInfo = modifiedOptions.get(164 /* EditorOption.layoutInfo */);
+        const modifiedLayoutInfo = modifiedOptions.get(165 /* EditorOption.layoutInfo */);
         const modifiedLineNumbersWidth = 10 + modifiedLayoutInfo.glyphMarginWidth + modifiedLayoutInfo.lineNumbersWidth;
         let rowClassName = 'diff-review-row';
         let lineNumbersExtraClassName = '';
@@ -531,11 +531,11 @@ let View = class View extends Disposable {
     _getLineHtml(model, options, tabSize, lineNumber, languageIdCodec) {
         const lineContent = model.getLineContent(lineNumber);
         const fontInfo = options.get(59 /* EditorOption.fontInfo */);
-        const verticalScrollbarSize = options.get(116 /* EditorOption.scrollbar */).verticalScrollbarSize;
+        const verticalScrollbarSize = options.get(117 /* EditorOption.scrollbar */).verticalScrollbarSize;
         const lineTokens = LineTokens.createEmpty(lineContent, languageIdCodec);
         const isBasicASCII = ViewLineRenderingData.isBasicASCII(lineContent, model.mightContainNonBasicASCII());
         const containsRTL = ViewLineRenderingData.containsRTL(lineContent, isBasicASCII, model.mightContainRTL());
-        const r = renderViewLine2(new RenderLineInput((fontInfo.isMonospace && !options.get(40 /* EditorOption.disableMonospaceOptimizations */)), fontInfo.canUseHalfwidthRightwardsArrow, lineContent, false, isBasicASCII, containsRTL, 0, lineTokens, [], tabSize, 0, fontInfo.spaceWidth, fontInfo.middotWidth, fontInfo.wsmiddotWidth, options.get(132 /* EditorOption.stopRenderingLineAfter */), options.get(112 /* EditorOption.renderWhitespace */), options.get(107 /* EditorOption.renderControlCharacters */), options.get(60 /* EditorOption.fontLigatures */) !== EditorFontLigatures.OFF, null, null, verticalScrollbarSize));
+        const r = renderViewLine2(new RenderLineInput((fontInfo.isMonospace && !options.get(40 /* EditorOption.disableMonospaceOptimizations */)), fontInfo.canUseHalfwidthRightwardsArrow, lineContent, false, isBasicASCII, containsRTL, 0, lineTokens, [], tabSize, 0, fontInfo.spaceWidth, fontInfo.middotWidth, fontInfo.wsmiddotWidth, options.get(133 /* EditorOption.stopRenderingLineAfter */), options.get(113 /* EditorOption.renderWhitespace */), options.get(108 /* EditorOption.renderControlCharacters */), options.get(60 /* EditorOption.fontLigatures */) !== EditorFontLigatures.OFF, null, null, verticalScrollbarSize));
         return r.html;
     }
 };

package/esm/vs/editor/browser/widget/diffEditor/components/diffEditorViewZones/diffEditorViewZones.js

@@ -68,12 +68,12 @@ let DiffEditorViewZones = class DiffEditorViewZones extends Disposable {
             updateImmediately.schedule();
         } }));
         this._register(this._editors.original.onDidChangeConfiguration((args) => {
-            if (args.hasChanged(165 /* EditorOption.wrappingInfo */) || args.hasChanged(75 /* EditorOption.lineHeight */)) {
+            if (args.hasChanged(166 /* EditorOption.wrappingInfo */) || args.hasChanged(75 /* EditorOption.lineHeight */)) {
                 updateImmediately.schedule();
             }
         }));
         this._register(this._editors.modified.onDidChangeConfiguration((args) => {
-            if (args.hasChanged(165 /* EditorOption.wrappingInfo */) || args.hasChanged(75 /* EditorOption.lineHeight */)) {
+            if (args.hasChanged(166 /* EditorOption.wrappingInfo */) || args.hasChanged(75 /* EditorOption.lineHeight */)) {
                 updateImmediately.schedule();
             }
         }));
@@ -486,7 +486,7 @@ function computeRangeAlignment(originalEditor, modifiedEditor, diffs, originalEd
 function getAdditionalLineHeights(editor, viewZonesToIgnore) {
     const viewZoneHeights = [];
     const wrappingZoneHeights = [];
-    const hasWrapping = editor.getOption(165 /* EditorOption.wrappingInfo */).wrappingColumn !== -1;
+    const hasWrapping = editor.getOption(166 /* EditorOption.wrappingInfo */).wrappingColumn !== -1;
     const coordinatesConverter = editor._getViewModel().coordinatesConverter;
     const editorLineHeight = editor.getOption(75 /* EditorOption.lineHeight */);
     if (hasWrapping) {

package/esm/vs/editor/browser/widget/diffEditor/components/diffEditorViewZones/inlineDiffDeletedCodeMargin.js

@@ -43,7 +43,7 @@ export class InlineDiffDeletedCodeMargin extends Disposable {
         this._diffActions.style.lineHeight = `${lineHeight}px`;
         this._marginDomNode.appendChild(this._diffActions);
         let currentLineNumberOffset = 0;
-        const useShadowDOM = _modifiedEditor.getOption(143 /* EditorOption.useShadowDOM */) && !isIOS; // Do not use shadow dom on IOS #122035
+        const useShadowDOM = _modifiedEditor.getOption(144 /* EditorOption.useShadowDOM */) && !isIOS; // Do not use shadow dom on IOS #122035
         const showContextMenu = (x, y) => {
             this._contextMenuService.showContextMenu({
                 domForShadowRoot: useShadowDOM ? _modifiedEditor.getDomNode() ?? undefined : undefined,
@@ -75,7 +75,7 @@ export class InlineDiffDeletedCodeMargin extends Disposable {
                             await this._clipboardService.writeText(lineContent);
                         }));
                     }
-                    const readOnly = _modifiedEditor.getOption(103 /* EditorOption.readOnly */);
+                    const readOnly = _modifiedEditor.getOption(104 /* EditorOption.readOnly */);
                     if (!readOnly) {
                         actions.push(new Action('diff.inline.revertChange', localize(115, "Revert this change"), undefined, true, async () => {
                             this._editor.revert(this._diff);

package/esm/vs/editor/browser/widget/diffEditor/components/diffEditorViewZones/renderLines.js

@@ -61,8 +61,8 @@ export class RenderOptions {
     static fromEditor(editor) {
         const modifiedEditorOptions = editor.getOptions();
         const fontInfo = modifiedEditorOptions.get(59 /* EditorOption.fontInfo */);
-        const layoutInfo = modifiedEditorOptions.get(164 /* EditorOption.layoutInfo */);
-        return new RenderOptions(editor.getModel()?.getOptions().tabSize || 0, fontInfo, modifiedEditorOptions.get(40 /* EditorOption.disableMonospaceOptimizations */), fontInfo.typicalHalfwidthCharacterWidth, modifiedEditorOptions.get(117 /* EditorOption.scrollBeyondLastColumn */), modifiedEditorOptions.get(75 /* EditorOption.lineHeight */), layoutInfo.decorationsWidth, modifiedEditorOptions.get(132 /* EditorOption.stopRenderingLineAfter */), modifiedEditorOptions.get(112 /* EditorOption.renderWhitespace */), modifiedEditorOptions.get(107 /* EditorOption.renderControlCharacters */), modifiedEditorOptions.get(60 /* EditorOption.fontLigatures */), modifiedEditorOptions.get(116 /* EditorOption.scrollbar */).verticalScrollbarSize);
+        const layoutInfo = modifiedEditorOptions.get(165 /* EditorOption.layoutInfo */);
+        return new RenderOptions(editor.getModel()?.getOptions().tabSize || 0, fontInfo, modifiedEditorOptions.get(40 /* EditorOption.disableMonospaceOptimizations */), fontInfo.typicalHalfwidthCharacterWidth, modifiedEditorOptions.get(118 /* EditorOption.scrollBeyondLastColumn */), modifiedEditorOptions.get(75 /* EditorOption.lineHeight */), layoutInfo.decorationsWidth, modifiedEditorOptions.get(133 /* EditorOption.stopRenderingLineAfter */), modifiedEditorOptions.get(113 /* EditorOption.renderWhitespace */), modifiedEditorOptions.get(108 /* EditorOption.renderControlCharacters */), modifiedEditorOptions.get(60 /* EditorOption.fontLigatures */), modifiedEditorOptions.get(117 /* EditorOption.scrollbar */).verticalScrollbarSize);
     }
     constructor(tabSize, fontInfo, disableMonospaceOptimizations, typicalHalfwidthCharacterWidth, scrollBeyondLastColumn, lineHeight, lineDecorationsWidth, stopRenderingLineAfter, renderWhitespace, renderControlCharacters, fontLigatures, verticalScrollbarSize, setWidth = true) {
         this.tabSize = tabSize;

package/esm/vs/editor/browser/widget/diffEditor/features/gutterFeature.js

@@ -118,7 +118,7 @@ let DiffEditorGutter = class DiffEditorGutter extends Disposable {
             },
         }));
         this._register(addDisposableListener(this.elements.gutter, EventType.MOUSE_WHEEL, (e) => {
-            if (this._editors.modified.getOption(116 /* EditorOption.scrollbar */).handleMouseWheel) {
+            if (this._editors.modified.getOption(117 /* EditorOption.scrollbar */).handleMouseWheel) {
                 this._editors.modified.delegateScrollFromMouseWheelEvent(e);
             }
         }, { passive: false }));

package/esm/vs/editor/browser/widget/diffEditor/features/overviewRulerFeature.js

@@ -130,7 +130,7 @@ let OverviewRulerFeature = class OverviewRulerFeature extends Disposable {
                     });
                     const scrollTop = this._editors.modifiedScrollTop.read(reader);
                     const scrollHeight = this._editors.modifiedScrollHeight.read(reader);
-                    const scrollBarOptions = this._editors.modified.getOption(116 /* EditorOption.scrollbar */);
+                    const scrollBarOptions = this._editors.modified.getOption(117 /* EditorOption.scrollbar */);
                     const state = new ScrollbarState(scrollBarOptions.verticalHasArrows ? scrollBarOptions.arrowSize : 0, scrollBarOptions.verticalScrollbarSize, 0, layoutInfo.height, scrollHeight, scrollTop);
                     viewportDomElement.setTop(state.getSliderPosition());
                     viewportDomElement.setHeight(state.getSliderSize());