@theia/preferences 1.45.0 → 1.46.0-next.72

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 (130) hide show
  1. package/README.md +81 -81
  2. package/lib/browser/abstract-resource-preference-provider.d.ts +47 -47
  3. package/lib/browser/abstract-resource-preference-provider.js +240 -240
  4. package/lib/browser/abstract-resource-preference-provider.spec.d.ts +1 -1
  5. package/lib/browser/abstract-resource-preference-provider.spec.js +83 -83
  6. package/lib/browser/folder-preference-provider.d.ts +20 -20
  7. package/lib/browser/folder-preference-provider.js +59 -59
  8. package/lib/browser/folders-preferences-provider.d.ts +27 -27
  9. package/lib/browser/folders-preferences-provider.js +245 -245
  10. package/lib/browser/index.d.ts +7 -7
  11. package/lib/browser/index.js +34 -34
  12. package/lib/browser/monaco-jsonc-editor.d.ts +9 -9
  13. package/lib/browser/monaco-jsonc-editor.js +80 -80
  14. package/lib/browser/package.spec.js +25 -25
  15. package/lib/browser/preference-bindings.d.ts +4 -4
  16. package/lib/browser/preference-bindings.js +63 -63
  17. package/lib/browser/preference-frontend-module.d.ts +6 -6
  18. package/lib/browser/preference-frontend-module.js +52 -52
  19. package/lib/browser/preference-open-handler.d.ts +9 -9
  20. package/lib/browser/preference-open-handler.js +64 -64
  21. package/lib/browser/preference-transaction-manager.d.ts +100 -100
  22. package/lib/browser/preference-transaction-manager.js +293 -293
  23. package/lib/browser/preference-tree-model.d.ts +60 -60
  24. package/lib/browser/preference-tree-model.js +243 -243
  25. package/lib/browser/preferences-contribution.d.ts +37 -37
  26. package/lib/browser/preferences-contribution.js +280 -280
  27. package/lib/browser/preferences-json-schema-contribution.d.ts +17 -17
  28. package/lib/browser/preferences-json-schema-contribution.js +91 -91
  29. package/lib/browser/preferences-monaco-contribution.d.ts +1 -1
  30. package/lib/browser/preferences-monaco-contribution.js +27 -27
  31. package/lib/browser/section-preference-provider.d.ts +21 -21
  32. package/lib/browser/section-preference-provider.js +96 -96
  33. package/lib/browser/user-configs-preference-provider.d.ts +22 -22
  34. package/lib/browser/user-configs-preference-provider.js +137 -137
  35. package/lib/browser/user-preference-provider.d.ts +13 -13
  36. package/lib/browser/user-preference-provider.js +41 -41
  37. package/lib/browser/util/preference-scope-command-manager.d.ts +17 -17
  38. package/lib/browser/util/preference-scope-command-manager.js +87 -87
  39. package/lib/browser/util/preference-tree-generator.d.ts +31 -31
  40. package/lib/browser/util/preference-tree-generator.js +237 -237
  41. package/lib/browser/util/preference-tree-label-provider.d.ts +11 -11
  42. package/lib/browser/util/preference-tree-label-provider.js +77 -77
  43. package/lib/browser/util/preference-tree-label-provider.spec.d.ts +1 -1
  44. package/lib/browser/util/preference-tree-label-provider.spec.js +87 -87
  45. package/lib/browser/util/preference-types.d.ts +62 -62
  46. package/lib/browser/util/preference-types.js +128 -128
  47. package/lib/browser/views/components/preference-array-input.d.ts +28 -28
  48. package/lib/browser/views/components/preference-array-input.js +180 -180
  49. package/lib/browser/views/components/preference-boolean-input.d.ts +17 -17
  50. package/lib/browser/views/components/preference-boolean-input.js +79 -79
  51. package/lib/browser/views/components/preference-file-input.d.ts +29 -29
  52. package/lib/browser/views/components/preference-file-input.js +110 -110
  53. package/lib/browser/views/components/preference-json-input.d.ts +19 -19
  54. package/lib/browser/views/components/preference-json-input.js +93 -93
  55. package/lib/browser/views/components/preference-markdown-renderer.d.ts +12 -12
  56. package/lib/browser/views/components/preference-markdown-renderer.js +81 -81
  57. package/lib/browser/views/components/preference-node-renderer-creator.d.ts +48 -48
  58. package/lib/browser/views/components/preference-node-renderer-creator.js +132 -132
  59. package/lib/browser/views/components/preference-node-renderer.d.ts +112 -112
  60. package/lib/browser/views/components/preference-node-renderer.js +441 -441
  61. package/lib/browser/views/components/preference-number-input.d.ts +34 -34
  62. package/lib/browser/views/components/preference-number-input.js +142 -142
  63. package/lib/browser/views/components/preference-select-input.d.ts +28 -28
  64. package/lib/browser/views/components/preference-select-input.js +138 -138
  65. package/lib/browser/views/components/preference-string-input.d.ts +17 -17
  66. package/lib/browser/views/components/preference-string-input.js +89 -89
  67. package/lib/browser/views/preference-editor-widget.d.ts +67 -67
  68. package/lib/browser/views/preference-editor-widget.js +363 -363
  69. package/lib/browser/views/preference-scope-tabbar-widget.d.ts +54 -54
  70. package/lib/browser/views/preference-scope-tabbar-widget.js +343 -343
  71. package/lib/browser/views/preference-searchbar-widget.d.ts +53 -53
  72. package/lib/browser/views/preference-searchbar-widget.js +173 -173
  73. package/lib/browser/views/preference-tree-widget.d.ts +17 -17
  74. package/lib/browser/views/preference-tree-widget.js +104 -104
  75. package/lib/browser/views/preference-widget-bindings.d.ts +3 -3
  76. package/lib/browser/views/preference-widget-bindings.js +87 -87
  77. package/lib/browser/views/preference-widget.d.ts +36 -36
  78. package/lib/browser/views/preference-widget.js +126 -126
  79. package/lib/browser/workspace-file-preference-provider.d.ts +23 -23
  80. package/lib/browser/workspace-file-preference-provider.js +110 -110
  81. package/lib/browser/workspace-preference-provider.d.ts +28 -28
  82. package/lib/browser/workspace-preference-provider.js +142 -142
  83. package/package.json +10 -10
  84. package/src/browser/abstract-resource-preference-provider.spec.ts +95 -95
  85. package/src/browser/abstract-resource-preference-provider.ts +232 -232
  86. package/src/browser/folder-preference-provider.ts +58 -58
  87. package/src/browser/folders-preferences-provider.ts +244 -244
  88. package/src/browser/index.ts +23 -23
  89. package/src/browser/monaco-jsonc-editor.ts +67 -67
  90. package/src/browser/package.spec.ts +28 -28
  91. package/src/browser/preference-bindings.ts +65 -65
  92. package/src/browser/preference-frontend-module.ts +57 -57
  93. package/src/browser/preference-open-handler.ts +53 -53
  94. package/src/browser/preference-transaction-manager.ts +287 -287
  95. package/src/browser/preference-tree-model.ts +250 -250
  96. package/src/browser/preferences-contribution.ts +263 -263
  97. package/src/browser/preferences-json-schema-contribution.ts +86 -86
  98. package/src/browser/preferences-monaco-contribution.ts +27 -27
  99. package/src/browser/section-preference-provider.ts +83 -83
  100. package/src/browser/style/index.css +506 -506
  101. package/src/browser/style/preference-array.css +94 -94
  102. package/src/browser/style/preference-context-menu.css +74 -74
  103. package/src/browser/style/preference-file.css +31 -31
  104. package/src/browser/style/preference-object.css +49 -49
  105. package/src/browser/style/search-input.css +66 -66
  106. package/src/browser/user-configs-preference-provider.ts +127 -127
  107. package/src/browser/user-preference-provider.ts +35 -35
  108. package/src/browser/util/preference-scope-command-manager.ts +75 -75
  109. package/src/browser/util/preference-tree-generator.ts +226 -226
  110. package/src/browser/util/preference-tree-label-provider.spec.ts +108 -108
  111. package/src/browser/util/preference-tree-label-provider.ts +64 -64
  112. package/src/browser/util/preference-types.ts +169 -169
  113. package/src/browser/views/components/preference-array-input.ts +174 -174
  114. package/src/browser/views/components/preference-boolean-input.ts +69 -69
  115. package/src/browser/views/components/preference-file-input.ts +104 -104
  116. package/src/browser/views/components/preference-json-input.ts +78 -78
  117. package/src/browser/views/components/preference-markdown-renderer.ts +68 -68
  118. package/src/browser/views/components/preference-node-renderer-creator.ts +141 -141
  119. package/src/browser/views/components/preference-node-renderer.ts +477 -477
  120. package/src/browser/views/components/preference-number-input.ts +147 -147
  121. package/src/browser/views/components/preference-select-input.ts +131 -131
  122. package/src/browser/views/components/preference-string-input.ts +76 -76
  123. package/src/browser/views/preference-editor-widget.ts +349 -349
  124. package/src/browser/views/preference-scope-tabbar-widget.tsx +344 -344
  125. package/src/browser/views/preference-searchbar-widget.tsx +183 -183
  126. package/src/browser/views/preference-tree-widget.tsx +93 -93
  127. package/src/browser/views/preference-widget-bindings.ts +102 -102
  128. package/src/browser/views/preference-widget.tsx +117 -117
  129. package/src/browser/workspace-file-preference-provider.ts +100 -100
  130. package/src/browser/workspace-preference-provider.ts +134 -134
@@ -1,344 +1,344 @@
1
- "use strict";
2
- // *****************************************************************************
3
- // Copyright (C) 2020 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-only 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
- var PreferencesScopeTabBar_1;
27
- Object.defineProperty(exports, "__esModule", { value: true });
28
- exports.PreferencesScopeTabBar = void 0;
29
- const inversify_1 = require("@theia/core/shared/inversify");
30
- const widgets_1 = require("@theia/core/shared/@phosphor/widgets");
31
- const browser_1 = require("@theia/core/lib/browser");
32
- const workspace_service_1 = require("@theia/workspace/lib/browser/workspace-service");
33
- const uri_1 = require("@theia/core/lib/common/uri");
34
- const preference_scope_command_manager_1 = require("../util/preference-scope-command-manager");
35
- const preference_types_1 = require("../util/preference-types");
36
- const common_1 = require("@theia/core/lib/common");
37
- const nls_1 = require("@theia/core/lib/common/nls");
38
- const USER_TAB_LABEL = nls_1.nls.localizeByDefault('User');
39
- const USER_TAB_INDEX = browser_1.PreferenceScope['User'];
40
- const WORKSPACE_TAB_LABEL = nls_1.nls.localizeByDefault('Workspace');
41
- const WORKSPACE_TAB_INDEX = browser_1.PreferenceScope['Workspace'];
42
- const FOLDER_TAB_LABEL = nls_1.nls.localizeByDefault('Folder');
43
- const FOLDER_TAB_INDEX = browser_1.PreferenceScope['Folder'];
44
- const PREFERENCE_TAB_CLASSNAME = 'preferences-scope-tab';
45
- const GENERAL_FOLDER_TAB_CLASSNAME = 'preference-folder';
46
- const LABELED_FOLDER_TAB_CLASSNAME = 'preferences-folder-tab';
47
- const FOLDER_DROPDOWN_CLASSNAME = 'preferences-folder-dropdown';
48
- const FOLDER_DROPDOWN_ICON_CLASSNAME = 'preferences-folder-dropdown-icon ' + (0, browser_1.codicon)('chevron-down');
49
- const TABBAR_UNDERLINE_CLASSNAME = 'tabbar-underline';
50
- const SINGLE_FOLDER_TAB_CLASSNAME = `${PREFERENCE_TAB_CLASSNAME} ${GENERAL_FOLDER_TAB_CLASSNAME} ${LABELED_FOLDER_TAB_CLASSNAME}`;
51
- const UNSELECTED_FOLDER_DROPDOWN_CLASSNAME = `${PREFERENCE_TAB_CLASSNAME} ${GENERAL_FOLDER_TAB_CLASSNAME} ${FOLDER_DROPDOWN_CLASSNAME}`;
52
- const SELECTED_FOLDER_DROPDOWN_CLASSNAME = `${PREFERENCE_TAB_CLASSNAME} ${GENERAL_FOLDER_TAB_CLASSNAME} ${LABELED_FOLDER_TAB_CLASSNAME} ${FOLDER_DROPDOWN_CLASSNAME}`;
53
- const SHADOW_CLASSNAME = 'with-shadow';
54
- let PreferencesScopeTabBar = PreferencesScopeTabBar_1 = class PreferencesScopeTabBar extends widgets_1.TabBar {
55
- constructor() {
56
- super(...arguments);
57
- this.onScopeChangedEmitter = new common_1.Emitter();
58
- this.onScopeChanged = this.onScopeChangedEmitter.event;
59
- this.toDispose = new common_1.DisposableCollection();
60
- this.currentWorkspaceRoots = [];
61
- this.currentSelection = preference_types_1.Preference.DEFAULT_SCOPE;
62
- this.editorScrollAtTop = true;
63
- this.folderSelectionCallback = (newScope) => { this.setNewScopeSelection(newScope); };
64
- }
65
- get currentScope() {
66
- return this.currentSelection;
67
- }
68
- setNewScopeSelection(newSelection) {
69
- const stringifiedSelectionScope = newSelection.scope.toString();
70
- const newIndex = this.titles.findIndex(title => title.dataset.scope === stringifiedSelectionScope);
71
- if (newIndex !== -1) {
72
- this.currentSelection = newSelection;
73
- this.currentIndex = newIndex;
74
- if (newSelection.scope === browser_1.PreferenceScope.Folder) {
75
- this.addOrUpdateFolderTab();
76
- }
77
- this.emitNewScope();
78
- }
79
- }
80
- init() {
81
- this.id = PreferencesScopeTabBar_1.ID;
82
- this.setupInitialDisplay();
83
- this.tabActivateRequested.connect((sender, args) => {
84
- const scopeDetails = this.toScopeDetails(args.title);
85
- if (scopeDetails) {
86
- this.setNewScopeSelection(scopeDetails);
87
- }
88
- });
89
- this.toDispose.pushAll([
90
- this.workspaceService.onWorkspaceChanged(newRoots => this.doUpdateDisplay(newRoots)),
91
- this.workspaceService.onWorkspaceLocationChanged(() => this.doUpdateDisplay(this.workspaceService.tryGetRoots())),
92
- ]);
93
- const tabUnderline = document.createElement('div');
94
- tabUnderline.className = TABBAR_UNDERLINE_CLASSNAME;
95
- this.node.append(tabUnderline);
96
- }
97
- toScopeDetails(title) {
98
- if (title) {
99
- const source = 'dataset' in title ? title.dataset : title;
100
- const { scope, uri, activeScopeIsFolder } = source;
101
- return {
102
- scope: Number(scope),
103
- uri: uri || undefined,
104
- activeScopeIsFolder: activeScopeIsFolder === 'true' || activeScopeIsFolder === true,
105
- };
106
- }
107
- }
108
- toDataSet(scopeDetails) {
109
- const { scope, uri, activeScopeIsFolder } = scopeDetails;
110
- return {
111
- scope: scope.toString(),
112
- uri: uri !== null && uri !== void 0 ? uri : '',
113
- activeScopeIsFolder: activeScopeIsFolder.toString()
114
- };
115
- }
116
- setupInitialDisplay() {
117
- this.addUserTab();
118
- if (this.workspaceService.workspace) {
119
- this.addWorkspaceTab(this.workspaceService.workspace);
120
- }
121
- this.addOrUpdateFolderTab();
122
- }
123
- onUpdateRequest(msg) {
124
- super.onUpdateRequest(msg);
125
- this.addTabIndexToTabs();
126
- }
127
- addTabIndexToTabs() {
128
- this.node.querySelectorAll('li').forEach((tab, index) => {
129
- tab.tabIndex = 0;
130
- const handler = () => {
131
- if (tab.className.includes(GENERAL_FOLDER_TAB_CLASSNAME) && this.currentWorkspaceRoots.length > 1) {
132
- const tabRect = tab.getBoundingClientRect();
133
- this.openContextMenu(tabRect, tab, 'keypress');
134
- }
135
- else {
136
- const details = this.toScopeDetails(this.titles[index]);
137
- if (details) {
138
- this.setNewScopeSelection(details);
139
- }
140
- }
141
- };
142
- tab.onkeydown = handler;
143
- tab.onclick = handler;
144
- });
145
- }
146
- addUserTab() {
147
- this.addTab(new widgets_1.Title({
148
- dataset: { uri: '', scope: USER_TAB_INDEX.toString() },
149
- label: USER_TAB_LABEL,
150
- owner: this,
151
- className: PREFERENCE_TAB_CLASSNAME
152
- }));
153
- }
154
- addWorkspaceTab(currentWorkspace) {
155
- const scopeDetails = this.getWorkspaceDataset(currentWorkspace);
156
- const workspaceTabTitle = new widgets_1.Title({
157
- dataset: this.toDataSet(scopeDetails),
158
- label: WORKSPACE_TAB_LABEL,
159
- owner: this,
160
- className: PREFERENCE_TAB_CLASSNAME,
161
- });
162
- this.addTab(workspaceTabTitle);
163
- return workspaceTabTitle;
164
- }
165
- getWorkspaceDataset(currentWorkspace) {
166
- const { resource, isDirectory } = currentWorkspace;
167
- const scope = WORKSPACE_TAB_INDEX;
168
- return { uri: resource.toString(), activeScopeIsFolder: isDirectory, scope };
169
- }
170
- addOrUpdateFolderTab() {
171
- if (!!this.workspaceService.workspace) {
172
- this.currentWorkspaceRoots = this.workspaceService.tryGetRoots();
173
- const multipleFolderRootsAreAvailable = this.currentWorkspaceRoots && this.currentWorkspaceRoots.length > 1;
174
- const noFolderRootsAreAvailable = this.currentWorkspaceRoots.length === 0;
175
- const shouldShowFoldersSeparately = this.workspaceService.saved;
176
- if (!noFolderRootsAreAvailable) {
177
- if (!this.folderTitle) {
178
- this.folderTitle = new widgets_1.Title({
179
- label: '',
180
- caption: FOLDER_TAB_LABEL,
181
- owner: this,
182
- });
183
- }
184
- this.setFolderTitleProperties(multipleFolderRootsAreAvailable);
185
- if (multipleFolderRootsAreAvailable || shouldShowFoldersSeparately) {
186
- this.addTab(this.folderTitle);
187
- }
188
- }
189
- else {
190
- const folderTabIndex = this.titles.findIndex(title => title.caption === FOLDER_TAB_LABEL);
191
- if (folderTabIndex > -1) {
192
- this.removeTabAt(folderTabIndex);
193
- }
194
- }
195
- }
196
- }
197
- setFolderTitleProperties(multipleFolderRootsAreAvailable) {
198
- this.folderTitle.iconClass = multipleFolderRootsAreAvailable ? FOLDER_DROPDOWN_ICON_CLASSNAME : '';
199
- if (this.currentSelection.scope === FOLDER_TAB_INDEX) {
200
- this.folderTitle.label = this.labelProvider.getName(new uri_1.default(this.currentSelection.uri));
201
- this.folderTitle.dataset = this.toDataSet(this.currentSelection);
202
- this.folderTitle.className = multipleFolderRootsAreAvailable ? SELECTED_FOLDER_DROPDOWN_CLASSNAME : SINGLE_FOLDER_TAB_CLASSNAME;
203
- }
204
- else {
205
- const singleFolderRoot = this.currentWorkspaceRoots[0].resource;
206
- const singleFolderLabel = this.labelProvider.getName(singleFolderRoot);
207
- const defaultURI = multipleFolderRootsAreAvailable ? '' : singleFolderRoot.toString();
208
- this.folderTitle.label = multipleFolderRootsAreAvailable ? FOLDER_TAB_LABEL : singleFolderLabel;
209
- this.folderTitle.className = multipleFolderRootsAreAvailable ? UNSELECTED_FOLDER_DROPDOWN_CLASSNAME : SINGLE_FOLDER_TAB_CLASSNAME;
210
- this.folderTitle.dataset = { folderTitle: 'true', scope: FOLDER_TAB_INDEX.toString(), uri: defaultURI };
211
- }
212
- }
213
- getFolderContextMenu(workspaceRoots = this.workspaceService.tryGetRoots()) {
214
- this.preferencesMenuFactory.createFolderWorkspacesMenu(workspaceRoots, this.currentSelection.uri);
215
- }
216
- handleEvent() {
217
- // Don't - the handlers are defined in PreferenceScopeTabbarWidget.addTabIndexToTabs()
218
- }
219
- openContextMenu(tabRect, folderTabNode, source) {
220
- const toDisposeOnHide = new common_1.DisposableCollection();
221
- for (const root of this.workspaceService.tryGetRoots()) {
222
- const id = `set-scope-to-${root.resource.toString()}`;
223
- toDisposeOnHide.pushAll([
224
- this.commandRegistry.registerCommand({ id }, { execute: () => this.setScope(root.resource) }),
225
- this.menuModelRegistry.registerMenuAction(preference_types_1.PreferenceMenus.FOLDER_SCOPE_MENU_PATH, {
226
- commandId: id,
227
- label: this.labelProvider.getName(root),
228
- })
229
- ]);
230
- }
231
- this.contextMenuRenderer.render({
232
- menuPath: preference_types_1.PreferenceMenus.FOLDER_SCOPE_MENU_PATH,
233
- anchor: { x: tabRect.left, y: tabRect.bottom },
234
- onHide: () => {
235
- setTimeout(() => toDisposeOnHide.dispose());
236
- if (source === 'click') {
237
- folderTabNode.blur();
238
- }
239
- }
240
- });
241
- }
242
- doUpdateDisplay(newRoots) {
243
- const folderWasRemoved = newRoots.length < this.currentWorkspaceRoots.length;
244
- this.currentWorkspaceRoots = newRoots;
245
- if (folderWasRemoved) {
246
- const removedFolderWasSelectedScope = !this.currentWorkspaceRoots.some(root => root.resource.toString() === this.currentSelection.uri);
247
- if (removedFolderWasSelectedScope) {
248
- this.setNewScopeSelection(preference_types_1.Preference.DEFAULT_SCOPE);
249
- }
250
- }
251
- this.updateWorkspaceTab();
252
- this.addOrUpdateFolderTab();
253
- }
254
- updateWorkspaceTab() {
255
- var _a;
256
- const currentWorkspace = this.workspaceService.workspace;
257
- if (currentWorkspace) {
258
- const workspaceTitle = (_a = this.titles.find(title => title.label === WORKSPACE_TAB_LABEL)) !== null && _a !== void 0 ? _a : this.addWorkspaceTab(currentWorkspace);
259
- const scopeDetails = this.getWorkspaceDataset(currentWorkspace);
260
- workspaceTitle.dataset = this.toDataSet(scopeDetails);
261
- if (this.currentSelection.scope === browser_1.PreferenceScope.Workspace) {
262
- this.setNewScopeSelection(scopeDetails);
263
- }
264
- }
265
- }
266
- emitNewScope() {
267
- this.onScopeChangedEmitter.fire(this.currentSelection);
268
- }
269
- setScope(scope) {
270
- const details = scope instanceof uri_1.default ? this.getDetailsForResource(scope) : this.getDetailsForScope(scope);
271
- if (details) {
272
- this.setNewScopeSelection(details);
273
- }
274
- }
275
- getDetailsForScope(scope) {
276
- const stringifiedSelectionScope = scope.toString();
277
- const correspondingTitle = this.titles.find(title => title.dataset.scope === stringifiedSelectionScope);
278
- return this.toScopeDetails(correspondingTitle);
279
- }
280
- getDetailsForResource(resource) {
281
- const parent = this.workspaceService.getWorkspaceRootUri(resource);
282
- if (!parent) {
283
- return undefined;
284
- }
285
- if (!this.workspaceService.isMultiRootWorkspaceOpened) {
286
- return this.getDetailsForScope(browser_1.PreferenceScope.Workspace);
287
- }
288
- return ({ scope: browser_1.PreferenceScope.Folder, uri: parent.toString(), activeScopeIsFolder: true });
289
- }
290
- storeState() {
291
- return {
292
- scopeDetails: this.currentScope
293
- };
294
- }
295
- restoreState(oldState) {
296
- const scopeDetails = this.toScopeDetails(oldState.scopeDetails);
297
- if (scopeDetails) {
298
- this.setNewScopeSelection(scopeDetails);
299
- }
300
- }
301
- toggleShadow(showShadow) {
302
- this.toggleClass(SHADOW_CLASSNAME, showShadow);
303
- }
304
- dispose() {
305
- super.dispose();
306
- this.toDispose.dispose();
307
- }
308
- };
309
- PreferencesScopeTabBar.ID = 'preferences-scope-tab-bar';
310
- __decorate([
311
- (0, inversify_1.inject)(workspace_service_1.WorkspaceService),
312
- __metadata("design:type", workspace_service_1.WorkspaceService)
313
- ], PreferencesScopeTabBar.prototype, "workspaceService", void 0);
314
- __decorate([
315
- (0, inversify_1.inject)(preference_scope_command_manager_1.PreferenceScopeCommandManager),
316
- __metadata("design:type", preference_scope_command_manager_1.PreferenceScopeCommandManager)
317
- ], PreferencesScopeTabBar.prototype, "preferencesMenuFactory", void 0);
318
- __decorate([
319
- (0, inversify_1.inject)(browser_1.ContextMenuRenderer),
320
- __metadata("design:type", browser_1.ContextMenuRenderer)
321
- ], PreferencesScopeTabBar.prototype, "contextMenuRenderer", void 0);
322
- __decorate([
323
- (0, inversify_1.inject)(browser_1.LabelProvider),
324
- __metadata("design:type", browser_1.LabelProvider)
325
- ], PreferencesScopeTabBar.prototype, "labelProvider", void 0);
326
- __decorate([
327
- (0, inversify_1.inject)(common_1.CommandRegistry),
328
- __metadata("design:type", common_1.CommandRegistry)
329
- ], PreferencesScopeTabBar.prototype, "commandRegistry", void 0);
330
- __decorate([
331
- (0, inversify_1.inject)(common_1.MenuModelRegistry),
332
- __metadata("design:type", common_1.MenuModelRegistry)
333
- ], PreferencesScopeTabBar.prototype, "menuModelRegistry", void 0);
334
- __decorate([
335
- (0, inversify_1.postConstruct)(),
336
- __metadata("design:type", Function),
337
- __metadata("design:paramtypes", []),
338
- __metadata("design:returntype", void 0)
339
- ], PreferencesScopeTabBar.prototype, "init", null);
340
- PreferencesScopeTabBar = PreferencesScopeTabBar_1 = __decorate([
341
- (0, inversify_1.injectable)()
342
- ], PreferencesScopeTabBar);
343
- exports.PreferencesScopeTabBar = PreferencesScopeTabBar;
1
+ "use strict";
2
+ // *****************************************************************************
3
+ // Copyright (C) 2020 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-only 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
+ var PreferencesScopeTabBar_1;
27
+ Object.defineProperty(exports, "__esModule", { value: true });
28
+ exports.PreferencesScopeTabBar = void 0;
29
+ const inversify_1 = require("@theia/core/shared/inversify");
30
+ const widgets_1 = require("@theia/core/shared/@phosphor/widgets");
31
+ const browser_1 = require("@theia/core/lib/browser");
32
+ const workspace_service_1 = require("@theia/workspace/lib/browser/workspace-service");
33
+ const uri_1 = require("@theia/core/lib/common/uri");
34
+ const preference_scope_command_manager_1 = require("../util/preference-scope-command-manager");
35
+ const preference_types_1 = require("../util/preference-types");
36
+ const common_1 = require("@theia/core/lib/common");
37
+ const nls_1 = require("@theia/core/lib/common/nls");
38
+ const USER_TAB_LABEL = nls_1.nls.localizeByDefault('User');
39
+ const USER_TAB_INDEX = browser_1.PreferenceScope['User'];
40
+ const WORKSPACE_TAB_LABEL = nls_1.nls.localizeByDefault('Workspace');
41
+ const WORKSPACE_TAB_INDEX = browser_1.PreferenceScope['Workspace'];
42
+ const FOLDER_TAB_LABEL = nls_1.nls.localizeByDefault('Folder');
43
+ const FOLDER_TAB_INDEX = browser_1.PreferenceScope['Folder'];
44
+ const PREFERENCE_TAB_CLASSNAME = 'preferences-scope-tab';
45
+ const GENERAL_FOLDER_TAB_CLASSNAME = 'preference-folder';
46
+ const LABELED_FOLDER_TAB_CLASSNAME = 'preferences-folder-tab';
47
+ const FOLDER_DROPDOWN_CLASSNAME = 'preferences-folder-dropdown';
48
+ const FOLDER_DROPDOWN_ICON_CLASSNAME = 'preferences-folder-dropdown-icon ' + (0, browser_1.codicon)('chevron-down');
49
+ const TABBAR_UNDERLINE_CLASSNAME = 'tabbar-underline';
50
+ const SINGLE_FOLDER_TAB_CLASSNAME = `${PREFERENCE_TAB_CLASSNAME} ${GENERAL_FOLDER_TAB_CLASSNAME} ${LABELED_FOLDER_TAB_CLASSNAME}`;
51
+ const UNSELECTED_FOLDER_DROPDOWN_CLASSNAME = `${PREFERENCE_TAB_CLASSNAME} ${GENERAL_FOLDER_TAB_CLASSNAME} ${FOLDER_DROPDOWN_CLASSNAME}`;
52
+ const SELECTED_FOLDER_DROPDOWN_CLASSNAME = `${PREFERENCE_TAB_CLASSNAME} ${GENERAL_FOLDER_TAB_CLASSNAME} ${LABELED_FOLDER_TAB_CLASSNAME} ${FOLDER_DROPDOWN_CLASSNAME}`;
53
+ const SHADOW_CLASSNAME = 'with-shadow';
54
+ let PreferencesScopeTabBar = PreferencesScopeTabBar_1 = class PreferencesScopeTabBar extends widgets_1.TabBar {
55
+ constructor() {
56
+ super(...arguments);
57
+ this.onScopeChangedEmitter = new common_1.Emitter();
58
+ this.onScopeChanged = this.onScopeChangedEmitter.event;
59
+ this.toDispose = new common_1.DisposableCollection();
60
+ this.currentWorkspaceRoots = [];
61
+ this.currentSelection = preference_types_1.Preference.DEFAULT_SCOPE;
62
+ this.editorScrollAtTop = true;
63
+ this.folderSelectionCallback = (newScope) => { this.setNewScopeSelection(newScope); };
64
+ }
65
+ get currentScope() {
66
+ return this.currentSelection;
67
+ }
68
+ setNewScopeSelection(newSelection) {
69
+ const stringifiedSelectionScope = newSelection.scope.toString();
70
+ const newIndex = this.titles.findIndex(title => title.dataset.scope === stringifiedSelectionScope);
71
+ if (newIndex !== -1) {
72
+ this.currentSelection = newSelection;
73
+ this.currentIndex = newIndex;
74
+ if (newSelection.scope === browser_1.PreferenceScope.Folder) {
75
+ this.addOrUpdateFolderTab();
76
+ }
77
+ this.emitNewScope();
78
+ }
79
+ }
80
+ init() {
81
+ this.id = PreferencesScopeTabBar_1.ID;
82
+ this.setupInitialDisplay();
83
+ this.tabActivateRequested.connect((sender, args) => {
84
+ const scopeDetails = this.toScopeDetails(args.title);
85
+ if (scopeDetails) {
86
+ this.setNewScopeSelection(scopeDetails);
87
+ }
88
+ });
89
+ this.toDispose.pushAll([
90
+ this.workspaceService.onWorkspaceChanged(newRoots => this.doUpdateDisplay(newRoots)),
91
+ this.workspaceService.onWorkspaceLocationChanged(() => this.doUpdateDisplay(this.workspaceService.tryGetRoots())),
92
+ ]);
93
+ const tabUnderline = document.createElement('div');
94
+ tabUnderline.className = TABBAR_UNDERLINE_CLASSNAME;
95
+ this.node.append(tabUnderline);
96
+ }
97
+ toScopeDetails(title) {
98
+ if (title) {
99
+ const source = 'dataset' in title ? title.dataset : title;
100
+ const { scope, uri, activeScopeIsFolder } = source;
101
+ return {
102
+ scope: Number(scope),
103
+ uri: uri || undefined,
104
+ activeScopeIsFolder: activeScopeIsFolder === 'true' || activeScopeIsFolder === true,
105
+ };
106
+ }
107
+ }
108
+ toDataSet(scopeDetails) {
109
+ const { scope, uri, activeScopeIsFolder } = scopeDetails;
110
+ return {
111
+ scope: scope.toString(),
112
+ uri: uri !== null && uri !== void 0 ? uri : '',
113
+ activeScopeIsFolder: activeScopeIsFolder.toString()
114
+ };
115
+ }
116
+ setupInitialDisplay() {
117
+ this.addUserTab();
118
+ if (this.workspaceService.workspace) {
119
+ this.addWorkspaceTab(this.workspaceService.workspace);
120
+ }
121
+ this.addOrUpdateFolderTab();
122
+ }
123
+ onUpdateRequest(msg) {
124
+ super.onUpdateRequest(msg);
125
+ this.addTabIndexToTabs();
126
+ }
127
+ addTabIndexToTabs() {
128
+ this.node.querySelectorAll('li').forEach((tab, index) => {
129
+ tab.tabIndex = 0;
130
+ const handler = () => {
131
+ if (tab.className.includes(GENERAL_FOLDER_TAB_CLASSNAME) && this.currentWorkspaceRoots.length > 1) {
132
+ const tabRect = tab.getBoundingClientRect();
133
+ this.openContextMenu(tabRect, tab, 'keypress');
134
+ }
135
+ else {
136
+ const details = this.toScopeDetails(this.titles[index]);
137
+ if (details) {
138
+ this.setNewScopeSelection(details);
139
+ }
140
+ }
141
+ };
142
+ tab.onkeydown = handler;
143
+ tab.onclick = handler;
144
+ });
145
+ }
146
+ addUserTab() {
147
+ this.addTab(new widgets_1.Title({
148
+ dataset: { uri: '', scope: USER_TAB_INDEX.toString() },
149
+ label: USER_TAB_LABEL,
150
+ owner: this,
151
+ className: PREFERENCE_TAB_CLASSNAME
152
+ }));
153
+ }
154
+ addWorkspaceTab(currentWorkspace) {
155
+ const scopeDetails = this.getWorkspaceDataset(currentWorkspace);
156
+ const workspaceTabTitle = new widgets_1.Title({
157
+ dataset: this.toDataSet(scopeDetails),
158
+ label: WORKSPACE_TAB_LABEL,
159
+ owner: this,
160
+ className: PREFERENCE_TAB_CLASSNAME,
161
+ });
162
+ this.addTab(workspaceTabTitle);
163
+ return workspaceTabTitle;
164
+ }
165
+ getWorkspaceDataset(currentWorkspace) {
166
+ const { resource, isDirectory } = currentWorkspace;
167
+ const scope = WORKSPACE_TAB_INDEX;
168
+ return { uri: resource.toString(), activeScopeIsFolder: isDirectory, scope };
169
+ }
170
+ addOrUpdateFolderTab() {
171
+ if (!!this.workspaceService.workspace) {
172
+ this.currentWorkspaceRoots = this.workspaceService.tryGetRoots();
173
+ const multipleFolderRootsAreAvailable = this.currentWorkspaceRoots && this.currentWorkspaceRoots.length > 1;
174
+ const noFolderRootsAreAvailable = this.currentWorkspaceRoots.length === 0;
175
+ const shouldShowFoldersSeparately = this.workspaceService.saved;
176
+ if (!noFolderRootsAreAvailable) {
177
+ if (!this.folderTitle) {
178
+ this.folderTitle = new widgets_1.Title({
179
+ label: '',
180
+ caption: FOLDER_TAB_LABEL,
181
+ owner: this,
182
+ });
183
+ }
184
+ this.setFolderTitleProperties(multipleFolderRootsAreAvailable);
185
+ if (multipleFolderRootsAreAvailable || shouldShowFoldersSeparately) {
186
+ this.addTab(this.folderTitle);
187
+ }
188
+ }
189
+ else {
190
+ const folderTabIndex = this.titles.findIndex(title => title.caption === FOLDER_TAB_LABEL);
191
+ if (folderTabIndex > -1) {
192
+ this.removeTabAt(folderTabIndex);
193
+ }
194
+ }
195
+ }
196
+ }
197
+ setFolderTitleProperties(multipleFolderRootsAreAvailable) {
198
+ this.folderTitle.iconClass = multipleFolderRootsAreAvailable ? FOLDER_DROPDOWN_ICON_CLASSNAME : '';
199
+ if (this.currentSelection.scope === FOLDER_TAB_INDEX) {
200
+ this.folderTitle.label = this.labelProvider.getName(new uri_1.default(this.currentSelection.uri));
201
+ this.folderTitle.dataset = this.toDataSet(this.currentSelection);
202
+ this.folderTitle.className = multipleFolderRootsAreAvailable ? SELECTED_FOLDER_DROPDOWN_CLASSNAME : SINGLE_FOLDER_TAB_CLASSNAME;
203
+ }
204
+ else {
205
+ const singleFolderRoot = this.currentWorkspaceRoots[0].resource;
206
+ const singleFolderLabel = this.labelProvider.getName(singleFolderRoot);
207
+ const defaultURI = multipleFolderRootsAreAvailable ? '' : singleFolderRoot.toString();
208
+ this.folderTitle.label = multipleFolderRootsAreAvailable ? FOLDER_TAB_LABEL : singleFolderLabel;
209
+ this.folderTitle.className = multipleFolderRootsAreAvailable ? UNSELECTED_FOLDER_DROPDOWN_CLASSNAME : SINGLE_FOLDER_TAB_CLASSNAME;
210
+ this.folderTitle.dataset = { folderTitle: 'true', scope: FOLDER_TAB_INDEX.toString(), uri: defaultURI };
211
+ }
212
+ }
213
+ getFolderContextMenu(workspaceRoots = this.workspaceService.tryGetRoots()) {
214
+ this.preferencesMenuFactory.createFolderWorkspacesMenu(workspaceRoots, this.currentSelection.uri);
215
+ }
216
+ handleEvent() {
217
+ // Don't - the handlers are defined in PreferenceScopeTabbarWidget.addTabIndexToTabs()
218
+ }
219
+ openContextMenu(tabRect, folderTabNode, source) {
220
+ const toDisposeOnHide = new common_1.DisposableCollection();
221
+ for (const root of this.workspaceService.tryGetRoots()) {
222
+ const id = `set-scope-to-${root.resource.toString()}`;
223
+ toDisposeOnHide.pushAll([
224
+ this.commandRegistry.registerCommand({ id }, { execute: () => this.setScope(root.resource) }),
225
+ this.menuModelRegistry.registerMenuAction(preference_types_1.PreferenceMenus.FOLDER_SCOPE_MENU_PATH, {
226
+ commandId: id,
227
+ label: this.labelProvider.getName(root),
228
+ })
229
+ ]);
230
+ }
231
+ this.contextMenuRenderer.render({
232
+ menuPath: preference_types_1.PreferenceMenus.FOLDER_SCOPE_MENU_PATH,
233
+ anchor: { x: tabRect.left, y: tabRect.bottom },
234
+ onHide: () => {
235
+ setTimeout(() => toDisposeOnHide.dispose());
236
+ if (source === 'click') {
237
+ folderTabNode.blur();
238
+ }
239
+ }
240
+ });
241
+ }
242
+ doUpdateDisplay(newRoots) {
243
+ const folderWasRemoved = newRoots.length < this.currentWorkspaceRoots.length;
244
+ this.currentWorkspaceRoots = newRoots;
245
+ if (folderWasRemoved) {
246
+ const removedFolderWasSelectedScope = !this.currentWorkspaceRoots.some(root => root.resource.toString() === this.currentSelection.uri);
247
+ if (removedFolderWasSelectedScope) {
248
+ this.setNewScopeSelection(preference_types_1.Preference.DEFAULT_SCOPE);
249
+ }
250
+ }
251
+ this.updateWorkspaceTab();
252
+ this.addOrUpdateFolderTab();
253
+ }
254
+ updateWorkspaceTab() {
255
+ var _a;
256
+ const currentWorkspace = this.workspaceService.workspace;
257
+ if (currentWorkspace) {
258
+ const workspaceTitle = (_a = this.titles.find(title => title.label === WORKSPACE_TAB_LABEL)) !== null && _a !== void 0 ? _a : this.addWorkspaceTab(currentWorkspace);
259
+ const scopeDetails = this.getWorkspaceDataset(currentWorkspace);
260
+ workspaceTitle.dataset = this.toDataSet(scopeDetails);
261
+ if (this.currentSelection.scope === browser_1.PreferenceScope.Workspace) {
262
+ this.setNewScopeSelection(scopeDetails);
263
+ }
264
+ }
265
+ }
266
+ emitNewScope() {
267
+ this.onScopeChangedEmitter.fire(this.currentSelection);
268
+ }
269
+ setScope(scope) {
270
+ const details = scope instanceof uri_1.default ? this.getDetailsForResource(scope) : this.getDetailsForScope(scope);
271
+ if (details) {
272
+ this.setNewScopeSelection(details);
273
+ }
274
+ }
275
+ getDetailsForScope(scope) {
276
+ const stringifiedSelectionScope = scope.toString();
277
+ const correspondingTitle = this.titles.find(title => title.dataset.scope === stringifiedSelectionScope);
278
+ return this.toScopeDetails(correspondingTitle);
279
+ }
280
+ getDetailsForResource(resource) {
281
+ const parent = this.workspaceService.getWorkspaceRootUri(resource);
282
+ if (!parent) {
283
+ return undefined;
284
+ }
285
+ if (!this.workspaceService.isMultiRootWorkspaceOpened) {
286
+ return this.getDetailsForScope(browser_1.PreferenceScope.Workspace);
287
+ }
288
+ return ({ scope: browser_1.PreferenceScope.Folder, uri: parent.toString(), activeScopeIsFolder: true });
289
+ }
290
+ storeState() {
291
+ return {
292
+ scopeDetails: this.currentScope
293
+ };
294
+ }
295
+ restoreState(oldState) {
296
+ const scopeDetails = this.toScopeDetails(oldState.scopeDetails);
297
+ if (scopeDetails) {
298
+ this.setNewScopeSelection(scopeDetails);
299
+ }
300
+ }
301
+ toggleShadow(showShadow) {
302
+ this.toggleClass(SHADOW_CLASSNAME, showShadow);
303
+ }
304
+ dispose() {
305
+ super.dispose();
306
+ this.toDispose.dispose();
307
+ }
308
+ };
309
+ PreferencesScopeTabBar.ID = 'preferences-scope-tab-bar';
310
+ __decorate([
311
+ (0, inversify_1.inject)(workspace_service_1.WorkspaceService),
312
+ __metadata("design:type", workspace_service_1.WorkspaceService)
313
+ ], PreferencesScopeTabBar.prototype, "workspaceService", void 0);
314
+ __decorate([
315
+ (0, inversify_1.inject)(preference_scope_command_manager_1.PreferenceScopeCommandManager),
316
+ __metadata("design:type", preference_scope_command_manager_1.PreferenceScopeCommandManager)
317
+ ], PreferencesScopeTabBar.prototype, "preferencesMenuFactory", void 0);
318
+ __decorate([
319
+ (0, inversify_1.inject)(browser_1.ContextMenuRenderer),
320
+ __metadata("design:type", browser_1.ContextMenuRenderer)
321
+ ], PreferencesScopeTabBar.prototype, "contextMenuRenderer", void 0);
322
+ __decorate([
323
+ (0, inversify_1.inject)(browser_1.LabelProvider),
324
+ __metadata("design:type", browser_1.LabelProvider)
325
+ ], PreferencesScopeTabBar.prototype, "labelProvider", void 0);
326
+ __decorate([
327
+ (0, inversify_1.inject)(common_1.CommandRegistry),
328
+ __metadata("design:type", common_1.CommandRegistry)
329
+ ], PreferencesScopeTabBar.prototype, "commandRegistry", void 0);
330
+ __decorate([
331
+ (0, inversify_1.inject)(common_1.MenuModelRegistry),
332
+ __metadata("design:type", common_1.MenuModelRegistry)
333
+ ], PreferencesScopeTabBar.prototype, "menuModelRegistry", void 0);
334
+ __decorate([
335
+ (0, inversify_1.postConstruct)(),
336
+ __metadata("design:type", Function),
337
+ __metadata("design:paramtypes", []),
338
+ __metadata("design:returntype", void 0)
339
+ ], PreferencesScopeTabBar.prototype, "init", null);
340
+ PreferencesScopeTabBar = PreferencesScopeTabBar_1 = __decorate([
341
+ (0, inversify_1.injectable)()
342
+ ], PreferencesScopeTabBar);
343
+ exports.PreferencesScopeTabBar = PreferencesScopeTabBar;
344
344
  //# sourceMappingURL=preference-scope-tabbar-widget.js.map