@codingame/monaco-vscode-api 2.2.2 → 3.0.0

package/vscode/src/vs/editor/browser/viewParts/editorScrollbar/editorScrollbar.js

@@ -7,10 +7,10 @@ class EditorScrollbar extends ViewPart {
     constructor(context, linesContent, viewDomNode, overflowGuardDomNode) {
         super(context);
         const options = this._context.configuration.options;
-        const scrollbar = options.get(102 );
-        const mouseWheelScrollSensitivity = options.get(74 );
+        const scrollbar = options.get(103 );
+        const mouseWheelScrollSensitivity = options.get(75 );
         const fastScrollSensitivity = options.get(40 );
-        const scrollPredominantAxis = options.get(105 );
+        const scrollPredominantAxis = options.get(106 );
         const scrollbarOptions = {
             listenOnDomNode: viewDomNode.domNode,
             className: 'editor-scrollable' + ' ' + getThemeTypeSelector(context.theme.type),
@@ -69,9 +69,9 @@ class EditorScrollbar extends ViewPart {
     }
     _setLayout() {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this.scrollbarDomNode.setLeft(layoutInfo.contentLeft);
-        const minimap = options.get(72 );
+        const minimap = options.get(73 );
         const side = minimap.side;
         if (side === 'right') {
             this.scrollbarDomNode.setWidth(layoutInfo.contentWidth + layoutInfo.minimap.minimapWidth);
@@ -94,14 +94,14 @@ class EditorScrollbar extends ViewPart {
         this.scrollbar.delegateScrollFromMouseWheelEvent(browserEvent);
     }
     onConfigurationChanged(e) {
-        if (e.hasChanged(102 )
-            || e.hasChanged(74 )
+        if (e.hasChanged(103 )
+            || e.hasChanged(75 )
             || e.hasChanged(40 )) {
             const options = this._context.configuration.options;
-            const scrollbar = options.get(102 );
-            const mouseWheelScrollSensitivity = options.get(74 );
+            const scrollbar = options.get(103 );
+            const mouseWheelScrollSensitivity = options.get(75 );
             const fastScrollSensitivity = options.get(40 );
-            const scrollPredominantAxis = options.get(105 );
+            const scrollPredominantAxis = options.get(106 );
             const newOpts = {
                 vertical: scrollbar.vertical,
                 horizontal: scrollbar.horizontal,
@@ -115,7 +115,7 @@ class EditorScrollbar extends ViewPart {
             };
             this.scrollbar.updateOptions(newOpts);
         }
-        if (e.hasChanged(143 )) {
+        if (e.hasChanged(144 )) {
             this._setLayout();
         }
         return true;

package/vscode/src/vs/editor/browser/viewParts/glyphMargin/glyphMargin.js

@@ -82,12 +82,12 @@ class GlyphMarginWidgets extends ViewPart {
         this._widgets = {};
         this._context = context;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this.domNode = createFastDomNode(document.createElement('div'));
         this.domNode.setClassName('glyph-margin-widgets');
         this.domNode.setPosition('absolute');
         this.domNode.setTop(0);
-        this._lineHeight = options.get(66 );
+        this._lineHeight = options.get(67 );
         this._glyphMargin = options.get(57 );
         this._glyphMarginLeft = layoutInfo.glyphMarginLeft;
         this._glyphMarginWidth = layoutInfo.glyphMarginWidth;
@@ -106,8 +106,8 @@ class GlyphMarginWidgets extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
-        this._lineHeight = options.get(66 );
+        const layoutInfo = options.get(144 );
+        this._lineHeight = options.get(67 );
         this._glyphMargin = options.get(57 );
         this._glyphMarginLeft = layoutInfo.glyphMarginLeft;
         this._glyphMarginWidth = layoutInfo.glyphMarginWidth;

package/vscode/src/vs/editor/browser/viewParts/indentGuides/indentGuides.js

@@ -13,9 +13,9 @@ class IndentGuidesOverlay extends DynamicViewOverlay {
         this._context = context;
         this._primaryPosition = null;
         const options = this._context.configuration.options;
-        const wrappingInfo = options.get(144 );
+        const wrappingInfo = options.get(145 );
         const fontInfo = options.get(50 );
-        this._lineHeight = options.get(66 );
+        this._lineHeight = options.get(67 );
         this._spaceWidth = fontInfo.spaceWidth;
         this._maxIndentLeft = wrappingInfo.wrappingColumn === -1 ? -1 : (wrappingInfo.wrappingColumn * fontInfo.typicalHalfwidthCharacterWidth);
         this._bracketPairGuideOptions = options.get(16 );
@@ -29,9 +29,9 @@ class IndentGuidesOverlay extends DynamicViewOverlay {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const wrappingInfo = options.get(144 );
+        const wrappingInfo = options.get(145 );
         const fontInfo = options.get(50 );
-        this._lineHeight = options.get(66 );
+        this._lineHeight = options.get(67 );
         this._spaceWidth = fontInfo.spaceWidth;
         this._maxIndentLeft = wrappingInfo.wrappingColumn === -1 ? -1 : (wrappingInfo.wrappingColumn * fontInfo.typicalHalfwidthCharacterWidth);
         this._bracketPairGuideOptions = options.get(16 );

package/vscode/src/vs/editor/browser/viewParts/lineNumbers/lineNumbers.js

@@ -18,12 +18,12 @@ class LineNumbersOverlay extends DynamicViewOverlay {
     }
     _readConfig() {
         const options = this._context.configuration.options;
-        this._lineHeight = options.get(66 );
-        const lineNumbers = options.get(67 );
+        this._lineHeight = options.get(67 );
+        const lineNumbers = options.get(68 );
         this._renderLineNumbers = lineNumbers.renderType;
         this._renderCustomLineNumbers = lineNumbers.renderFn;
-        this._renderFinalNewline = options.get(94 );
-        const layoutInfo = options.get(143 );
+        this._renderFinalNewline = options.get(95 );
+        const layoutInfo = options.get(144 );
         this._lineNumbersLeft = layoutInfo.lineNumbersLeft;
         this._lineNumbersWidth = layoutInfo.lineNumbersWidth;
     }

package/vscode/src/vs/editor/browser/viewParts/lines/viewLine.js

@@ -24,20 +24,20 @@ class ViewLineOptions {
         const fontInfo = options.get(50 );
         const experimentalWhitespaceRendering = options.get(38 );
         if (experimentalWhitespaceRendering === 'off') {
-            this.renderWhitespace = options.get(98 );
+            this.renderWhitespace = options.get(99 );
         }
         else {
             this.renderWhitespace = 'none';
         }
-        this.renderControlCharacters = options.get(93 );
+        this.renderControlCharacters = options.get(94 );
         this.spaceWidth = fontInfo.spaceWidth;
         this.middotWidth = fontInfo.middotWidth;
         this.wsmiddotWidth = fontInfo.wsmiddotWidth;
         this.useMonospaceOptimizations = (fontInfo.isMonospace
             && !options.get(33 ));
         this.canUseHalfwidthRightwardsArrow = fontInfo.canUseHalfwidthRightwardsArrow;
-        this.lineHeight = options.get(66 );
-        this.stopRenderingLineAfter = options.get(116 );
+        this.lineHeight = options.get(67 );
+        this.stopRenderingLineAfter = options.get(117 );
         this.fontLigatures = options.get(51 );
     }
     equals(other) {

package/vscode/src/vs/editor/browser/viewParts/lines/viewLines.js

@@ -65,11 +65,11 @@ class ViewLines extends ViewPart {
         const conf = this._context.configuration;
         const options = this._context.configuration.options;
         const fontInfo = options.get(50 );
-        const wrappingInfo = options.get(144 );
-        this._lineHeight = options.get(66 );
+        const wrappingInfo = options.get(145 );
+        this._lineHeight = options.get(67 );
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._isViewportWrapping = wrappingInfo.isViewportWrapping;
-        this._revealHorizontalRightPadding = options.get(99 );
+        this._revealHorizontalRightPadding = options.get(100 );
         this._cursorSurroundingLines = options.get(29 );
         this._cursorSurroundingLinesStyle = options.get(30 );
         this._canUseLayerHinting = !options.get(32 );
@@ -86,8 +86,8 @@ class ViewLines extends ViewPart {
         }, 2000));
         this._lastRenderedData = ( new LastRenderedData());
         this._horizontalRevealRequest = null;
-        this._stickyScrollEnabled = options.get(114 ).enabled;
-        this._maxNumberStickyLines = options.get(114 ).maxLineCount;
+        this._stickyScrollEnabled = options.get(115 ).enabled;
+        this._maxNumberStickyLines = options.get(115 ).maxLineCount;
     }
     dispose() {
         this._asyncUpdateLineWidths.dispose();
@@ -102,24 +102,24 @@ class ViewLines extends ViewPart {
     }
     onConfigurationChanged(e) {
         this._visibleLines.onConfigurationChanged(e);
-        if (e.hasChanged(144 )) {
+        if (e.hasChanged(145 )) {
             this._maxLineWidth = 0;
         }
         const options = this._context.configuration.options;
         const fontInfo = options.get(50 );
-        const wrappingInfo = options.get(144 );
-        this._lineHeight = options.get(66 );
+        const wrappingInfo = options.get(145 );
+        this._lineHeight = options.get(67 );
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._isViewportWrapping = wrappingInfo.isViewportWrapping;
-        this._revealHorizontalRightPadding = options.get(99 );
+        this._revealHorizontalRightPadding = options.get(100 );
         this._cursorSurroundingLines = options.get(29 );
         this._cursorSurroundingLinesStyle = options.get(30 );
         this._canUseLayerHinting = !options.get(32 );
-        this._stickyScrollEnabled = options.get(114 ).enabled;
-        this._maxNumberStickyLines = options.get(114 ).maxLineCount;
+        this._stickyScrollEnabled = options.get(115 ).enabled;
+        this._maxNumberStickyLines = options.get(115 ).maxLineCount;
         applyFontInfo(this.domNode, fontInfo);
         this._onOptionsMaybeChanged();
-        if (e.hasChanged(143 )) {
+        if (e.hasChanged(144 )) {
             this._maxLineWidth = 0;
         }
         return true;
@@ -570,7 +570,7 @@ class ViewLines extends ViewPart {
     }
     _computeScrollLeftToReveal(horizontalRevealRequest) {
         const viewport = this._context.viewLayout.getCurrentViewport();
-        const layoutInfo = this._context.configuration.options.get(143 );
+        const layoutInfo = this._context.configuration.options.get(144 );
         const viewportStartX = viewport.left;
         const viewportEndX = viewportStartX + viewport.width - layoutInfo.verticalScrollbarWidth;
         let boxStartX = 1073741824 ;

package/vscode/src/vs/editor/browser/viewParts/linesDecorations/linesDecorations.js

@@ -5,7 +5,7 @@ class LinesDecorationsOverlay extends DedupOverlay {
         super();
         this._context = context;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this._decorationsLeft = layoutInfo.decorationsLeft;
         this._decorationsWidth = layoutInfo.decorationsWidth;
         this._renderResult = null;
@@ -18,7 +18,7 @@ class LinesDecorationsOverlay extends DedupOverlay {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this._decorationsLeft = layoutInfo.decorationsLeft;
         this._decorationsWidth = layoutInfo.decorationsWidth;
         return true;

package/vscode/src/vs/editor/browser/viewParts/margin/margin.js

@@ -7,7 +7,7 @@ class Margin extends ViewPart {
     constructor(context) {
         super(context);
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this._canUseLayerHinting = !options.get(32 );
         this._contentLeft = layoutInfo.contentLeft;
         this._glyphMarginLeft = layoutInfo.glyphMarginLeft;
@@ -29,7 +29,7 @@ class Margin extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this._canUseLayerHinting = !options.get(32 );
         this._contentLeft = layoutInfo.contentLeft;
         this._glyphMarginLeft = layoutInfo.glyphMarginLeft;

package/vscode/src/vs/editor/browser/viewParts/minimap/minimap.js

@@ -23,22 +23,22 @@ const GUTTER_DECORATION_WIDTH = 2;
 class MinimapOptions {
     constructor(configuration, theme, tokensColorTracker) {
         const options = configuration.options;
-        const pixelRatio = options.get(141 );
-        const layoutInfo = options.get(143 );
+        const pixelRatio = options.get(142 );
+        const layoutInfo = options.get(144 );
         const minimapLayout = layoutInfo.minimap;
         const fontInfo = options.get(50 );
-        const minimapOpts = options.get(72 );
+        const minimapOpts = options.get(73 );
         this.renderMinimap = minimapLayout.renderMinimap;
         this.size = minimapOpts.size;
         this.minimapHeightIsEditorHeight = minimapLayout.minimapHeightIsEditorHeight;
-        this.scrollBeyondLastLine = options.get(104 );
-        this.paddingTop = options.get(83 ).top;
-        this.paddingBottom = options.get(83 ).bottom;
+        this.scrollBeyondLastLine = options.get(105 );
+        this.paddingTop = options.get(84 ).top;
+        this.paddingBottom = options.get(84 ).bottom;
         this.showSlider = minimapOpts.showSlider;
         this.autohide = minimapOpts.autohide;
         this.pixelRatio = pixelRatio;
         this.typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
-        this.lineHeight = options.get(66 );
+        this.lineHeight = options.get(67 );
         this.minimapLeft = minimapLayout.minimapLeft;
         this.minimapWidth = minimapLayout.minimapWidth;
         this.minimapHeight = layoutInfo.height;

package/vscode/src/vs/editor/browser/viewParts/overlayWidgets/overlayWidgets.js

@@ -7,7 +7,7 @@ class ViewOverlayWidgets extends ViewPart {
         super(context);
         this._viewDomNode = viewDomNode;
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this._widgets = {};
         this._verticalScrollbarWidth = layoutInfo.verticalScrollbarWidth;
         this._minimapWidth = layoutInfo.minimap.minimapWidth;
@@ -31,7 +31,7 @@ class ViewOverlayWidgets extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         this._verticalScrollbarWidth = layoutInfo.verticalScrollbarWidth;
         this._minimapWidth = layoutInfo.minimap.minimapWidth;
         this._horizontalScrollbarHeight = layoutInfo.horizontalScrollbarHeight;

package/vscode/src/vs/editor/browser/viewParts/overviewRuler/decorationsOverviewRuler.js

@@ -9,17 +9,17 @@ import { equals } from '../../../../base/common/arrays.js';
 class Settings {
     constructor(config, theme) {
         const options = config.options;
-        this.lineHeight = options.get(66 );
-        this.pixelRatio = options.get(141 );
-        this.overviewRulerLanes = options.get(82 );
-        this.renderBorder = options.get(81 );
+        this.lineHeight = options.get(67 );
+        this.pixelRatio = options.get(142 );
+        this.overviewRulerLanes = options.get(83 );
+        this.renderBorder = options.get(82 );
         const borderColor = theme.getColor(editorOverviewRulerBorder);
         this.borderColor = borderColor ? ( borderColor.toString()) : null;
         this.hideCursor = options.get(59 );
         const cursorColor = theme.getColor(editorCursorForeground);
         this.cursorColor = cursorColor ? ( ( cursorColor.transparent(0.7)).toString()) : null;
         this.themeType = theme.type;
-        const minimapOpts = options.get(72 );
+        const minimapOpts = options.get(73 );
         const minimapEnabled = minimapOpts.enabled;
         const minimapSide = minimapOpts.side;
         const themeColor = theme.getColor(editorOverviewRulerBackground);
@@ -33,7 +33,7 @@ class Settings {
         else {
             this.backgroundColor = null;
         }
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         const position = layoutInfo.overviewRuler;
         this.top = position.top;
         this.right = position.right;
@@ -171,7 +171,7 @@ class DecorationsOverviewRuler extends ViewPart {
                 this._updateSettings(true);
             }
         });
-        this._cursorPositions = [];
+        this._cursorPositions = [( new Position(1, 1))];
     }
     dispose() {
         super.dispose();

package/vscode/src/vs/editor/browser/viewParts/overviewRuler/overviewRuler.js

@@ -17,8 +17,8 @@ class OverviewRuler extends ViewEventHandler {
         this._zoneManager.setDOMWidth(0);
         this._zoneManager.setDOMHeight(0);
         this._zoneManager.setOuterHeight(this._context.viewLayout.getScrollHeight());
-        this._zoneManager.setLineHeight(options.get(66 ));
-        this._zoneManager.setPixelRatio(options.get(141 ));
+        this._zoneManager.setLineHeight(options.get(67 ));
+        this._zoneManager.setPixelRatio(options.get(142 ));
         this._context.addEventHandler(this);
     }
     dispose() {
@@ -27,12 +27,12 @@ class OverviewRuler extends ViewEventHandler {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        if (e.hasChanged(66 )) {
-            this._zoneManager.setLineHeight(options.get(66 ));
+        if (e.hasChanged(67 )) {
+            this._zoneManager.setLineHeight(options.get(67 ));
             this._render();
         }
-        if (e.hasChanged(141 )) {
-            this._zoneManager.setPixelRatio(options.get(141 ));
+        if (e.hasChanged(142 )) {
+            this._zoneManager.setPixelRatio(options.get(142 ));
             this._domNode.setWidth(this._zoneManager.getDOMWidth());
             this._domNode.setHeight(this._zoneManager.getDOMHeight());
             this._domNode.domNode.width = this._zoneManager.getCanvasWidth();

package/vscode/src/vs/editor/browser/viewParts/rulers/rulers.js

@@ -10,7 +10,7 @@ class Rulers extends ViewPart {
         this.domNode.setClassName('view-rulers');
         this._renderedRulers = [];
         const options = this._context.configuration.options;
-        this._rulers = options.get(101 );
+        this._rulers = options.get(102 );
         this._typicalHalfwidthCharacterWidth = options.get(50 ).typicalHalfwidthCharacterWidth;
     }
     dispose() {
@@ -18,7 +18,7 @@ class Rulers extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        this._rulers = options.get(101 );
+        this._rulers = options.get(102 );
         this._typicalHalfwidthCharacterWidth = options.get(50 ).typicalHalfwidthCharacterWidth;
         return true;
     }

package/vscode/src/vs/editor/browser/viewParts/scrollDecoration/scrollDecoration.js

@@ -9,7 +9,7 @@ class ScrollDecorationViewPart extends ViewPart {
         this._updateWidth();
         this._shouldShow = false;
         const options = this._context.configuration.options;
-        const scrollbar = options.get(102 );
+        const scrollbar = options.get(103 );
         this._useShadows = scrollbar.useShadows;
         this._domNode = createFastDomNode(document.createElement('div'));
         this._domNode.setAttribute('role', 'presentation');
@@ -31,7 +31,7 @@ class ScrollDecorationViewPart extends ViewPart {
     }
     _updateWidth() {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
+        const layoutInfo = options.get(144 );
         if (layoutInfo.minimap.renderMinimap === 0 || (layoutInfo.minimap.minimapWidth > 0 && layoutInfo.minimap.minimapLeft === 0)) {
             this._width = layoutInfo.width;
         }
@@ -41,7 +41,7 @@ class ScrollDecorationViewPart extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const scrollbar = options.get(102 );
+        const scrollbar = options.get(103 );
         this._useShadows = scrollbar.useShadows;
         this._updateWidth();
         this._updateShouldShow();

package/vscode/src/vs/editor/browser/viewParts/selections/selections.js

@@ -35,8 +35,8 @@ class SelectionsOverlay extends DynamicViewOverlay {
         this._previousFrameVisibleRangesWithStyle = [];
         this._context = context;
         const options = this._context.configuration.options;
-        this._lineHeight = options.get(66 );
-        this._roundedSelection = options.get(100 );
+        this._lineHeight = options.get(67 );
+        this._roundedSelection = options.get(101 );
         this._typicalHalfwidthCharacterWidth = options.get(50 ).typicalHalfwidthCharacterWidth;
         this._selections = [];
         this._renderResult = null;
@@ -49,8 +49,8 @@ class SelectionsOverlay extends DynamicViewOverlay {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        this._lineHeight = options.get(66 );
-        this._roundedSelection = options.get(100 );
+        this._lineHeight = options.get(67 );
+        this._roundedSelection = options.get(101 );
         this._typicalHalfwidthCharacterWidth = options.get(50 ).typicalHalfwidthCharacterWidth;
         return true;
     }

package/vscode/src/vs/editor/browser/viewParts/viewCursors/viewCursor.js

@@ -23,7 +23,7 @@ class ViewCursor {
         const options = this._context.configuration.options;
         const fontInfo = options.get(50 );
         this._cursorStyle = options.get(28 );
-        this._lineHeight = options.get(66 );
+        this._lineHeight = options.get(67 );
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._lineCursorWidth = Math.min(options.get(31 ), this._typicalHalfwidthCharacterWidth);
         this._isVisible = true;
@@ -60,7 +60,7 @@ class ViewCursor {
         const options = this._context.configuration.options;
         const fontInfo = options.get(50 );
         this._cursorStyle = options.get(28 );
-        this._lineHeight = options.get(66 );
+        this._lineHeight = options.get(67 );
         this._typicalHalfwidthCharacterWidth = fontInfo.typicalHalfwidthCharacterWidth;
         this._lineCursorWidth = Math.min(options.get(31 ), this._typicalHalfwidthCharacterWidth);
         applyFontInfo(this._domNode, fontInfo);

package/vscode/src/vs/editor/browser/viewParts/viewCursors/viewCursors.js

@@ -13,7 +13,7 @@ class ViewCursors extends ViewPart {
     constructor(context) {
         super(context);
         const options = this._context.configuration.options;
-        this._readOnly = options.get(90 );
+        this._readOnly = options.get(91 );
         this._cursorBlinking = options.get(26 );
         this._cursorStyle = options.get(28 );
         this._cursorSmoothCaretAnimation = options.get(27 );
@@ -54,7 +54,7 @@ class ViewCursors extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        this._readOnly = options.get(90 );
+        this._readOnly = options.get(91 );
         this._cursorBlinking = options.get(26 );
         this._cursorStyle = options.get(28 );
         this._cursorSmoothCaretAnimation = options.get(27 );

package/vscode/src/vs/editor/browser/viewParts/viewZones/viewZones.js

@@ -7,8 +7,8 @@ class ViewZones extends ViewPart {
     constructor(context) {
         super(context);
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
-        this._lineHeight = options.get(66 );
+        const layoutInfo = options.get(144 );
+        this._lineHeight = options.get(67 );
         this._contentWidth = layoutInfo.contentWidth;
         this._contentLeft = layoutInfo.contentLeft;
         this.domNode = createFastDomNode(document.createElement('div'));
@@ -53,11 +53,11 @@ class ViewZones extends ViewPart {
     }
     onConfigurationChanged(e) {
         const options = this._context.configuration.options;
-        const layoutInfo = options.get(143 );
-        this._lineHeight = options.get(66 );
+        const layoutInfo = options.get(144 );
+        this._lineHeight = options.get(67 );
         this._contentWidth = layoutInfo.contentWidth;
         this._contentLeft = layoutInfo.contentLeft;
-        if (e.hasChanged(66 )) {
+        if (e.hasChanged(67 )) {
             this._recomputeWhitespacesProps();
         }
         return true;

package/vscode/src/vs/editor/browser/viewParts/whitespace/whitespace.js

@@ -21,7 +21,7 @@ class WhitespaceOverlay extends DynamicViewOverlay {
     onConfigurationChanged(e) {
         const newOptions = ( new WhitespaceOptions(this._context.configuration));
         if (this._options.equals(newOptions)) {
-            return e.hasChanged(143 );
+            return e.hasChanged(144 );
         }
         this._options = newOptions;
         return true;
@@ -228,19 +228,19 @@ class WhitespaceOptions {
             this.renderWithSVG = false;
         }
         else if (experimentalWhitespaceRendering === 'svg') {
-            this.renderWhitespace = options.get(98 );
+            this.renderWhitespace = options.get(99 );
             this.renderWithSVG = true;
         }
         else {
-            this.renderWhitespace = options.get(98 );
+            this.renderWhitespace = options.get(99 );
             this.renderWithSVG = false;
         }
         this.spaceWidth = fontInfo.spaceWidth;
         this.middotWidth = fontInfo.middotWidth;
         this.wsmiddotWidth = fontInfo.wsmiddotWidth;
         this.canUseHalfwidthRightwardsArrow = fontInfo.canUseHalfwidthRightwardsArrow;
-        this.lineHeight = options.get(66 );
-        this.stopRenderingLineAfter = options.get(116 );
+        this.lineHeight = options.get(67 );
+        this.stopRenderingLineAfter = options.get(117 );
     }
     equals(other) {
         return (this.renderWhitespace === other.renderWhitespace

package/vscode/src/vs/editor/browser/widget/codeEditorContributions.js

@@ -62,9 +62,9 @@ class CodeEditorContributions extends Disposable {
         this._instantiateSome(2 );
     }
     onAfterModelAttached() {
-        this._register(runWhenWindowIdle(getWindow(this._editor?.getDomNode()), () => {
+        return runWhenWindowIdle(getWindow(this._editor?.getDomNode()), () => {
             this._instantiateSome(1 );
-        }, 50));
+        }, 50);
     }
     _instantiateSome(instantiation) {
         if (this._finishedInstantiation[instantiation]) {