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

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 (74) hide show
  1. package/README.md +81 -81
  2. package/lib/browser/preference-tree-model.d.ts.map +1 -1
  3. package/lib/browser/preference-tree-model.js +5 -2
  4. package/lib/browser/preference-tree-model.js.map +1 -1
  5. package/lib/browser/util/preference-layout.d.ts.map +1 -1
  6. package/lib/browser/util/preference-layout.js +4 -0
  7. package/lib/browser/util/preference-layout.js.map +1 -1
  8. package/lib/browser/util/preference-tree-generator.d.ts +14 -2
  9. package/lib/browser/util/preference-tree-generator.d.ts.map +1 -1
  10. package/lib/browser/util/preference-tree-generator.js +89 -26
  11. package/lib/browser/util/preference-tree-generator.js.map +1 -1
  12. package/lib/browser/util/preference-tree-label-provider.d.ts.map +1 -1
  13. package/lib/browser/util/preference-tree-label-provider.js +4 -11
  14. package/lib/browser/util/preference-tree-label-provider.js.map +1 -1
  15. package/lib/browser/util/preference-types.d.ts +4 -2
  16. package/lib/browser/util/preference-types.d.ts.map +1 -1
  17. package/lib/browser/util/preference-types.js.map +1 -1
  18. package/lib/browser/views/preference-tree-widget.d.ts +2 -0
  19. package/lib/browser/views/preference-tree-widget.d.ts.map +1 -1
  20. package/lib/browser/views/preference-tree-widget.js +10 -1
  21. package/lib/browser/views/preference-tree-widget.js.map +1 -1
  22. package/package.json +9 -9
  23. package/src/browser/abstract-resource-preference-provider.spec.ts +95 -95
  24. package/src/browser/abstract-resource-preference-provider.ts +232 -232
  25. package/src/browser/folder-preference-provider.ts +58 -58
  26. package/src/browser/folders-preferences-provider.ts +244 -244
  27. package/src/browser/index.ts +23 -23
  28. package/src/browser/monaco-jsonc-editor.ts +67 -67
  29. package/src/browser/package.spec.ts +28 -28
  30. package/src/browser/preference-bindings.ts +65 -65
  31. package/src/browser/preference-frontend-contribution.ts +38 -38
  32. package/src/browser/preference-frontend-module.ts +66 -66
  33. package/src/browser/preference-open-handler.ts +53 -53
  34. package/src/browser/preference-transaction-manager.ts +287 -287
  35. package/src/browser/preference-tree-model.ts +260 -257
  36. package/src/browser/preferences-contribution.ts +263 -263
  37. package/src/browser/preferences-json-schema-contribution.ts +86 -86
  38. package/src/browser/preferences-monaco-contribution.ts +27 -27
  39. package/src/browser/section-preference-provider.ts +83 -83
  40. package/src/browser/style/index.css +506 -506
  41. package/src/browser/style/preference-array.css +94 -94
  42. package/src/browser/style/preference-context-menu.css +74 -74
  43. package/src/browser/style/preference-file.css +31 -31
  44. package/src/browser/style/preference-object.css +49 -49
  45. package/src/browser/style/search-input.css +66 -66
  46. package/src/browser/user-configs-preference-provider.ts +127 -127
  47. package/src/browser/user-preference-provider.ts +35 -35
  48. package/src/browser/util/preference-layout.ts +381 -377
  49. package/src/browser/util/preference-scope-command-manager.ts +75 -75
  50. package/src/browser/util/preference-tree-generator.ts +260 -190
  51. package/src/browser/util/preference-tree-label-provider.spec.ts +110 -110
  52. package/src/browser/util/preference-tree-label-provider.ts +72 -78
  53. package/src/browser/util/preference-types.ts +177 -175
  54. package/src/browser/views/components/preference-array-input.ts +174 -174
  55. package/src/browser/views/components/preference-boolean-input.ts +69 -69
  56. package/src/browser/views/components/preference-file-input.ts +104 -104
  57. package/src/browser/views/components/preference-json-input.ts +78 -78
  58. package/src/browser/views/components/preference-markdown-renderer.ts +68 -68
  59. package/src/browser/views/components/preference-node-renderer-creator.ts +141 -141
  60. package/src/browser/views/components/preference-node-renderer.ts +477 -477
  61. package/src/browser/views/components/preference-number-input.ts +147 -147
  62. package/src/browser/views/components/preference-select-input.ts +131 -131
  63. package/src/browser/views/components/preference-string-input.ts +76 -76
  64. package/src/browser/views/preference-editor-widget.ts +349 -349
  65. package/src/browser/views/preference-scope-tabbar-widget.tsx +344 -344
  66. package/src/browser/views/preference-searchbar-widget.tsx +183 -183
  67. package/src/browser/views/preference-tree-widget.tsx +102 -93
  68. package/src/browser/views/preference-widget-bindings.ts +102 -102
  69. package/src/browser/views/preference-widget.tsx +118 -118
  70. package/src/browser/workspace-file-preference-provider.ts +100 -100
  71. package/src/browser/workspace-preference-provider.ts +134 -134
  72. package/src/common/cli-preferences.ts +22 -22
  73. package/src/node/preference-backend-module.ts +33 -33
  74. 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
+ }