@codingame/monaco-vscode-api 4.5.1 → 5.0.0

package/vscode/src/vs/platform/quickinput/browser/quickInputController.js

@@ -18,6 +18,7 @@ import { mainWindow } from '../../../base/browser/window.js';
 import { IInstantiationService } from '../../instantiation/common/instantiation.js';
 import { QuickInputTree, QuickInputListFocus } from './quickInputTree.js';
 var QuickInputController_1;
+const _moduleId = "vs/platform/quickinput/browser/quickInputController";
 const $ = $$1;
 let QuickInputController = class QuickInputController extends Disposable {
     static { QuickInputController_1 = this; }
@@ -29,14 +30,14 @@ let QuickInputController = class QuickInputController extends Disposable {
         this.layoutService = layoutService;
         this.instantiationService = instantiationService;
         this.enabled = true;
-        this.onDidAcceptEmitter = this._register(( new Emitter()));
-        this.onDidCustomEmitter = this._register(( new Emitter()));
-        this.onDidTriggerButtonEmitter = this._register(( new Emitter()));
+        this.onDidAcceptEmitter = this._register(( (new Emitter())));
+        this.onDidCustomEmitter = this._register(( (new Emitter())));
+        this.onDidTriggerButtonEmitter = this._register(( (new Emitter())));
         this.keyMods = { ctrlCmd: false, alt: false };
         this.controller = null;
-        this.onShowEmitter = this._register(( new Emitter()));
+        this.onShowEmitter = this._register(( (new Emitter())));
         this.onShow = this.onShowEmitter.event;
-        this.onHideEmitter = this._register(( new Emitter()));
+        this.onHideEmitter = this._register(( (new Emitter())));
         this.onHide = this.onHideEmitter.event;
         this.backButton = backButton;
         this.idPrefix = options.idPrefix;
@@ -74,19 +75,15 @@ let QuickInputController = class QuickInputController extends Disposable {
         container.style.display = 'none';
         const styleSheet = createStyleSheet(container);
         const titleBar = append(container, $('.quick-input-titlebar'));
-        const leftActionBar = this._register(( new ActionBar(titleBar, { hoverDelegate: this.options.hoverDelegate })));
+        const leftActionBar = this._register(( (new ActionBar(titleBar, { hoverDelegate: this.options.hoverDelegate }))));
         leftActionBar.domNode.classList.add('quick-input-left-action-bar');
         const title = append(titleBar, $('.quick-input-title'));
-        const rightActionBar = this._register(( new ActionBar(titleBar, { hoverDelegate: this.options.hoverDelegate })));
+        const rightActionBar = this._register(( (new ActionBar(titleBar, { hoverDelegate: this.options.hoverDelegate }))));
         rightActionBar.domNode.classList.add('quick-input-right-action-bar');
         const headerContainer = append(container, $('.quick-input-header'));
         const checkAll = append(headerContainer, $('input.quick-input-check-all'));
         checkAll.type = 'checkbox';
-        checkAll.setAttribute('aria-label', ( localizeWithPath(
-            'vs/platform/quickinput/browser/quickInputController',
-            'quickInput.checkAll',
-            "Toggle all checkboxes"
-        )));
+        checkAll.setAttribute('aria-label', ( localizeWithPath(_moduleId, 0, "Toggle all checkboxes")));
         this._register(addStandardDisposableListener(checkAll, EventType.CHANGE, e => {
             const checked = checkAll.checked;
             list.setAllVisibleChecked(checked);
@@ -99,37 +96,29 @@ let QuickInputController = class QuickInputController extends Disposable {
         const description2 = append(headerContainer, $('.quick-input-description'));
         const inputContainer = append(headerContainer, $('.quick-input-and-message'));
         const filterContainer = append(inputContainer, $('.quick-input-filter'));
-        const inputBox = this._register(( new QuickInputBox(filterContainer, this.styles.inputBox, this.styles.toggle)));
+        const inputBox = this._register(( (new QuickInputBox(filterContainer, this.styles.inputBox, this.styles.toggle))));
         inputBox.setAttribute('aria-describedby', `${this.idPrefix}message`);
         const visibleCountContainer = append(filterContainer, $('.quick-input-visible-count'));
         visibleCountContainer.setAttribute('aria-live', 'polite');
         visibleCountContainer.setAttribute('aria-atomic', 'true');
-        const visibleCount = ( new CountBadge(visibleCountContainer, { countFormat: ( localizeWithPath(
-            'vs/platform/quickinput/browser/quickInputController',
-            { key: 'quickInput.visibleCount', comment: ['This tells the user how many items are shown in a list of items to select from. The items can be anything. Currently not visible, but read by screen readers.'] },
-            "{0} Results"
-        )) }, this.styles.countBadge));
+        const visibleCount = ( (new CountBadge(visibleCountContainer, { countFormat: ( localizeWithPath(_moduleId, 1, "{0} Results")) }, this.styles.countBadge)));
         const countContainer = append(filterContainer, $('.quick-input-count'));
         countContainer.setAttribute('aria-live', 'polite');
-        const count = ( new CountBadge(countContainer, { countFormat: ( localizeWithPath(
-            'vs/platform/quickinput/browser/quickInputController',
-            { key: 'quickInput.countSelected', comment: ['This tells the user how many items are selected in a list of items to select from. The items can be anything.'] },
-            "{0} Selected"
-        )) }, this.styles.countBadge));
+        const count = ( (new CountBadge(countContainer, { countFormat: ( localizeWithPath(_moduleId, 2, "{0} Selected")) }, this.styles.countBadge)));
         const okContainer = append(headerContainer, $('.quick-input-action'));
-        const ok = this._register(( new Button(okContainer, this.styles.button)));
-        ok.label = ( localizeWithPath('vs/platform/quickinput/browser/quickInputController', 'ok', "OK"));
+        const ok = this._register(( (new Button(okContainer, this.styles.button))));
+        ok.label = ( localizeWithPath(_moduleId, 3, "OK"));
         this._register(ok.onDidClick(e => {
             this.onDidAcceptEmitter.fire();
         }));
         const customButtonContainer = append(headerContainer, $('.quick-input-action'));
-        const customButton = this._register(( new Button(customButtonContainer, { ...this.styles.button, supportIcons: true })));
-        customButton.label = ( localizeWithPath('vs/platform/quickinput/browser/quickInputController', 'custom', "Custom"));
+        const customButton = this._register(( (new Button(customButtonContainer, { ...this.styles.button, supportIcons: true }))));
+        customButton.label = ( localizeWithPath(_moduleId, 4, "Custom"));
         this._register(customButton.onDidClick(e => {
             this.onDidCustomEmitter.fire();
         }));
         const message = append(inputContainer, $(`#${this.idPrefix}message.quick-input-message`));
-        const progressBar = this._register(( new ProgressBar(container, this.styles.progressBar)));
+        const progressBar = this._register(( (new ProgressBar(container, this.styles.progressBar))));
         progressBar.getContainer().classList.add('quick-input-progress');
         const widget = append(container, $('.quick-input-html-widget'));
         widget.tabIndex = -1;
@@ -283,109 +272,111 @@ let QuickInputController = class QuickInputController extends Disposable {
         }
     }
     pick(picks, options = {}, token = CancellationToken.None) {
-        return ( new Promise((doResolve, reject) => {
-            let resolve = (result) => {
-                resolve = doResolve;
-                options.onKeyMods?.(input.keyMods);
-                doResolve(result);
-            };
-            if (token.isCancellationRequested) {
-                resolve(undefined);
-                return;
-            }
-            const input = this.createQuickPick();
-            let activeItem;
-            const disposables = [
-                input,
-                input.onDidAccept(() => {
-                    if (input.canSelectMany) {
-                        resolve(input.selectedItems.slice());
-                        input.hide();
-                    }
-                    else {
-                        const result = input.activeItems[0];
-                        if (result) {
-                            resolve(result);
+        return (
+             (new Promise((doResolve, reject) => {
+                let resolve = (result) => {
+                    resolve = doResolve;
+                    options.onKeyMods?.(input.keyMods);
+                    doResolve(result);
+                };
+                if (token.isCancellationRequested) {
+                    resolve(undefined);
+                    return;
+                }
+                const input = this.createQuickPick();
+                let activeItem;
+                const disposables = [
+                    input,
+                    input.onDidAccept(() => {
+                        if (input.canSelectMany) {
+                            resolve(input.selectedItems.slice());
                             input.hide();
                         }
-                    }
-                }),
-                input.onDidChangeActive(items => {
-                    const focused = items[0];
-                    if (focused && options.onDidFocus) {
-                        options.onDidFocus(focused);
-                    }
-                }),
-                input.onDidChangeSelection(items => {
-                    if (!input.canSelectMany) {
-                        const result = items[0];
-                        if (result) {
-                            resolve(result);
-                            input.hide();
+                        else {
+                            const result = input.activeItems[0];
+                            if (result) {
+                                resolve(result);
+                                input.hide();
+                            }
                         }
-                    }
-                }),
-                input.onDidTriggerItemButton(event => options.onDidTriggerItemButton && options.onDidTriggerItemButton({
-                    ...event,
-                    removeItem: () => {
-                        const index = input.items.indexOf(event.item);
-                        if (index !== -1) {
-                            const items = input.items.slice();
-                            const removed = items.splice(index, 1);
-                            const activeItems = input.activeItems.filter(activeItem => activeItem !== removed[0]);
-                            const keepScrollPositionBefore = input.keepScrollPosition;
-                            input.keepScrollPosition = true;
-                            input.items = items;
-                            if (activeItems) {
-                                input.activeItems = activeItems;
+                    }),
+                    input.onDidChangeActive(items => {
+                        const focused = items[0];
+                        if (focused && options.onDidFocus) {
+                            options.onDidFocus(focused);
+                        }
+                    }),
+                    input.onDidChangeSelection(items => {
+                        if (!input.canSelectMany) {
+                            const result = items[0];
+                            if (result) {
+                                resolve(result);
+                                input.hide();
                             }
-                            input.keepScrollPosition = keepScrollPositionBefore;
                         }
+                    }),
+                    input.onDidTriggerItemButton(event => options.onDidTriggerItemButton && options.onDidTriggerItemButton({
+                        ...event,
+                        removeItem: () => {
+                            const index = input.items.indexOf(event.item);
+                            if (index !== -1) {
+                                const items = input.items.slice();
+                                const removed = items.splice(index, 1);
+                                const activeItems = input.activeItems.filter(activeItem => activeItem !== removed[0]);
+                                const keepScrollPositionBefore = input.keepScrollPosition;
+                                input.keepScrollPosition = true;
+                                input.items = items;
+                                if (activeItems) {
+                                    input.activeItems = activeItems;
+                                }
+                                input.keepScrollPosition = keepScrollPositionBefore;
+                            }
+                        }
+                    })),
+                    input.onDidTriggerSeparatorButton(event => options.onDidTriggerSeparatorButton?.(event)),
+                    input.onDidChangeValue(value => {
+                        if (activeItem && !value && (input.activeItems.length !== 1 || input.activeItems[0] !== activeItem)) {
+                            input.activeItems = [activeItem];
+                        }
+                    }),
+                    token.onCancellationRequested(() => {
+                        input.hide();
+                    }),
+                    input.onDidHide(() => {
+                        dispose(disposables);
+                        resolve(undefined);
+                    }),
+                ];
+                input.title = options.title;
+                input.canSelectMany = !!options.canPickMany;
+                input.placeholder = options.placeHolder;
+                input.ignoreFocusOut = !!options.ignoreFocusLost;
+                input.matchOnDescription = !!options.matchOnDescription;
+                input.matchOnDetail = !!options.matchOnDetail;
+                input.matchOnLabel = (options.matchOnLabel === undefined) || options.matchOnLabel;
+                input.quickNavigate = options.quickNavigate;
+                input.hideInput = !!options.hideInput;
+                input.contextKey = options.contextKey;
+                input.busy = true;
+                Promise.all([picks, options.activeItem])
+                    .then(([items, _activeItem]) => {
+                    activeItem = _activeItem;
+                    input.busy = false;
+                    input.items = items;
+                    if (input.canSelectMany) {
+                        input.selectedItems = items.filter(item => item.type !== 'separator' && item.picked);
                     }
-                })),
-                input.onDidTriggerSeparatorButton(event => options.onDidTriggerSeparatorButton?.(event)),
-                input.onDidChangeValue(value => {
-                    if (activeItem && !value && (input.activeItems.length !== 1 || input.activeItems[0] !== activeItem)) {
+                    if (activeItem) {
                         input.activeItems = [activeItem];
                     }
-                }),
-                token.onCancellationRequested(() => {
+                });
+                input.show();
+                Promise.resolve(picks).then(undefined, err => {
+                    reject(err);
                     input.hide();
-                }),
-                input.onDidHide(() => {
-                    dispose(disposables);
-                    resolve(undefined);
-                }),
-            ];
-            input.title = options.title;
-            input.canSelectMany = !!options.canPickMany;
-            input.placeholder = options.placeHolder;
-            input.ignoreFocusOut = !!options.ignoreFocusLost;
-            input.matchOnDescription = !!options.matchOnDescription;
-            input.matchOnDetail = !!options.matchOnDetail;
-            input.matchOnLabel = (options.matchOnLabel === undefined) || options.matchOnLabel;
-            input.quickNavigate = options.quickNavigate;
-            input.hideInput = !!options.hideInput;
-            input.contextKey = options.contextKey;
-            input.busy = true;
-            Promise.all([picks, options.activeItem])
-                .then(([items, _activeItem]) => {
-                activeItem = _activeItem;
-                input.busy = false;
-                input.items = items;
-                if (input.canSelectMany) {
-                    input.selectedItems = items.filter(item => item.type !== 'separator' && item.picked);
-                }
-                if (activeItem) {
-                    input.activeItems = [activeItem];
-                }
-            });
-            input.show();
-            Promise.resolve(picks).then(undefined, err => {
-                reject(err);
-                input.hide();
-            });
-        }));
+                });
+            }))
+        );
     }
     setValidationOnInput(input, validationResult) {
         if (validationResult && isString(validationResult)) {
@@ -402,74 +393,82 @@ let QuickInputController = class QuickInputController extends Disposable {
         }
     }
     input(options = {}, token = CancellationToken.None) {
-        return ( new Promise((resolve) => {
-            if (token.isCancellationRequested) {
-                resolve(undefined);
-                return;
-            }
-            const input = this.createInputBox();
-            const validateInput = options.validateInput || (() => Promise.resolve(undefined));
-            const onDidValueChange = Event.debounce(input.onDidChangeValue, (last, cur) => cur, 100);
-            let validationValue = options.value || '';
-            let validation = Promise.resolve(validateInput(validationValue));
-            const disposables = [
-                input,
-                onDidValueChange(value => {
-                    if (value !== validationValue) {
-                        validation = Promise.resolve(validateInput(value));
-                        validationValue = value;
-                    }
-                    validation.then(result => {
-                        if (value === validationValue) {
-                            this.setValidationOnInput(input, result);
-                        }
-                    });
-                }),
-                input.onDidAccept(() => {
-                    const value = input.value;
-                    if (value !== validationValue) {
-                        validation = Promise.resolve(validateInput(value));
-                        validationValue = value;
-                    }
-                    validation.then(result => {
-                        if (!result || (!isString(result) && result.severity !== Severity$1.Error)) {
-                            resolve(value);
-                            input.hide();
+        return (
+             (new Promise((resolve) => {
+                if (token.isCancellationRequested) {
+                    resolve(undefined);
+                    return;
+                }
+                const input = this.createInputBox();
+                const validateInput = options.validateInput || (() => Promise.resolve(undefined));
+                const onDidValueChange = Event.debounce(input.onDidChangeValue, (last, cur) => cur, 100);
+                let validationValue = options.value || '';
+                let validation = Promise.resolve(validateInput(validationValue));
+                const disposables = [
+                    input,
+                    onDidValueChange(value => {
+                        if (value !== validationValue) {
+                            validation = Promise.resolve(validateInput(value));
+                            validationValue = value;
                         }
-                        else if (value === validationValue) {
-                            this.setValidationOnInput(input, result);
+                        validation.then(result => {
+                            if (value === validationValue) {
+                                this.setValidationOnInput(input, result);
+                            }
+                        });
+                    }),
+                    input.onDidAccept(() => {
+                        const value = input.value;
+                        if (value !== validationValue) {
+                            validation = Promise.resolve(validateInput(value));
+                            validationValue = value;
                         }
-                    });
-                }),
-                token.onCancellationRequested(() => {
-                    input.hide();
-                }),
-                input.onDidHide(() => {
-                    dispose(disposables);
-                    resolve(undefined);
-                }),
-            ];
-            input.title = options.title;
-            input.value = options.value || '';
-            input.valueSelection = options.valueSelection;
-            input.prompt = options.prompt;
-            input.placeholder = options.placeHolder;
-            input.password = !!options.password;
-            input.ignoreFocusOut = !!options.ignoreFocusLost;
-            input.show();
-        }));
+                        validation.then(result => {
+                            if (!result || (!isString(result) && result.severity !== Severity$1.Error)) {
+                                resolve(value);
+                                input.hide();
+                            }
+                            else if (value === validationValue) {
+                                this.setValidationOnInput(input, result);
+                            }
+                        });
+                    }),
+                    token.onCancellationRequested(() => {
+                        input.hide();
+                    }),
+                    input.onDidHide(() => {
+                        dispose(disposables);
+                        resolve(undefined);
+                    }),
+                ];
+                input.title = options.title;
+                input.value = options.value || '';
+                input.valueSelection = options.valueSelection;
+                input.prompt = options.prompt;
+                input.placeholder = options.placeHolder;
+                input.password = !!options.password;
+                input.ignoreFocusOut = !!options.ignoreFocusLost;
+                input.show();
+            }))
+        );
     }
     createQuickPick() {
         const ui = this.getUI(true);
-        return ( new QuickPick(ui));
+        return (
+             (new QuickPick(ui))
+        );
     }
     createInputBox() {
         const ui = this.getUI(true);
-        return ( new InputBox(ui));
+        return (
+             (new InputBox(ui))
+        );
     }
     createQuickWidget() {
         const ui = this.getUI(true);
-        return ( new QuickWidget(ui));
+        return (
+             (new QuickWidget(ui))
+        );
     }
     show(controller) {
         const ui = this.getUI(true);
@@ -500,16 +499,7 @@ let QuickInputController = class QuickInputController extends Disposable {
         ui.ignoreFocusOut = false;
         ui.inputBox.toggles = undefined;
         const backKeybindingLabel = this.options.backKeybindingLabel();
-        backButton.tooltip = backKeybindingLabel ? ( localizeWithPath(
-            'vs/platform/quickinput/browser/quickInputController',
-            'quickInput.backWithKeybinding',
-            "Back ({0})",
-            backKeybindingLabel
-        )) : ( localizeWithPath(
-            'vs/platform/quickinput/browser/quickInputController',
-            'quickInput.back',
-            "Back"
-        ));
+        backButton.tooltip = backKeybindingLabel ? ( localizeWithPath(_moduleId, 5, "Back ({0})", backKeybindingLabel)) : ( localizeWithPath(_moduleId, 6, "Back"));
         ui.container.style.display = '';
         this.updateLayout();
         ui.inputBox.setFocus();
@@ -683,8 +673,8 @@ let QuickInputController = class QuickInputController extends Disposable {
         }
     }
 };
-QuickInputController = QuickInputController_1 = ( __decorate([
-    ( __param(1, ILayoutService)),
-    ( __param(2, IInstantiationService))
-], QuickInputController));
+QuickInputController = QuickInputController_1 = ( (__decorate([
+    ( (__param(1, ILayoutService))),
+    ( (__param(2, IInstantiationService)))
+], QuickInputController)));
 export { QuickInputController };