@codingame/monaco-vscode-api 1.78.5 → 1.78.6-next.0

package/dist/vscode/vs/workbench/services/hover/browser/hoverWidget.js

@@ -0,0 +1,514 @@
+import { __decorate, __param } from '../../../../../../node_modules/tslib/tslib.es6.js';
+import { DisposableStore } from 'monaco-editor/esm/vs/base/common/lifecycle.js';
+import { Emitter } from 'monaco-editor/esm/vs/base/common/event.js';
+import * as dom from 'monaco-editor/esm/vs/base/browser/dom.js';
+import { IKeybindingService } from 'monaco-editor/esm/vs/platform/keybinding/common/keybinding.js';
+import { IConfigurationService } from 'monaco-editor/esm/vs/platform/configuration/common/configuration.js';
+import { EDITOR_FONT_DEFAULTS } from 'monaco-editor/esm/vs/editor/common/config/editorOptions.js';
+import { HoverWidget as HoverWidget$1, HoverAction } from 'monaco-editor/esm/vs/base/browser/ui/hover/hoverWidget.js';
+import { Widget } from 'monaco-editor/esm/vs/base/browser/ui/widget.js';
+import { IOpenerService } from 'monaco-editor/esm/vs/platform/opener/common/opener.js';
+import { IInstantiationService } from 'monaco-editor/esm/vs/platform/instantiation/common/instantiation.js';
+import { openLinkFromMarkdown, MarkdownRenderer } from 'monaco-editor/esm/vs/editor/contrib/markdownRenderer/browser/markdownRenderer.js';
+import { isMarkdownString } from 'monaco-editor/esm/vs/base/common/htmlContent.js';
+import { localize } from 'monaco-editor/esm/vs/nls.js';
+import { isMacintosh } from 'monaco-editor/esm/vs/base/common/platform.js';
+const $ = dom.$;
+let HoverWidget = class HoverWidget extends Widget {
+    get isDisposed() { return this._isDisposed; }
+    get isMouseIn() { return this._lockMouseTracker.isMouseIn; }
+    get domNode() { return this._hover.containerDomNode; }
+    get onDispose() { return this._onDispose.event; }
+    get onRequestLayout() { return this._onRequestLayout.event; }
+    get anchor() { return this._hoverPosition === 2  ? 0  : 1 ; }
+    get x() { return this._x; }
+    get y() { return this._y; }
+    get isLocked() { return this._isLocked; }
+    set isLocked(value) {
+        if (this._isLocked === value) {
+            return;
+        }
+        this._isLocked = value;
+        this._hoverContainer.classList.toggle('locked', this._isLocked);
+    }
+    constructor(options, _keybindingService, _configurationService, _openerService, _instantiationService) {
+        super();
+        this._keybindingService = _keybindingService;
+        this._configurationService = _configurationService;
+        this._openerService = _openerService;
+        this._instantiationService = _instantiationService;
+        this._messageListeners = ( new DisposableStore());
+        this._isDisposed = false;
+        this._forcePosition = false;
+        this._x = 0;
+        this._y = 0;
+        this._isLocked = false;
+        this._enableFocusTraps = false;
+        this._addedFocusTrap = false;
+        this._onDispose = this._register(( new Emitter()));
+        this._onRequestLayout = this._register(( new Emitter()));
+        this._linkHandler = options.linkHandler || (url => {
+            return openLinkFromMarkdown(this._openerService, url, isMarkdownString(options.content) ? options.content.isTrusted : undefined);
+        });
+        this._target = 'targetElements' in options.target ? options.target : ( new ElementHoverTarget(options.target));
+        this._hoverPointer = options.showPointer ? $('div.workbench-hover-pointer') : undefined;
+        this._hover = this._register(( new HoverWidget$1()));
+        this._hover.containerDomNode.classList.add('workbench-hover', 'fadeIn');
+        if (options.compact) {
+            this._hover.containerDomNode.classList.add('workbench-hover', 'compact');
+        }
+        if (options.skipFadeInAnimation) {
+            this._hover.containerDomNode.classList.add('skip-fade-in');
+        }
+        if (options.additionalClasses) {
+            this._hover.containerDomNode.classList.add(...options.additionalClasses);
+        }
+        if (options.forcePosition) {
+            this._forcePosition = true;
+        }
+        if (options.trapFocus) {
+            this._enableFocusTraps = true;
+        }
+        this._hoverPosition = options.hoverPosition ?? 3 ;
+        this.onmousedown(this._hover.containerDomNode, e => e.stopPropagation());
+        this.onkeydown(this._hover.containerDomNode, e => {
+            if (e.equals(9 )) {
+                this.dispose();
+            }
+        });
+        this._register(dom.addDisposableListener(window, 'blur', () => this.dispose()));
+        const rowElement = $('div.hover-row.markdown-hover');
+        const contentsElement = $('div.hover-contents');
+        if (typeof options.content === 'string') {
+            contentsElement.textContent = options.content;
+            contentsElement.style.whiteSpace = 'pre-wrap';
+        }
+        else if (options.content instanceof HTMLElement) {
+            contentsElement.appendChild(options.content);
+            contentsElement.classList.add('html-hover-contents');
+        }
+        else {
+            const markdown = options.content;
+            const mdRenderer = this._instantiationService.createInstance(MarkdownRenderer, { codeBlockFontFamily: this._configurationService.getValue('editor').fontFamily || EDITOR_FONT_DEFAULTS.fontFamily });
+            const { element } = mdRenderer.render(markdown, {
+                actionHandler: {
+                    callback: (content) => this._linkHandler(content),
+                    disposables: this._messageListeners
+                },
+                asyncRenderCallback: () => {
+                    contentsElement.classList.add('code-hover-contents');
+                    this.layout();
+                    this._onRequestLayout.fire();
+                }
+            });
+            contentsElement.appendChild(element);
+        }
+        rowElement.appendChild(contentsElement);
+        this._hover.contentsDomNode.appendChild(rowElement);
+        if (options.actions && options.actions.length > 0) {
+            const statusBarElement = $('div.hover-row.status-bar');
+            const actionsElement = $('div.actions');
+            options.actions.forEach(action => {
+                const keybinding = this._keybindingService.lookupKeybinding(action.commandId);
+                const keybindingLabel = keybinding ? keybinding.getLabel() : null;
+                HoverAction.render(actionsElement, {
+                    label: action.label,
+                    commandId: action.commandId,
+                    run: e => {
+                        action.run(e);
+                        this.dispose();
+                    },
+                    iconClass: action.iconClass
+                }, keybindingLabel);
+            });
+            statusBarElement.appendChild(actionsElement);
+            this._hover.containerDomNode.appendChild(statusBarElement);
+        }
+        this._hoverContainer = $('div.workbench-hover-container');
+        if (this._hoverPointer) {
+            this._hoverContainer.appendChild(this._hoverPointer);
+        }
+        this._hoverContainer.appendChild(this._hover.containerDomNode);
+        let hideOnHover;
+        if (options.actions && options.actions.length > 0) {
+            hideOnHover = false;
+        }
+        else {
+            if (options.hideOnHover === undefined) {
+                hideOnHover = typeof options.content === 'string' || isMarkdownString(options.content) && !options.content.value.includes('](');
+            }
+            else {
+                hideOnHover = options.hideOnHover;
+            }
+        }
+        if (hideOnHover && options.showHoverHint) {
+            const statusBarElement = $('div.hover-row.status-bar');
+            const infoElement = $('div.info');
+            infoElement.textContent = ( localize('hoverhint', 'Hold {0} key to mouse over', isMacintosh ? 'Option' : 'Alt'));
+            statusBarElement.appendChild(infoElement);
+            this._hover.containerDomNode.appendChild(statusBarElement);
+        }
+        const mouseTrackerTargets = [...this._target.targetElements];
+        if (!hideOnHover) {
+            mouseTrackerTargets.push(this._hoverContainer);
+        }
+        const mouseTracker = this._register(( new CompositeMouseTracker(mouseTrackerTargets)));
+        this._register(mouseTracker.onMouseOut(() => {
+            if (!this._isLocked) {
+                this.dispose();
+            }
+        }));
+        if (hideOnHover) {
+            const mouseTracker2Targets = [...this._target.targetElements, this._hoverContainer];
+            this._lockMouseTracker = this._register(( new CompositeMouseTracker(mouseTracker2Targets)));
+            this._register(this._lockMouseTracker.onMouseOut(() => {
+                if (!this._isLocked) {
+                    this.dispose();
+                }
+            }));
+        }
+        else {
+            this._lockMouseTracker = mouseTracker;
+        }
+    }
+    addFocusTrap() {
+        if (!this._enableFocusTraps || this._addedFocusTrap) {
+            return;
+        }
+        this._addedFocusTrap = true;
+        const firstContainerFocusElement = this._hover.containerDomNode;
+        const lastContainerFocusElement = this.findLastFocusableChild(this._hover.containerDomNode);
+        if (lastContainerFocusElement) {
+            const beforeContainerFocusElement = dom.prepend(this._hoverContainer, $('div'));
+            const afterContainerFocusElement = dom.append(this._hoverContainer, $('div'));
+            beforeContainerFocusElement.tabIndex = 0;
+            afterContainerFocusElement.tabIndex = 0;
+            this._register(dom.addDisposableListener(afterContainerFocusElement, 'focus', (e) => {
+                firstContainerFocusElement.focus();
+                e.preventDefault();
+            }));
+            this._register(dom.addDisposableListener(beforeContainerFocusElement, 'focus', (e) => {
+                lastContainerFocusElement.focus();
+                e.preventDefault();
+            }));
+        }
+    }
+    findLastFocusableChild(root) {
+        if (root.hasChildNodes()) {
+            for (let i = 0; i < root.childNodes.length; i++) {
+                const node = root.childNodes.item(root.childNodes.length - i - 1);
+                if (node.nodeType === node.ELEMENT_NODE) {
+                    const parsedNode = node;
+                    if (typeof parsedNode.tabIndex === 'number' && parsedNode.tabIndex >= 0) {
+                        return parsedNode;
+                    }
+                }
+                const recursivelyFoundElement = this.findLastFocusableChild(node);
+                if (recursivelyFoundElement) {
+                    return recursivelyFoundElement;
+                }
+            }
+        }
+        return undefined;
+    }
+    render(container) {
+        container.appendChild(this._hoverContainer);
+        this.layout();
+        this.addFocusTrap();
+    }
+    layout() {
+        this._hover.containerDomNode.classList.remove('right-aligned');
+        this._hover.contentsDomNode.style.maxHeight = '';
+        const getZoomAccountedBoundingClientRect = (e) => {
+            const zoom = dom.getDomNodeZoomLevel(e);
+            const boundingRect = e.getBoundingClientRect();
+            return {
+                top: boundingRect.top * zoom,
+                bottom: boundingRect.bottom * zoom,
+                right: boundingRect.right * zoom,
+                left: boundingRect.left * zoom,
+            };
+        };
+        const targetBounds = ( this._target.targetElements.map(e => getZoomAccountedBoundingClientRect(e)));
+        const top = Math.min(...( targetBounds.map(e => e.top)));
+        const right = Math.max(...( targetBounds.map(e => e.right)));
+        const bottom = Math.max(...( targetBounds.map(e => e.bottom)));
+        const left = Math.min(...( targetBounds.map(e => e.left)));
+        const width = right - left;
+        const height = bottom - top;
+        const targetRect = {
+            top, right, bottom, left, width, height,
+            center: {
+                x: left + (width / 2),
+                y: top + (height / 2)
+            }
+        };
+        this.adjustHorizontalHoverPosition(targetRect);
+        this.adjustVerticalHoverPosition(targetRect);
+        this.adjustHoverMaxHeight(targetRect);
+        this._hoverContainer.style.padding = '';
+        this._hoverContainer.style.margin = '';
+        if (this._hoverPointer) {
+            switch (this._hoverPosition) {
+                case 1 :
+                    targetRect.left += 3 ;
+                    targetRect.right += 3 ;
+                    this._hoverContainer.style.paddingLeft = `${3 }px`;
+                    this._hoverContainer.style.marginLeft = `${-3 }px`;
+                    break;
+                case 0 :
+                    targetRect.left -= 3 ;
+                    targetRect.right -= 3 ;
+                    this._hoverContainer.style.paddingRight = `${3 }px`;
+                    this._hoverContainer.style.marginRight = `${-3 }px`;
+                    break;
+                case 2 :
+                    targetRect.top += 3 ;
+                    targetRect.bottom += 3 ;
+                    this._hoverContainer.style.paddingTop = `${3 }px`;
+                    this._hoverContainer.style.marginTop = `${-3 }px`;
+                    break;
+                case 3 :
+                    targetRect.top -= 3 ;
+                    targetRect.bottom -= 3 ;
+                    this._hoverContainer.style.paddingBottom = `${3 }px`;
+                    this._hoverContainer.style.marginBottom = `${-3 }px`;
+                    break;
+            }
+            targetRect.center.x = targetRect.left + (width / 2);
+            targetRect.center.y = targetRect.top + (height / 2);
+        }
+        this.computeXCordinate(targetRect);
+        this.computeYCordinate(targetRect);
+        if (this._hoverPointer) {
+            this._hoverPointer.classList.remove('top');
+            this._hoverPointer.classList.remove('left');
+            this._hoverPointer.classList.remove('right');
+            this._hoverPointer.classList.remove('bottom');
+            this.setHoverPointerPosition(targetRect);
+        }
+        this._hover.onContentsChanged();
+    }
+    computeXCordinate(target) {
+        const hoverWidth = this._hover.containerDomNode.clientWidth + 2 ;
+        if (this._target.x !== undefined) {
+            this._x = this._target.x;
+        }
+        else if (this._hoverPosition === 1 ) {
+            this._x = target.right;
+        }
+        else if (this._hoverPosition === 0 ) {
+            this._x = target.left - hoverWidth;
+        }
+        else {
+            if (this._hoverPointer) {
+                this._x = target.center.x - (this._hover.containerDomNode.clientWidth / 2);
+            }
+            else {
+                this._x = target.left;
+            }
+            if (this._x + hoverWidth >= document.documentElement.clientWidth) {
+                this._hover.containerDomNode.classList.add('right-aligned');
+                this._x = Math.max(document.documentElement.clientWidth - hoverWidth - 2 , document.documentElement.clientLeft);
+            }
+        }
+        if (this._x < document.documentElement.clientLeft) {
+            this._x = target.left + 2 ;
+        }
+    }
+    computeYCordinate(target) {
+        if (this._target.y !== undefined) {
+            this._y = this._target.y;
+        }
+        else if (this._hoverPosition === 3 ) {
+            this._y = target.top;
+        }
+        else if (this._hoverPosition === 2 ) {
+            this._y = target.bottom - 2;
+        }
+        else {
+            if (this._hoverPointer) {
+                this._y = target.center.y + (this._hover.containerDomNode.clientHeight / 2);
+            }
+            else {
+                this._y = target.bottom;
+            }
+        }
+        if (this._y > window.innerHeight) {
+            this._y = target.bottom;
+        }
+    }
+    adjustHorizontalHoverPosition(target) {
+        if (this._target.x !== undefined) {
+            return;
+        }
+        if (this._forcePosition) {
+            const padding = (this._hoverPointer ? 3  : 0) + 2 ;
+            if (this._hoverPosition === 1 ) {
+                this._hover.containerDomNode.style.maxWidth = `${document.documentElement.clientWidth - target.right - padding}px`;
+            }
+            else if (this._hoverPosition === 0 ) {
+                this._hover.containerDomNode.style.maxWidth = `${target.left - padding}px`;
+            }
+            return;
+        }
+        if (this._hoverPosition === 1 ) {
+            const roomOnRight = document.documentElement.clientWidth - target.right;
+            if (roomOnRight < this._hover.containerDomNode.clientWidth) {
+                const roomOnLeft = target.left;
+                if (roomOnLeft >= this._hover.containerDomNode.clientWidth) {
+                    this._hoverPosition = 0 ;
+                }
+                else {
+                    this._hoverPosition = 2 ;
+                }
+            }
+        }
+        else if (this._hoverPosition === 0 ) {
+            const roomOnLeft = target.left;
+            if (roomOnLeft < this._hover.containerDomNode.clientWidth) {
+                const roomOnRight = document.documentElement.clientWidth - target.right;
+                if (roomOnRight >= this._hover.containerDomNode.clientWidth) {
+                    this._hoverPosition = 1 ;
+                }
+                else {
+                    this._hoverPosition = 2 ;
+                }
+            }
+            if (target.left - this._hover.containerDomNode.clientWidth <= document.documentElement.clientLeft) {
+                this._hoverPosition = 1 ;
+            }
+        }
+    }
+    adjustVerticalHoverPosition(target) {
+        if (this._target.y !== undefined || this._forcePosition) {
+            return;
+        }
+        if (this._hoverPosition === 3 ) {
+            if (target.top - this._hover.containerDomNode.clientHeight < 0) {
+                this._hoverPosition = 2 ;
+            }
+        }
+        else if (this._hoverPosition === 2 ) {
+            if (target.bottom + this._hover.containerDomNode.clientHeight > window.innerHeight) {
+                this._hoverPosition = 3 ;
+            }
+        }
+    }
+    adjustHoverMaxHeight(target) {
+        let maxHeight = window.innerHeight / 2;
+        if (this._forcePosition) {
+            const padding = (this._hoverPointer ? 3  : 0) + 2 ;
+            if (this._hoverPosition === 3 ) {
+                maxHeight = Math.min(maxHeight, target.top - padding);
+            }
+            else if (this._hoverPosition === 2 ) {
+                maxHeight = Math.min(maxHeight, window.innerHeight - target.bottom - padding);
+            }
+        }
+        this._hover.containerDomNode.style.maxHeight = `${maxHeight}px`;
+        if (this._hover.contentsDomNode.clientHeight < this._hover.contentsDomNode.scrollHeight) {
+            const extraRightPadding = `${this._hover.scrollbar.options.verticalScrollbarSize}px`;
+            if (this._hover.contentsDomNode.style.paddingRight !== extraRightPadding) {
+                this._hover.contentsDomNode.style.paddingRight = extraRightPadding;
+            }
+        }
+    }
+    setHoverPointerPosition(target) {
+        if (!this._hoverPointer) {
+            return;
+        }
+        switch (this._hoverPosition) {
+            case 0 :
+            case 1 : {
+                this._hoverPointer.classList.add(this._hoverPosition === 0  ? 'right' : 'left');
+                const hoverHeight = this._hover.containerDomNode.clientHeight;
+                if (hoverHeight > target.height) {
+                    this._hoverPointer.style.top = `${target.center.y - (this._y - hoverHeight) - 3 }px`;
+                }
+                else {
+                    this._hoverPointer.style.top = `${Math.round((hoverHeight / 2)) - 3 }px`;
+                }
+                break;
+            }
+            case 3 :
+            case 2 : {
+                this._hoverPointer.classList.add(this._hoverPosition === 3  ? 'bottom' : 'top');
+                const hoverWidth = this._hover.containerDomNode.clientWidth;
+                let pointerLeftPosition = Math.round((hoverWidth / 2)) - 3 ;
+                const pointerX = this._x + pointerLeftPosition;
+                if (pointerX < target.left || pointerX > target.right) {
+                    pointerLeftPosition = target.center.x - this._x - 3 ;
+                }
+                this._hoverPointer.style.left = `${pointerLeftPosition}px`;
+                break;
+            }
+        }
+    }
+    focus() {
+        this._hover.containerDomNode.focus();
+    }
+    hide() {
+        this.dispose();
+    }
+    dispose() {
+        if (!this._isDisposed) {
+            this._onDispose.fire();
+            this._hoverContainer.remove();
+            this._messageListeners.dispose();
+            this._target.dispose();
+            super.dispose();
+        }
+        this._isDisposed = true;
+    }
+};
+HoverWidget = ( __decorate([
+    ( __param(1, IKeybindingService)),
+    ( __param(2, IConfigurationService)),
+    ( __param(3, IOpenerService)),
+    ( __param(4, IInstantiationService))
+], HoverWidget));
+class CompositeMouseTracker extends Widget {
+    get onMouseOut() { return this._onMouseOut.event; }
+    get isMouseIn() { return this._isMouseIn; }
+    constructor(_elements) {
+        super();
+        this._elements = _elements;
+        this._isMouseIn = true;
+        this._onMouseOut = this._register(( new Emitter()));
+        this._elements.forEach(n => this.onmouseover(n, () => this._onTargetMouseOver()));
+        this._elements.forEach(n => this.onmouseleave(n, () => this._onTargetMouseLeave()));
+    }
+    _onTargetMouseOver() {
+        this._isMouseIn = true;
+        this._clearEvaluateMouseStateTimeout();
+    }
+    _onTargetMouseLeave() {
+        this._isMouseIn = false;
+        this._evaluateMouseState();
+    }
+    _evaluateMouseState() {
+        this._clearEvaluateMouseStateTimeout();
+        this._mouseTimeout = window.setTimeout(() => this._fireIfMouseOutside(), 0);
+    }
+    _clearEvaluateMouseStateTimeout() {
+        if (this._mouseTimeout) {
+            clearTimeout(this._mouseTimeout);
+            this._mouseTimeout = undefined;
+        }
+    }
+    _fireIfMouseOutside() {
+        if (!this._isMouseIn) {
+            this._onMouseOut.fire();
+        }
+    }
+}
+class ElementHoverTarget {
+    constructor(_element) {
+        this._element = _element;
+        this.targetElements = [this._element];
+    }
+    dispose() {
+    }
+}
+export { HoverWidget };

package/dist/vscode/vs/workbench/services/keybinding/browser/keybindingService.js

@@ -300,7 +300,7 @@ let WorkbenchKeybindingService = class WorkbenchKeybindingService extends Abstra
                 continue;
             }
             const input = this._printKeybinding(item.keybinding);
-            if (seenBindings.has(input)) {
+            if (( seenBindings.has(input))) {
                 continue;
             }
             seenBindings.add(input);
@@ -313,7 +313,7 @@ let WorkbenchKeybindingService = class WorkbenchKeybindingService extends Abstra
                 continue;
             }
             const input = item._sourceKey ?? 'Impossible: missing source key, but has keybinding';
-            if (seenBindings.has(input)) {
+            if (( seenBindings.has(input))) {
                 continue;
             }
             seenBindings.add(input);
@@ -808,7 +808,7 @@ class KeybindingsJsonSchema {
         const knownCommands = ( new Set());
         const addKnownCommand = (commandId, description) => {
             if (!/^_/.test(commandId)) {
-                if (!knownCommands.has(commandId)) {
+                if (!( knownCommands.has(commandId))) {
                     knownCommands.add(commandId);
                     this.commandsEnum.push(commandId);
                     this.commandsEnumDescriptions.push(description);

package/dist/vscode/vs/workbench/services/keybinding/browser/unboundCommands.js

@@ -6,7 +6,7 @@ function getAllUnboundCommands(boundCommands) {
     const unboundCommands = [];
     const seenMap = ( new Map());
     const addCommand = (id, includeCommandWithArgs) => {
-        if (seenMap.has(id)) {
+        if (( seenMap.has(id))) {
             return;
         }
         seenMap.set(id, true);

package/dist/vscode/vs/workbench/services/languageDetection/common/languageDetectionWorkerService.js

@@ -1,5 +1,4 @@
 import { createDecorator } from 'monaco-editor/esm/vs/platform/instantiation/common/instantiation.js';
 const ILanguageDetectionService = ( createDecorator('ILanguageDetectionService'));
 const LanguageDetectionLanguageEventSource = 'languageDetection';
-const AutomaticLanguageDetectionLikelyWrongId = 'automaticlanguagedetection.likelywrong';
-export { AutomaticLanguageDetectionLikelyWrongId, ILanguageDetectionService, LanguageDetectionLanguageEventSource };
+export { ILanguageDetectionService, LanguageDetectionLanguageEventSource };

package/dist/vscode/vs/workbench/services/output/common/output.js

@@ -28,7 +28,7 @@ class OutputChannelRegistry {
         this.onDidRemoveChannel = this._onDidRemoveChannel.event;
     }
     registerChannel(descriptor) {
-        if (!this.channels.has(descriptor.id)) {
+        if (!( this.channels.has(descriptor.id))) {
             this.channels.set(descriptor.id, descriptor);
             this._onDidRegisterChannel.fire(descriptor.id);
         }

package/dist/vscode/vs/workbench/services/preferences/common/preferencesModels.js

@@ -38,7 +38,7 @@ class AbstractSettingsModel extends EditorModel {
             .sort((a, b) => this._currentResultGroups.get(a).order - this._currentResultGroups.get(b).order)
             .forEach(groupId => {
             const group = this._currentResultGroups.get(groupId);
-            group.result.filterMatches = group.result.filterMatches.filter(s => !settingKeys.has(s.setting.key));
+            group.result.filterMatches = group.result.filterMatches.filter(s => !( settingKeys.has(s.setting.key)));
             group.result.filterMatches.forEach(s => settingKeys.add(s.setting.key));
         });
     }