quickInput.js 1.2 KB

12345678910111213141516171819202122232425262728
  1. /*---------------------------------------------------------------------------------------------
  2. * Copyright (c) Microsoft Corporation. All rights reserved.
  3. * Licensed under the MIT License. See License.txt in the project root for license information.
  4. *--------------------------------------------------------------------------------------------*/
  5. export const NO_KEY_MODS = { ctrlCmd: false, alt: false };
  6. export var QuickInputHideReason;
  7. (function (QuickInputHideReason) {
  8. /**
  9. * Focus moved away from the quick input.
  10. */
  11. QuickInputHideReason[QuickInputHideReason["Blur"] = 1] = "Blur";
  12. /**
  13. * An explicit user gesture, e.g. pressing Escape key.
  14. */
  15. QuickInputHideReason[QuickInputHideReason["Gesture"] = 2] = "Gesture";
  16. /**
  17. * Anything else.
  18. */
  19. QuickInputHideReason[QuickInputHideReason["Other"] = 3] = "Other";
  20. })(QuickInputHideReason || (QuickInputHideReason = {}));
  21. export var ItemActivation;
  22. (function (ItemActivation) {
  23. ItemActivation[ItemActivation["NONE"] = 0] = "NONE";
  24. ItemActivation[ItemActivation["FIRST"] = 1] = "FIRST";
  25. ItemActivation[ItemActivation["SECOND"] = 2] = "SECOND";
  26. ItemActivation[ItemActivation["LAST"] = 3] = "LAST";
  27. })(ItemActivation || (ItemActivation = {}));
  28. //#endregion