@theia/preferences 1.34.1 → 1.34.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (128) hide show
  1. package/LICENSE +641 -641
  2. package/README.md +81 -81
  3. package/lib/browser/abstract-resource-preference-provider.d.ts +46 -46
  4. package/lib/browser/abstract-resource-preference-provider.js +237 -237
  5. package/lib/browser/abstract-resource-preference-provider.spec.d.ts +1 -1
  6. package/lib/browser/abstract-resource-preference-provider.spec.js +83 -83
  7. package/lib/browser/folder-preference-provider.d.ts +20 -20
  8. package/lib/browser/folder-preference-provider.js +59 -59
  9. package/lib/browser/folders-preferences-provider.d.ts +25 -25
  10. package/lib/browser/folders-preferences-provider.js +239 -239
  11. package/lib/browser/index.d.ts +7 -7
  12. package/lib/browser/index.js +34 -34
  13. package/lib/browser/monaco-jsonc-editor.d.ts +9 -9
  14. package/lib/browser/monaco-jsonc-editor.js +80 -80
  15. package/lib/browser/package.spec.js +25 -25
  16. package/lib/browser/preference-bindings.d.ts +4 -4
  17. package/lib/browser/preference-bindings.js +63 -63
  18. package/lib/browser/preference-frontend-module.d.ts +6 -6
  19. package/lib/browser/preference-frontend-module.js +52 -52
  20. package/lib/browser/preference-open-handler.d.ts +9 -9
  21. package/lib/browser/preference-open-handler.js +64 -64
  22. package/lib/browser/preference-transaction-manager.d.ts +98 -98
  23. package/lib/browser/preference-transaction-manager.js +295 -295
  24. package/lib/browser/preference-tree-model.d.ts +59 -59
  25. package/lib/browser/preference-tree-model.js +240 -240
  26. package/lib/browser/preferences-contribution.d.ts +37 -37
  27. package/lib/browser/preferences-contribution.js +279 -279
  28. package/lib/browser/preferences-json-schema-contribution.d.ts +17 -17
  29. package/lib/browser/preferences-json-schema-contribution.js +91 -91
  30. package/lib/browser/preferences-monaco-contribution.d.ts +1 -1
  31. package/lib/browser/preferences-monaco-contribution.js +30 -30
  32. package/lib/browser/section-preference-provider.d.ts +21 -21
  33. package/lib/browser/section-preference-provider.js +96 -96
  34. package/lib/browser/user-configs-preference-provider.d.ts +21 -21
  35. package/lib/browser/user-configs-preference-provider.js +134 -134
  36. package/lib/browser/user-preference-provider.d.ts +13 -13
  37. package/lib/browser/user-preference-provider.js +41 -41
  38. package/lib/browser/util/preference-scope-command-manager.d.ts +17 -17
  39. package/lib/browser/util/preference-scope-command-manager.js +87 -87
  40. package/lib/browser/util/preference-tree-generator.d.ts +30 -30
  41. package/lib/browser/util/preference-tree-generator.js +234 -234
  42. package/lib/browser/util/preference-tree-label-provider.d.ts +11 -11
  43. package/lib/browser/util/preference-tree-label-provider.js +77 -77
  44. package/lib/browser/util/preference-tree-label-provider.spec.d.ts +1 -1
  45. package/lib/browser/util/preference-tree-label-provider.spec.js +87 -87
  46. package/lib/browser/util/preference-types.d.ts +62 -62
  47. package/lib/browser/util/preference-types.js +128 -128
  48. package/lib/browser/views/components/preference-array-input.d.ts +28 -28
  49. package/lib/browser/views/components/preference-array-input.js +180 -180
  50. package/lib/browser/views/components/preference-boolean-input.d.ts +17 -17
  51. package/lib/browser/views/components/preference-boolean-input.js +79 -79
  52. package/lib/browser/views/components/preference-file-input.d.ts +29 -29
  53. package/lib/browser/views/components/preference-file-input.js +110 -110
  54. package/lib/browser/views/components/preference-json-input.d.ts +19 -19
  55. package/lib/browser/views/components/preference-json-input.js +93 -93
  56. package/lib/browser/views/components/preference-node-renderer-creator.d.ts +48 -48
  57. package/lib/browser/views/components/preference-node-renderer-creator.js +132 -132
  58. package/lib/browser/views/components/preference-node-renderer.d.ts +111 -111
  59. package/lib/browser/views/components/preference-node-renderer.js +460 -460
  60. package/lib/browser/views/components/preference-number-input.d.ts +34 -34
  61. package/lib/browser/views/components/preference-number-input.js +142 -142
  62. package/lib/browser/views/components/preference-select-input.d.ts +27 -27
  63. package/lib/browser/views/components/preference-select-input.js +135 -135
  64. package/lib/browser/views/components/preference-string-input.d.ts +17 -17
  65. package/lib/browser/views/components/preference-string-input.js +89 -89
  66. package/lib/browser/views/preference-editor-widget.d.ts +67 -67
  67. package/lib/browser/views/preference-editor-widget.js +376 -376
  68. package/lib/browser/views/preference-scope-tabbar-widget.d.ts +54 -54
  69. package/lib/browser/views/preference-scope-tabbar-widget.js +343 -343
  70. package/lib/browser/views/preference-searchbar-widget.d.ts +53 -53
  71. package/lib/browser/views/preference-searchbar-widget.js +173 -173
  72. package/lib/browser/views/preference-tree-widget.d.ts +17 -17
  73. package/lib/browser/views/preference-tree-widget.js +104 -104
  74. package/lib/browser/views/preference-widget-bindings.d.ts +3 -3
  75. package/lib/browser/views/preference-widget-bindings.js +85 -85
  76. package/lib/browser/views/preference-widget.d.ts +35 -35
  77. package/lib/browser/views/preference-widget.js +123 -123
  78. package/lib/browser/workspace-file-preference-provider.d.ts +23 -23
  79. package/lib/browser/workspace-file-preference-provider.js +110 -110
  80. package/lib/browser/workspace-preference-provider.d.ts +28 -28
  81. package/lib/browser/workspace-preference-provider.js +142 -142
  82. package/package.json +9 -9
  83. package/src/browser/abstract-resource-preference-provider.spec.ts +95 -95
  84. package/src/browser/abstract-resource-preference-provider.ts +228 -228
  85. package/src/browser/folder-preference-provider.ts +58 -58
  86. package/src/browser/folders-preferences-provider.ts +236 -236
  87. package/src/browser/index.ts +23 -23
  88. package/src/browser/monaco-jsonc-editor.ts +67 -67
  89. package/src/browser/package.spec.ts +28 -28
  90. package/src/browser/preference-bindings.ts +65 -65
  91. package/src/browser/preference-frontend-module.ts +57 -57
  92. package/src/browser/preference-open-handler.ts +53 -53
  93. package/src/browser/preference-transaction-manager.ts +283 -283
  94. package/src/browser/preference-tree-model.ts +246 -246
  95. package/src/browser/preferences-contribution.ts +263 -263
  96. package/src/browser/preferences-json-schema-contribution.ts +86 -86
  97. package/src/browser/preferences-monaco-contribution.ts +30 -30
  98. package/src/browser/section-preference-provider.ts +83 -83
  99. package/src/browser/style/index.css +456 -456
  100. package/src/browser/style/preference-array.css +90 -90
  101. package/src/browser/style/preference-context-menu.css +74 -74
  102. package/src/browser/style/preference-file.css +32 -32
  103. package/src/browser/style/preference-object.css +49 -49
  104. package/src/browser/style/search-input.css +66 -66
  105. package/src/browser/user-configs-preference-provider.ts +123 -123
  106. package/src/browser/user-preference-provider.ts +35 -35
  107. package/src/browser/util/preference-scope-command-manager.ts +75 -75
  108. package/src/browser/util/preference-tree-generator.ts +222 -222
  109. package/src/browser/util/preference-tree-label-provider.spec.ts +108 -108
  110. package/src/browser/util/preference-tree-label-provider.ts +64 -64
  111. package/src/browser/util/preference-types.ts +169 -169
  112. package/src/browser/views/components/preference-array-input.ts +174 -174
  113. package/src/browser/views/components/preference-boolean-input.ts +69 -69
  114. package/src/browser/views/components/preference-file-input.ts +104 -104
  115. package/src/browser/views/components/preference-json-input.ts +78 -78
  116. package/src/browser/views/components/preference-node-renderer-creator.ts +141 -141
  117. package/src/browser/views/components/preference-node-renderer.ts +499 -499
  118. package/src/browser/views/components/preference-number-input.ts +147 -147
  119. package/src/browser/views/components/preference-select-input.ts +127 -127
  120. package/src/browser/views/components/preference-string-input.ts +76 -76
  121. package/src/browser/views/preference-editor-widget.ts +361 -361
  122. package/src/browser/views/preference-scope-tabbar-widget.tsx +344 -344
  123. package/src/browser/views/preference-searchbar-widget.tsx +183 -183
  124. package/src/browser/views/preference-tree-widget.tsx +93 -93
  125. package/src/browser/views/preference-widget-bindings.ts +99 -99
  126. package/src/browser/views/preference-widget.tsx +113 -113
  127. package/src/browser/workspace-file-preference-provider.ts +100 -100
  128. package/src/browser/workspace-preference-provider.ts +134 -134
@@ -1,135 +1,135 @@
1
- "use strict";
2
- // *****************************************************************************
3
- // Copyright (C) 2019 Ericsson and others.
4
- //
5
- // This program and the accompanying materials are made available under the
6
- // terms of the Eclipse Public License v. 2.0 which is available at
7
- // http://www.eclipse.org/legal/epl-2.0.
8
- //
9
- // This Source Code may also be made available under the following Secondary
10
- // Licenses when the conditions for such availability set forth in the Eclipse
11
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
- // with the GNU Classpath Exception which is available at
13
- // https://www.gnu.org/software/classpath/license.html.
14
- //
15
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
- // *****************************************************************************
17
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
- return c > 3 && r && Object.defineProperty(target, key, r), r;
22
- };
23
- var __metadata = (this && this.__metadata) || function (k, v) {
24
- if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
25
- };
26
- Object.defineProperty(exports, "__esModule", { value: true });
27
- exports.UserConfigsPreferenceProvider = void 0;
28
- /* eslint-disable @typescript-eslint/no-explicit-any */
29
- const inversify_1 = require("@theia/core/shared/inversify");
30
- const preference_provider_1 = require("@theia/core/lib/browser/preferences/preference-provider");
31
- const preference_configurations_1 = require("@theia/core/lib/browser/preferences/preference-configurations");
32
- const browser_1 = require("@theia/userstorage/lib/browser");
33
- const user_preference_provider_1 = require("./user-preference-provider");
34
- /**
35
- * Binds together preference section prefs providers for user-level preferences.
36
- */
37
- let UserConfigsPreferenceProvider = class UserConfigsPreferenceProvider extends preference_provider_1.PreferenceProvider {
38
- constructor() {
39
- super(...arguments);
40
- this.providers = new Map();
41
- }
42
- async init() {
43
- this.createProviders();
44
- const readyPromises = [];
45
- for (const provider of this.providers.values()) {
46
- readyPromises.push(provider.ready.catch(e => console.error(e)));
47
- }
48
- Promise.all(readyPromises).then(() => this._ready.resolve());
49
- }
50
- createProviders() {
51
- for (const configName of [...this.configurations.getSectionNames(), this.configurations.getConfigName()]) {
52
- const sectionUri = browser_1.UserStorageUri.resolve(configName + '.json');
53
- const sectionKey = sectionUri.toString();
54
- if (!this.providers.has(sectionKey)) {
55
- const provider = this.createProvider(sectionUri, configName);
56
- this.providers.set(sectionKey, provider);
57
- }
58
- }
59
- }
60
- getConfigUri(resourceUri, sectionName = this.configurations.getConfigName()) {
61
- for (const provider of this.providers.values()) {
62
- const configUri = provider.getConfigUri(resourceUri);
63
- if (configUri && this.configurations.getName(configUri) === sectionName) {
64
- return configUri;
65
- }
66
- }
67
- return undefined;
68
- }
69
- resolve(preferenceName, resourceUri) {
70
- const result = {};
71
- for (const provider of this.providers.values()) {
72
- const { value, configUri } = provider.resolve(preferenceName, resourceUri);
73
- if (configUri && value !== undefined) {
74
- result.configUri = configUri;
75
- result.value = preference_provider_1.PreferenceProvider.merge(result.value, value);
76
- }
77
- }
78
- return result;
79
- }
80
- getPreferences(resourceUri) {
81
- let result = {};
82
- for (const provider of this.providers.values()) {
83
- const preferences = provider.getPreferences();
84
- result = preference_provider_1.PreferenceProvider.merge(result, preferences);
85
- }
86
- return result;
87
- }
88
- async setPreference(preferenceName, value, resourceUri) {
89
- const sectionName = preferenceName.split('.', 1)[0];
90
- const defaultConfigName = this.configurations.getConfigName();
91
- const configName = this.configurations.isSectionName(sectionName) ? sectionName : defaultConfigName;
92
- const setWithConfigName = async (name) => {
93
- for (const provider of this.providers.values()) {
94
- if (this.configurations.getName(provider.getConfigUri()) === name) {
95
- if (await provider.setPreference(preferenceName, value, resourceUri)) {
96
- return true;
97
- }
98
- }
99
- }
100
- return false;
101
- };
102
- if (await setWithConfigName(configName)) { // Try in the section we believe it belongs in.
103
- return true;
104
- }
105
- else if (configName !== defaultConfigName) { // Fall back to `settings.json` if that fails.
106
- return setWithConfigName(defaultConfigName);
107
- }
108
- return false;
109
- }
110
- createProvider(uri, sectionName) {
111
- const provider = this.providerFactory(uri, sectionName);
112
- this.toDispose.push(provider);
113
- this.toDispose.push(provider.onDidPreferencesChanged(change => this.onDidPreferencesChangedEmitter.fire(change)));
114
- return provider;
115
- }
116
- };
117
- __decorate([
118
- (0, inversify_1.inject)(user_preference_provider_1.UserPreferenceProviderFactory),
119
- __metadata("design:type", Function)
120
- ], UserConfigsPreferenceProvider.prototype, "providerFactory", void 0);
121
- __decorate([
122
- (0, inversify_1.inject)(preference_configurations_1.PreferenceConfigurations),
123
- __metadata("design:type", preference_configurations_1.PreferenceConfigurations)
124
- ], UserConfigsPreferenceProvider.prototype, "configurations", void 0);
125
- __decorate([
126
- (0, inversify_1.postConstruct)(),
127
- __metadata("design:type", Function),
128
- __metadata("design:paramtypes", []),
129
- __metadata("design:returntype", Promise)
130
- ], UserConfigsPreferenceProvider.prototype, "init", null);
131
- UserConfigsPreferenceProvider = __decorate([
132
- (0, inversify_1.injectable)()
133
- ], UserConfigsPreferenceProvider);
134
- exports.UserConfigsPreferenceProvider = UserConfigsPreferenceProvider;
1
+ "use strict";
2
+ // *****************************************************************************
3
+ // Copyright (C) 2019 Ericsson and others.
4
+ //
5
+ // This program and the accompanying materials are made available under the
6
+ // terms of the Eclipse Public License v. 2.0 which is available at
7
+ // http://www.eclipse.org/legal/epl-2.0.
8
+ //
9
+ // This Source Code may also be made available under the following Secondary
10
+ // Licenses when the conditions for such availability set forth in the Eclipse
11
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
+ // with the GNU Classpath Exception which is available at
13
+ // https://www.gnu.org/software/classpath/license.html.
14
+ //
15
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
+ // *****************************************************************************
17
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
22
+ };
23
+ var __metadata = (this && this.__metadata) || function (k, v) {
24
+ if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
25
+ };
26
+ Object.defineProperty(exports, "__esModule", { value: true });
27
+ exports.UserConfigsPreferenceProvider = void 0;
28
+ /* eslint-disable @typescript-eslint/no-explicit-any */
29
+ const inversify_1 = require("@theia/core/shared/inversify");
30
+ const preference_provider_1 = require("@theia/core/lib/browser/preferences/preference-provider");
31
+ const preference_configurations_1 = require("@theia/core/lib/browser/preferences/preference-configurations");
32
+ const browser_1 = require("@theia/userstorage/lib/browser");
33
+ const user_preference_provider_1 = require("./user-preference-provider");
34
+ /**
35
+ * Binds together preference section prefs providers for user-level preferences.
36
+ */
37
+ let UserConfigsPreferenceProvider = class UserConfigsPreferenceProvider extends preference_provider_1.PreferenceProvider {
38
+ constructor() {
39
+ super(...arguments);
40
+ this.providers = new Map();
41
+ }
42
+ async init() {
43
+ this.createProviders();
44
+ const readyPromises = [];
45
+ for (const provider of this.providers.values()) {
46
+ readyPromises.push(provider.ready.catch(e => console.error(e)));
47
+ }
48
+ Promise.all(readyPromises).then(() => this._ready.resolve());
49
+ }
50
+ createProviders() {
51
+ for (const configName of [...this.configurations.getSectionNames(), this.configurations.getConfigName()]) {
52
+ const sectionUri = browser_1.UserStorageUri.resolve(configName + '.json');
53
+ const sectionKey = sectionUri.toString();
54
+ if (!this.providers.has(sectionKey)) {
55
+ const provider = this.createProvider(sectionUri, configName);
56
+ this.providers.set(sectionKey, provider);
57
+ }
58
+ }
59
+ }
60
+ getConfigUri(resourceUri, sectionName = this.configurations.getConfigName()) {
61
+ for (const provider of this.providers.values()) {
62
+ const configUri = provider.getConfigUri(resourceUri);
63
+ if (configUri && this.configurations.getName(configUri) === sectionName) {
64
+ return configUri;
65
+ }
66
+ }
67
+ return undefined;
68
+ }
69
+ resolve(preferenceName, resourceUri) {
70
+ const result = {};
71
+ for (const provider of this.providers.values()) {
72
+ const { value, configUri } = provider.resolve(preferenceName, resourceUri);
73
+ if (configUri && value !== undefined) {
74
+ result.configUri = configUri;
75
+ result.value = preference_provider_1.PreferenceProvider.merge(result.value, value);
76
+ }
77
+ }
78
+ return result;
79
+ }
80
+ getPreferences(resourceUri) {
81
+ let result = {};
82
+ for (const provider of this.providers.values()) {
83
+ const preferences = provider.getPreferences();
84
+ result = preference_provider_1.PreferenceProvider.merge(result, preferences);
85
+ }
86
+ return result;
87
+ }
88
+ async setPreference(preferenceName, value, resourceUri) {
89
+ const sectionName = preferenceName.split('.', 1)[0];
90
+ const defaultConfigName = this.configurations.getConfigName();
91
+ const configName = this.configurations.isSectionName(sectionName) ? sectionName : defaultConfigName;
92
+ const setWithConfigName = async (name) => {
93
+ for (const provider of this.providers.values()) {
94
+ if (this.configurations.getName(provider.getConfigUri()) === name) {
95
+ if (await provider.setPreference(preferenceName, value, resourceUri)) {
96
+ return true;
97
+ }
98
+ }
99
+ }
100
+ return false;
101
+ };
102
+ if (await setWithConfigName(configName)) { // Try in the section we believe it belongs in.
103
+ return true;
104
+ }
105
+ else if (configName !== defaultConfigName) { // Fall back to `settings.json` if that fails.
106
+ return setWithConfigName(defaultConfigName);
107
+ }
108
+ return false;
109
+ }
110
+ createProvider(uri, sectionName) {
111
+ const provider = this.providerFactory(uri, sectionName);
112
+ this.toDispose.push(provider);
113
+ this.toDispose.push(provider.onDidPreferencesChanged(change => this.onDidPreferencesChangedEmitter.fire(change)));
114
+ return provider;
115
+ }
116
+ };
117
+ __decorate([
118
+ (0, inversify_1.inject)(user_preference_provider_1.UserPreferenceProviderFactory),
119
+ __metadata("design:type", Function)
120
+ ], UserConfigsPreferenceProvider.prototype, "providerFactory", void 0);
121
+ __decorate([
122
+ (0, inversify_1.inject)(preference_configurations_1.PreferenceConfigurations),
123
+ __metadata("design:type", preference_configurations_1.PreferenceConfigurations)
124
+ ], UserConfigsPreferenceProvider.prototype, "configurations", void 0);
125
+ __decorate([
126
+ (0, inversify_1.postConstruct)(),
127
+ __metadata("design:type", Function),
128
+ __metadata("design:paramtypes", []),
129
+ __metadata("design:returntype", Promise)
130
+ ], UserConfigsPreferenceProvider.prototype, "init", null);
131
+ UserConfigsPreferenceProvider = __decorate([
132
+ (0, inversify_1.injectable)()
133
+ ], UserConfigsPreferenceProvider);
134
+ exports.UserConfigsPreferenceProvider = UserConfigsPreferenceProvider;
135
135
  //# sourceMappingURL=user-configs-preference-provider.js.map
@@ -1,14 +1,14 @@
1
- import URI from '@theia/core/lib/common/uri';
2
- import { PreferenceScope } from '@theia/core/lib/browser';
3
- import { SectionPreferenceProvider } from './section-preference-provider';
4
- export declare const UserPreferenceProviderFactory: unique symbol;
5
- export interface UserPreferenceProviderFactory {
6
- (uri: URI, section: string): UserPreferenceProvider;
7
- }
8
- /**
9
- * A @SectionPreferenceProvider that targets the user-level settings
10
- */
11
- export declare class UserPreferenceProvider extends SectionPreferenceProvider {
12
- getScope(): PreferenceScope;
13
- }
1
+ import URI from '@theia/core/lib/common/uri';
2
+ import { PreferenceScope } from '@theia/core/lib/browser';
3
+ import { SectionPreferenceProvider } from './section-preference-provider';
4
+ export declare const UserPreferenceProviderFactory: unique symbol;
5
+ export interface UserPreferenceProviderFactory {
6
+ (uri: URI, section: string): UserPreferenceProvider;
7
+ }
8
+ /**
9
+ * A @SectionPreferenceProvider that targets the user-level settings
10
+ */
11
+ export declare class UserPreferenceProvider extends SectionPreferenceProvider {
12
+ getScope(): PreferenceScope;
13
+ }
14
14
  //# sourceMappingURL=user-preference-provider.d.ts.map
@@ -1,42 +1,42 @@
1
- "use strict";
2
- // *****************************************************************************
3
- // Copyright (C) 2018 Ericsson and others.
4
- //
5
- // This program and the accompanying materials are made available under the
6
- // terms of the Eclipse Public License v. 2.0 which is available at
7
- // http://www.eclipse.org/legal/epl-2.0.
8
- //
9
- // This Source Code may also be made available under the following Secondary
10
- // Licenses when the conditions for such availability set forth in the Eclipse
11
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
- // with the GNU Classpath Exception which is available at
13
- // https://www.gnu.org/software/classpath/license.html.
14
- //
15
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
- // *****************************************************************************
17
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
- return c > 3 && r && Object.defineProperty(target, key, r), r;
22
- };
23
- Object.defineProperty(exports, "__esModule", { value: true });
24
- exports.UserPreferenceProvider = exports.UserPreferenceProviderFactory = void 0;
25
- const inversify_1 = require("@theia/core/shared/inversify");
26
- const browser_1 = require("@theia/core/lib/browser");
27
- const section_preference_provider_1 = require("./section-preference-provider");
28
- exports.UserPreferenceProviderFactory = Symbol('UserPreferenceProviderFactory');
29
- ;
30
- /**
31
- * A @SectionPreferenceProvider that targets the user-level settings
32
- */
33
- let UserPreferenceProvider = class UserPreferenceProvider extends section_preference_provider_1.SectionPreferenceProvider {
34
- getScope() {
35
- return browser_1.PreferenceScope.User;
36
- }
37
- };
38
- UserPreferenceProvider = __decorate([
39
- (0, inversify_1.injectable)()
40
- ], UserPreferenceProvider);
41
- exports.UserPreferenceProvider = UserPreferenceProvider;
1
+ "use strict";
2
+ // *****************************************************************************
3
+ // Copyright (C) 2018 Ericsson and others.
4
+ //
5
+ // This program and the accompanying materials are made available under the
6
+ // terms of the Eclipse Public License v. 2.0 which is available at
7
+ // http://www.eclipse.org/legal/epl-2.0.
8
+ //
9
+ // This Source Code may also be made available under the following Secondary
10
+ // Licenses when the conditions for such availability set forth in the Eclipse
11
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
+ // with the GNU Classpath Exception which is available at
13
+ // https://www.gnu.org/software/classpath/license.html.
14
+ //
15
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
+ // *****************************************************************************
17
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
22
+ };
23
+ Object.defineProperty(exports, "__esModule", { value: true });
24
+ exports.UserPreferenceProvider = exports.UserPreferenceProviderFactory = void 0;
25
+ const inversify_1 = require("@theia/core/shared/inversify");
26
+ const browser_1 = require("@theia/core/lib/browser");
27
+ const section_preference_provider_1 = require("./section-preference-provider");
28
+ exports.UserPreferenceProviderFactory = Symbol('UserPreferenceProviderFactory');
29
+ ;
30
+ /**
31
+ * A @SectionPreferenceProvider that targets the user-level settings
32
+ */
33
+ let UserPreferenceProvider = class UserPreferenceProvider extends section_preference_provider_1.SectionPreferenceProvider {
34
+ getScope() {
35
+ return browser_1.PreferenceScope.User;
36
+ }
37
+ };
38
+ UserPreferenceProvider = __decorate([
39
+ (0, inversify_1.injectable)()
40
+ ], UserPreferenceProvider);
41
+ exports.UserPreferenceProvider = UserPreferenceProvider;
42
42
  //# sourceMappingURL=user-preference-provider.js.map
@@ -1,18 +1,18 @@
1
- import { LabelProvider } from '@theia/core/lib/browser';
2
- import { FileStat } from '@theia/filesystem/lib/common/files';
3
- import { CommandRegistry, MenuModelRegistry, Command } from '@theia/core/lib/common';
4
- /**
5
- * @deprecated since 1.17.0 moved to PreferenceMenus namespace.
6
- */
7
- export declare const FOLDER_SCOPE_MENU_PATH: string[];
8
- /**
9
- * @deprecated since 1.17.0. This work is now done in the PreferenceScopeTabbarWidget.
10
- */
11
- export declare class PreferenceScopeCommandManager {
12
- protected readonly commandRegistry: CommandRegistry;
13
- protected readonly menuModelRegistry: MenuModelRegistry;
14
- protected readonly labelProvider: LabelProvider;
15
- protected foldersAsCommands: Command[];
16
- createFolderWorkspacesMenu(folderWorkspaces: FileStat[], currentFolderURI?: string): void;
17
- }
1
+ import { LabelProvider } from '@theia/core/lib/browser';
2
+ import { FileStat } from '@theia/filesystem/lib/common/files';
3
+ import { CommandRegistry, MenuModelRegistry, Command } from '@theia/core/lib/common';
4
+ /**
5
+ * @deprecated since 1.17.0 moved to PreferenceMenus namespace.
6
+ */
7
+ export declare const FOLDER_SCOPE_MENU_PATH: string[];
8
+ /**
9
+ * @deprecated since 1.17.0. This work is now done in the PreferenceScopeTabbarWidget.
10
+ */
11
+ export declare class PreferenceScopeCommandManager {
12
+ protected readonly commandRegistry: CommandRegistry;
13
+ protected readonly menuModelRegistry: MenuModelRegistry;
14
+ protected readonly labelProvider: LabelProvider;
15
+ protected foldersAsCommands: Command[];
16
+ createFolderWorkspacesMenu(folderWorkspaces: FileStat[], currentFolderURI?: string): void;
17
+ }
18
18
  //# sourceMappingURL=preference-scope-command-manager.d.ts.map
@@ -1,88 +1,88 @@
1
- "use strict";
2
- // *****************************************************************************
3
- // Copyright (C) 2018 Red Hat, Inc. and others.
4
- //
5
- // This program and the accompanying materials are made available under the
6
- // terms of the Eclipse Public License v. 2.0 which is available at
7
- // http://www.eclipse.org/legal/epl-2.0.
8
- //
9
- // This Source Code may also be made available under the following Secondary
10
- // Licenses when the conditions for such availability set forth in the Eclipse
11
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
- // with the GNU Classpath Exception which is available at
13
- // https://www.gnu.org/software/classpath/license.html.
14
- //
15
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
- // *****************************************************************************
17
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
- return c > 3 && r && Object.defineProperty(target, key, r), r;
22
- };
23
- var __metadata = (this && this.__metadata) || function (k, v) {
24
- if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
25
- };
26
- Object.defineProperty(exports, "__esModule", { value: true });
27
- exports.PreferenceScopeCommandManager = exports.FOLDER_SCOPE_MENU_PATH = void 0;
28
- const inversify_1 = require("@theia/core/shared/inversify");
29
- const browser_1 = require("@theia/core/lib/browser");
30
- const common_1 = require("@theia/core/lib/common");
31
- const preference_types_1 = require("./preference-types");
32
- /**
33
- * @deprecated since 1.17.0 moved to PreferenceMenus namespace.
34
- */
35
- exports.FOLDER_SCOPE_MENU_PATH = preference_types_1.PreferenceMenus.FOLDER_SCOPE_MENU_PATH;
36
- /**
37
- * @deprecated since 1.17.0. This work is now done in the PreferenceScopeTabbarWidget.
38
- */
39
- let PreferenceScopeCommandManager = class PreferenceScopeCommandManager {
40
- constructor() {
41
- this.foldersAsCommands = [];
42
- }
43
- createFolderWorkspacesMenu(folderWorkspaces, currentFolderURI) {
44
- this.foldersAsCommands.forEach(folderCommand => {
45
- this.menuModelRegistry.unregisterMenuAction(folderCommand, exports.FOLDER_SCOPE_MENU_PATH);
46
- this.commandRegistry.unregisterCommand(folderCommand);
47
- });
48
- this.foldersAsCommands.length = 0;
49
- folderWorkspaces.forEach(folderWorkspace => {
50
- const folderLabel = this.labelProvider.getName(folderWorkspace.resource);
51
- const iconClass = currentFolderURI === folderWorkspace.resource.toString() ? (0, browser_1.codicon)('pass') : '';
52
- const newFolderAsCommand = {
53
- id: `preferenceScopeCommand:${folderWorkspace.resource.toString()}`,
54
- label: folderLabel,
55
- iconClass: iconClass
56
- };
57
- this.foldersAsCommands.push(newFolderAsCommand);
58
- this.commandRegistry.registerCommand(newFolderAsCommand, {
59
- isVisible: (callback, check) => check === 'from-tabbar',
60
- isEnabled: (callback, check) => check === 'from-tabbar',
61
- execute: (callback) => {
62
- callback({ scope: browser_1.PreferenceScope.Folder, uri: folderWorkspace.resource.toString(), activeScopeIsFolder: true });
63
- }
64
- });
65
- this.menuModelRegistry.registerMenuAction(exports.FOLDER_SCOPE_MENU_PATH, {
66
- commandId: newFolderAsCommand.id,
67
- label: newFolderAsCommand.label
68
- });
69
- });
70
- }
71
- };
72
- __decorate([
73
- (0, inversify_1.inject)(common_1.CommandRegistry),
74
- __metadata("design:type", common_1.CommandRegistry)
75
- ], PreferenceScopeCommandManager.prototype, "commandRegistry", void 0);
76
- __decorate([
77
- (0, inversify_1.inject)(common_1.MenuModelRegistry),
78
- __metadata("design:type", common_1.MenuModelRegistry)
79
- ], PreferenceScopeCommandManager.prototype, "menuModelRegistry", void 0);
80
- __decorate([
81
- (0, inversify_1.inject)(browser_1.LabelProvider),
82
- __metadata("design:type", browser_1.LabelProvider)
83
- ], PreferenceScopeCommandManager.prototype, "labelProvider", void 0);
84
- PreferenceScopeCommandManager = __decorate([
85
- (0, inversify_1.injectable)()
86
- ], PreferenceScopeCommandManager);
87
- exports.PreferenceScopeCommandManager = PreferenceScopeCommandManager;
1
+ "use strict";
2
+ // *****************************************************************************
3
+ // Copyright (C) 2018 Red Hat, Inc. and others.
4
+ //
5
+ // This program and the accompanying materials are made available under the
6
+ // terms of the Eclipse Public License v. 2.0 which is available at
7
+ // http://www.eclipse.org/legal/epl-2.0.
8
+ //
9
+ // This Source Code may also be made available under the following Secondary
10
+ // Licenses when the conditions for such availability set forth in the Eclipse
11
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
+ // with the GNU Classpath Exception which is available at
13
+ // https://www.gnu.org/software/classpath/license.html.
14
+ //
15
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
+ // *****************************************************************************
17
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
21
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
22
+ };
23
+ var __metadata = (this && this.__metadata) || function (k, v) {
24
+ if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
25
+ };
26
+ Object.defineProperty(exports, "__esModule", { value: true });
27
+ exports.PreferenceScopeCommandManager = exports.FOLDER_SCOPE_MENU_PATH = void 0;
28
+ const inversify_1 = require("@theia/core/shared/inversify");
29
+ const browser_1 = require("@theia/core/lib/browser");
30
+ const common_1 = require("@theia/core/lib/common");
31
+ const preference_types_1 = require("./preference-types");
32
+ /**
33
+ * @deprecated since 1.17.0 moved to PreferenceMenus namespace.
34
+ */
35
+ exports.FOLDER_SCOPE_MENU_PATH = preference_types_1.PreferenceMenus.FOLDER_SCOPE_MENU_PATH;
36
+ /**
37
+ * @deprecated since 1.17.0. This work is now done in the PreferenceScopeTabbarWidget.
38
+ */
39
+ let PreferenceScopeCommandManager = class PreferenceScopeCommandManager {
40
+ constructor() {
41
+ this.foldersAsCommands = [];
42
+ }
43
+ createFolderWorkspacesMenu(folderWorkspaces, currentFolderURI) {
44
+ this.foldersAsCommands.forEach(folderCommand => {
45
+ this.menuModelRegistry.unregisterMenuAction(folderCommand, exports.FOLDER_SCOPE_MENU_PATH);
46
+ this.commandRegistry.unregisterCommand(folderCommand);
47
+ });
48
+ this.foldersAsCommands.length = 0;
49
+ folderWorkspaces.forEach(folderWorkspace => {
50
+ const folderLabel = this.labelProvider.getName(folderWorkspace.resource);
51
+ const iconClass = currentFolderURI === folderWorkspace.resource.toString() ? (0, browser_1.codicon)('pass') : '';
52
+ const newFolderAsCommand = {
53
+ id: `preferenceScopeCommand:${folderWorkspace.resource.toString()}`,
54
+ label: folderLabel,
55
+ iconClass: iconClass
56
+ };
57
+ this.foldersAsCommands.push(newFolderAsCommand);
58
+ this.commandRegistry.registerCommand(newFolderAsCommand, {
59
+ isVisible: (callback, check) => check === 'from-tabbar',
60
+ isEnabled: (callback, check) => check === 'from-tabbar',
61
+ execute: (callback) => {
62
+ callback({ scope: browser_1.PreferenceScope.Folder, uri: folderWorkspace.resource.toString(), activeScopeIsFolder: true });
63
+ }
64
+ });
65
+ this.menuModelRegistry.registerMenuAction(exports.FOLDER_SCOPE_MENU_PATH, {
66
+ commandId: newFolderAsCommand.id,
67
+ label: newFolderAsCommand.label
68
+ });
69
+ });
70
+ }
71
+ };
72
+ __decorate([
73
+ (0, inversify_1.inject)(common_1.CommandRegistry),
74
+ __metadata("design:type", common_1.CommandRegistry)
75
+ ], PreferenceScopeCommandManager.prototype, "commandRegistry", void 0);
76
+ __decorate([
77
+ (0, inversify_1.inject)(common_1.MenuModelRegistry),
78
+ __metadata("design:type", common_1.MenuModelRegistry)
79
+ ], PreferenceScopeCommandManager.prototype, "menuModelRegistry", void 0);
80
+ __decorate([
81
+ (0, inversify_1.inject)(browser_1.LabelProvider),
82
+ __metadata("design:type", browser_1.LabelProvider)
83
+ ], PreferenceScopeCommandManager.prototype, "labelProvider", void 0);
84
+ PreferenceScopeCommandManager = __decorate([
85
+ (0, inversify_1.injectable)()
86
+ ], PreferenceScopeCommandManager);
87
+ exports.PreferenceScopeCommandManager = PreferenceScopeCommandManager;
88
88
  //# sourceMappingURL=preference-scope-command-manager.js.map