@theia/preferences 1.53.0-next.55 → 1.53.0-next.64

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 (54) hide show
  1. package/README.md +81 -81
  2. package/package.json +8 -8
  3. package/src/browser/abstract-resource-preference-provider.spec.ts +95 -95
  4. package/src/browser/abstract-resource-preference-provider.ts +232 -232
  5. package/src/browser/folder-preference-provider.ts +58 -58
  6. package/src/browser/folders-preferences-provider.ts +244 -244
  7. package/src/browser/index.ts +23 -23
  8. package/src/browser/monaco-jsonc-editor.ts +67 -67
  9. package/src/browser/package.spec.ts +28 -28
  10. package/src/browser/preference-bindings.ts +65 -65
  11. package/src/browser/preference-frontend-contribution.ts +38 -38
  12. package/src/browser/preference-frontend-module.ts +66 -66
  13. package/src/browser/preference-open-handler.ts +53 -53
  14. package/src/browser/preference-transaction-manager.ts +287 -287
  15. package/src/browser/preference-tree-model.ts +260 -260
  16. package/src/browser/preferences-contribution.ts +263 -263
  17. package/src/browser/preferences-json-schema-contribution.ts +86 -86
  18. package/src/browser/preferences-monaco-contribution.ts +27 -27
  19. package/src/browser/section-preference-provider.ts +83 -83
  20. package/src/browser/style/index.css +506 -506
  21. package/src/browser/style/preference-array.css +94 -94
  22. package/src/browser/style/preference-context-menu.css +74 -74
  23. package/src/browser/style/preference-file.css +31 -31
  24. package/src/browser/style/preference-object.css +49 -49
  25. package/src/browser/style/search-input.css +66 -66
  26. package/src/browser/user-configs-preference-provider.ts +127 -127
  27. package/src/browser/user-preference-provider.ts +35 -35
  28. package/src/browser/util/preference-layout.ts +381 -381
  29. package/src/browser/util/preference-scope-command-manager.ts +75 -75
  30. package/src/browser/util/preference-tree-generator.ts +260 -260
  31. package/src/browser/util/preference-tree-label-provider.spec.ts +110 -110
  32. package/src/browser/util/preference-tree-label-provider.ts +72 -72
  33. package/src/browser/util/preference-types.ts +177 -177
  34. package/src/browser/views/components/preference-array-input.ts +174 -174
  35. package/src/browser/views/components/preference-boolean-input.ts +69 -69
  36. package/src/browser/views/components/preference-file-input.ts +104 -104
  37. package/src/browser/views/components/preference-json-input.ts +78 -78
  38. package/src/browser/views/components/preference-markdown-renderer.ts +68 -68
  39. package/src/browser/views/components/preference-node-renderer-creator.ts +141 -141
  40. package/src/browser/views/components/preference-node-renderer.ts +477 -477
  41. package/src/browser/views/components/preference-number-input.ts +147 -147
  42. package/src/browser/views/components/preference-select-input.ts +131 -131
  43. package/src/browser/views/components/preference-string-input.ts +76 -76
  44. package/src/browser/views/preference-editor-widget.ts +349 -349
  45. package/src/browser/views/preference-scope-tabbar-widget.tsx +344 -344
  46. package/src/browser/views/preference-searchbar-widget.tsx +183 -183
  47. package/src/browser/views/preference-tree-widget.tsx +102 -102
  48. package/src/browser/views/preference-widget-bindings.ts +102 -102
  49. package/src/browser/views/preference-widget.tsx +118 -118
  50. package/src/browser/workspace-file-preference-provider.ts +100 -100
  51. package/src/browser/workspace-preference-provider.ts +134 -134
  52. package/src/common/cli-preferences.ts +22 -22
  53. package/src/node/preference-backend-module.ts +33 -33
  54. package/src/node/preference-cli-contribution.ts +48 -48
@@ -1,141 +1,141 @@
1
- // *****************************************************************************
2
- // Copyright (C) 2022 EclipseSource and others.
3
- //
4
- // This program and the accompanying materials are made available under the
5
- // terms of the Eclipse Public License v. 2.0 which is available at
6
- // http://www.eclipse.org/legal/epl-2.0.
7
- //
8
- // This Source Code may also be made available under the following Secondary
9
- // Licenses when the conditions for such availability set forth in the Eclipse
10
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
- // with the GNU Classpath Exception which is available at
12
- // https://www.gnu.org/software/classpath/license.html.
13
- //
14
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
- // *****************************************************************************
16
-
17
- import { ContributionProvider, Disposable, Emitter, Event, Prioritizeable } from '@theia/core';
18
- import { inject, injectable, interfaces, named } from '@theia/core/shared/inversify';
19
- import { Preference } from '../../util/preference-types';
20
- import { PreferenceHeaderRenderer, PreferenceNodeRenderer } from './preference-node-renderer';
21
-
22
- export const PreferenceNodeRendererCreatorRegistry = Symbol('PreferenceNodeRendererCreatorRegistry');
23
- export interface PreferenceNodeRendererCreatorRegistry {
24
- registerPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator): Disposable;
25
- unregisterPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator): void;
26
- getPreferenceNodeRendererCreator(node: Preference.TreeNode): PreferenceNodeRendererCreator;
27
- onDidChange: Event<void>;
28
- }
29
-
30
- export const PreferenceNodeRendererContribution = Symbol('PreferenceNodeRendererContribution');
31
- export interface PreferenceNodeRendererContribution {
32
- registerPreferenceNodeRendererCreator(registry: PreferenceNodeRendererCreatorRegistry): void;
33
- }
34
-
35
- export const PreferenceNodeRendererCreator = Symbol('PreferenceNodeRendererCreator');
36
- export interface PreferenceNodeRendererCreator {
37
- id: string;
38
- canHandle(node: Preference.TreeNode): number;
39
- createRenderer(node: Preference.TreeNode, container: interfaces.Container): PreferenceNodeRenderer;
40
- }
41
-
42
- @injectable()
43
- export class DefaultPreferenceNodeRendererCreatorRegistry implements PreferenceNodeRendererCreatorRegistry {
44
- protected readonly _creators: Map<string, PreferenceNodeRendererCreator> = new Map<string, PreferenceNodeRendererCreator>();
45
- protected readonly onDidChangeEmitter = new Emitter<void>();
46
- readonly onDidChange = this.onDidChangeEmitter.event;
47
-
48
- constructor(
49
- @inject(ContributionProvider) @named(PreferenceNodeRendererContribution)
50
- protected readonly contributionProvider: ContributionProvider<PreferenceNodeRendererContribution>
51
- ) {
52
- const contributions = this.contributionProvider.getContributions();
53
- for (const contrib of contributions) {
54
- contrib.registerPreferenceNodeRendererCreator(this);
55
- }
56
- }
57
-
58
- registerPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator): Disposable {
59
- if (this._creators.has(creator.id)) {
60
- console.warn(`A preference node renderer creator ${creator.id} is already registered.`);
61
- return Disposable.NULL;
62
- }
63
- this._creators.set(creator.id, creator);
64
- this.fireDidChange();
65
- return Disposable.create(() => this._creators.delete(creator.id));
66
- }
67
-
68
- unregisterPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator | string): void {
69
- const id = typeof creator === 'string' ? creator : creator.id;
70
- if (this._creators.delete(id)) {
71
- this.fireDidChange();
72
- }
73
- }
74
-
75
- getPreferenceNodeRendererCreator(node: Preference.TreeNode): PreferenceNodeRendererCreator {
76
- const contributions = this.prioritize(node);
77
- if (contributions.length >= 1) {
78
- return contributions[0];
79
- }
80
- // we already bind a default creator contribution so if that happens it was deliberate
81
- throw new Error(`There is no contribution for ${node.id}.`);
82
- }
83
-
84
- protected fireDidChange(): void {
85
- this.onDidChangeEmitter.fire(undefined);
86
- }
87
-
88
- protected prioritize(node: Preference.TreeNode): PreferenceNodeRendererCreator[] {
89
- const prioritized = Prioritizeable.prioritizeAllSync(Array.from(this._creators.values()), creator => {
90
- try {
91
- return creator.canHandle(node);
92
- } catch {
93
- return 0;
94
- }
95
- });
96
- return prioritized.map(p => p.value);
97
- }
98
- }
99
-
100
- @injectable()
101
- export abstract class PreferenceLeafNodeRendererContribution implements PreferenceNodeRendererCreator, PreferenceNodeRendererContribution {
102
- abstract id: string;
103
-
104
- canHandle(node: Preference.TreeNode): number {
105
- return Preference.LeafNode.is(node) ? this.canHandleLeafNode(node) : 0;
106
- }
107
-
108
- registerPreferenceNodeRendererCreator(registry: PreferenceNodeRendererCreatorRegistry): void {
109
- registry.registerPreferenceNodeRendererCreator(this);
110
- }
111
-
112
- abstract canHandleLeafNode(node: Preference.LeafNode): number;
113
-
114
- createRenderer(node: Preference.TreeNode, container: interfaces.Container): PreferenceNodeRenderer {
115
- const child = container.createChild();
116
- child.bind(Preference.Node).toConstantValue(node);
117
- return this.createLeafNodeRenderer(child);
118
- }
119
-
120
- abstract createLeafNodeRenderer(container: interfaces.Container): PreferenceNodeRenderer;
121
- }
122
-
123
- @injectable()
124
- export class PreferenceHeaderRendererContribution implements PreferenceNodeRendererCreator, PreferenceNodeRendererContribution {
125
- static ID = 'preference-header-renderer';
126
- id = PreferenceHeaderRendererContribution.ID;
127
-
128
- registerPreferenceNodeRendererCreator(registry: PreferenceNodeRendererCreatorRegistry): void {
129
- registry.registerPreferenceNodeRendererCreator(this);
130
- }
131
-
132
- canHandle(node: Preference.TreeNode): number {
133
- return !Preference.LeafNode.is(node) ? 1 : 0;
134
- }
135
-
136
- createRenderer(node: Preference.TreeNode, container: interfaces.Container): PreferenceNodeRenderer {
137
- const grandchild = container.createChild();
138
- grandchild.bind(Preference.Node).toConstantValue(node);
139
- return grandchild.get(PreferenceHeaderRenderer);
140
- }
141
- }
1
+ // *****************************************************************************
2
+ // Copyright (C) 2022 EclipseSource and others.
3
+ //
4
+ // This program and the accompanying materials are made available under the
5
+ // terms of the Eclipse Public License v. 2.0 which is available at
6
+ // http://www.eclipse.org/legal/epl-2.0.
7
+ //
8
+ // This Source Code may also be made available under the following Secondary
9
+ // Licenses when the conditions for such availability set forth in the Eclipse
10
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
11
+ // with the GNU Classpath Exception which is available at
12
+ // https://www.gnu.org/software/classpath/license.html.
13
+ //
14
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
15
+ // *****************************************************************************
16
+
17
+ import { ContributionProvider, Disposable, Emitter, Event, Prioritizeable } from '@theia/core';
18
+ import { inject, injectable, interfaces, named } from '@theia/core/shared/inversify';
19
+ import { Preference } from '../../util/preference-types';
20
+ import { PreferenceHeaderRenderer, PreferenceNodeRenderer } from './preference-node-renderer';
21
+
22
+ export const PreferenceNodeRendererCreatorRegistry = Symbol('PreferenceNodeRendererCreatorRegistry');
23
+ export interface PreferenceNodeRendererCreatorRegistry {
24
+ registerPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator): Disposable;
25
+ unregisterPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator): void;
26
+ getPreferenceNodeRendererCreator(node: Preference.TreeNode): PreferenceNodeRendererCreator;
27
+ onDidChange: Event<void>;
28
+ }
29
+
30
+ export const PreferenceNodeRendererContribution = Symbol('PreferenceNodeRendererContribution');
31
+ export interface PreferenceNodeRendererContribution {
32
+ registerPreferenceNodeRendererCreator(registry: PreferenceNodeRendererCreatorRegistry): void;
33
+ }
34
+
35
+ export const PreferenceNodeRendererCreator = Symbol('PreferenceNodeRendererCreator');
36
+ export interface PreferenceNodeRendererCreator {
37
+ id: string;
38
+ canHandle(node: Preference.TreeNode): number;
39
+ createRenderer(node: Preference.TreeNode, container: interfaces.Container): PreferenceNodeRenderer;
40
+ }
41
+
42
+ @injectable()
43
+ export class DefaultPreferenceNodeRendererCreatorRegistry implements PreferenceNodeRendererCreatorRegistry {
44
+ protected readonly _creators: Map<string, PreferenceNodeRendererCreator> = new Map<string, PreferenceNodeRendererCreator>();
45
+ protected readonly onDidChangeEmitter = new Emitter<void>();
46
+ readonly onDidChange = this.onDidChangeEmitter.event;
47
+
48
+ constructor(
49
+ @inject(ContributionProvider) @named(PreferenceNodeRendererContribution)
50
+ protected readonly contributionProvider: ContributionProvider<PreferenceNodeRendererContribution>
51
+ ) {
52
+ const contributions = this.contributionProvider.getContributions();
53
+ for (const contrib of contributions) {
54
+ contrib.registerPreferenceNodeRendererCreator(this);
55
+ }
56
+ }
57
+
58
+ registerPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator): Disposable {
59
+ if (this._creators.has(creator.id)) {
60
+ console.warn(`A preference node renderer creator ${creator.id} is already registered.`);
61
+ return Disposable.NULL;
62
+ }
63
+ this._creators.set(creator.id, creator);
64
+ this.fireDidChange();
65
+ return Disposable.create(() => this._creators.delete(creator.id));
66
+ }
67
+
68
+ unregisterPreferenceNodeRendererCreator(creator: PreferenceNodeRendererCreator | string): void {
69
+ const id = typeof creator === 'string' ? creator : creator.id;
70
+ if (this._creators.delete(id)) {
71
+ this.fireDidChange();
72
+ }
73
+ }
74
+
75
+ getPreferenceNodeRendererCreator(node: Preference.TreeNode): PreferenceNodeRendererCreator {
76
+ const contributions = this.prioritize(node);
77
+ if (contributions.length >= 1) {
78
+ return contributions[0];
79
+ }
80
+ // we already bind a default creator contribution so if that happens it was deliberate
81
+ throw new Error(`There is no contribution for ${node.id}.`);
82
+ }
83
+
84
+ protected fireDidChange(): void {
85
+ this.onDidChangeEmitter.fire(undefined);
86
+ }
87
+
88
+ protected prioritize(node: Preference.TreeNode): PreferenceNodeRendererCreator[] {
89
+ const prioritized = Prioritizeable.prioritizeAllSync(Array.from(this._creators.values()), creator => {
90
+ try {
91
+ return creator.canHandle(node);
92
+ } catch {
93
+ return 0;
94
+ }
95
+ });
96
+ return prioritized.map(p => p.value);
97
+ }
98
+ }
99
+
100
+ @injectable()
101
+ export abstract class PreferenceLeafNodeRendererContribution implements PreferenceNodeRendererCreator, PreferenceNodeRendererContribution {
102
+ abstract id: string;
103
+
104
+ canHandle(node: Preference.TreeNode): number {
105
+ return Preference.LeafNode.is(node) ? this.canHandleLeafNode(node) : 0;
106
+ }
107
+
108
+ registerPreferenceNodeRendererCreator(registry: PreferenceNodeRendererCreatorRegistry): void {
109
+ registry.registerPreferenceNodeRendererCreator(this);
110
+ }
111
+
112
+ abstract canHandleLeafNode(node: Preference.LeafNode): number;
113
+
114
+ createRenderer(node: Preference.TreeNode, container: interfaces.Container): PreferenceNodeRenderer {
115
+ const child = container.createChild();
116
+ child.bind(Preference.Node).toConstantValue(node);
117
+ return this.createLeafNodeRenderer(child);
118
+ }
119
+
120
+ abstract createLeafNodeRenderer(container: interfaces.Container): PreferenceNodeRenderer;
121
+ }
122
+
123
+ @injectable()
124
+ export class PreferenceHeaderRendererContribution implements PreferenceNodeRendererCreator, PreferenceNodeRendererContribution {
125
+ static ID = 'preference-header-renderer';
126
+ id = PreferenceHeaderRendererContribution.ID;
127
+
128
+ registerPreferenceNodeRendererCreator(registry: PreferenceNodeRendererCreatorRegistry): void {
129
+ registry.registerPreferenceNodeRendererCreator(this);
130
+ }
131
+
132
+ canHandle(node: Preference.TreeNode): number {
133
+ return !Preference.LeafNode.is(node) ? 1 : 0;
134
+ }
135
+
136
+ createRenderer(node: Preference.TreeNode, container: interfaces.Container): PreferenceNodeRenderer {
137
+ const grandchild = container.createChild();
138
+ grandchild.bind(Preference.Node).toConstantValue(node);
139
+ return grandchild.get(PreferenceHeaderRenderer);
140
+ }
141
+ }