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

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;

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/commands.js

@@ -151,11 +151,22 @@ export class RevertHunkOrSelection extends Action2 {
         super({
             id: 'diffEditor.revert',
             title: localize2(90, 'Revert'),
-            f1: false,
+            f1: true,
             category: diffEditorCategory,
+            precondition: ContextKeyExpr.has('isInDiffEditor'),
         });
     }
     run(accessor, arg) {
+        return arg ? this.runViaToolbarContext(accessor, arg) : this.runViaCursorOrSelection(accessor);
+    }
+    runViaCursorOrSelection(accessor) {
+        const diffEditor = findFocusedDiffEditor(accessor);
+        if (diffEditor instanceof DiffEditorWidget) {
+            diffEditor.revertFocusedRangeMappings();
+        }
+        return undefined;
+    }
+    runViaToolbarContext(accessor, arg) {
         const diffEditor = findDiffEditor(accessor, arg.originalUri, arg.modifiedUri);
         if (diffEditor instanceof DiffEditorWidget) {
             diffEditor.revertRangeMappings(arg.mapping.innerChanges ?? []);