@codingame/monaco-vscode-user-data-profile-service-override 7.1.0 → 8.0.0
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.
- package/package.json +2 -2
- package/vscode/src/vs/base/browser/ui/radio/radio.css.js +6 -0
- package/vscode/src/vs/base/browser/ui/radio/radio.js +69 -0
- package/vscode/src/vs/platform/userDataSync/common/keybindingsSync.js +5 -8
- package/vscode/src/vs/platform/userDataSync/common/settingsSync.js +28 -11
- package/vscode/src/vs/workbench/contrib/userDataProfile/browser/media/userDataProfilesEditor.css.js +1 -1
- package/vscode/src/vs/workbench/contrib/userDataProfile/browser/userDataProfile.js +96 -60
- package/vscode/src/vs/workbench/contrib/userDataProfile/browser/userDataProfileActions.js +13 -15
- package/vscode/src/vs/workbench/contrib/userDataProfile/browser/userDataProfilesEditor.js +744 -349
- package/vscode/src/vs/workbench/contrib/userDataProfile/browser/userDataProfilesEditorModel.js +114 -70
- package/vscode/src/vs/workbench/services/userDataProfile/browser/extensionsResource.js +7 -9
- package/vscode/src/vs/workbench/services/userDataProfile/browser/globalStateResource.js +2 -3
- package/vscode/src/vs/workbench/services/userDataProfile/browser/keybindingsResource.js +2 -3
- package/vscode/src/vs/workbench/services/userDataProfile/browser/settingsResource.js +2 -3
- package/vscode/src/vs/workbench/services/userDataProfile/browser/snippetsResource.js +4 -6
- package/vscode/src/vs/workbench/services/userDataProfile/browser/tasksResource.js +2 -3
- package/vscode/src/vs/workbench/services/userDataProfile/browser/userDataProfileImportExportService.js +93 -130
- package/vscode/src/vs/workbench/services/userDataProfile/browser/userDataProfileManagement.js +12 -16
- package/vscode/src/vs/workbench/services/userDataSync/common/userDataSyncUtil.js +2 -2
package/vscode/src/vs/workbench/services/userDataProfile/browser/userDataProfileManagement.js
CHANGED
|
@@ -3,7 +3,7 @@ import { CancellationToken } from 'vscode/vscode/vs/base/common/cancellation';
|
|
|
3
3
|
import { CancellationError } from 'vscode/vscode/vs/base/common/errors';
|
|
4
4
|
import { Disposable } from 'vscode/vscode/vs/base/common/lifecycle';
|
|
5
5
|
import { equals } from 'vscode/vscode/vs/base/common/objects';
|
|
6
|
-
import {
|
|
6
|
+
import { localize } from 'vscode/vscode/vs/nls';
|
|
7
7
|
import { IDialogService } from 'vscode/vscode/vs/platform/dialogs/common/dialogs.service';
|
|
8
8
|
import 'vscode/vscode/vs/platform/instantiation/common/extensions';
|
|
9
9
|
import { ILogService } from 'vscode/vscode/vs/platform/log/common/log.service';
|
|
@@ -19,7 +19,6 @@ import { IExtensionService } from 'vscode/vscode/vs/workbench/services/extension
|
|
|
19
19
|
import { IHostService } from 'vscode/vscode/vs/workbench/services/host/browser/host.service';
|
|
20
20
|
import { IUserDataProfileService } from 'vscode/vscode/vs/workbench/services/userDataProfile/common/userDataProfile.service';
|
|
21
21
|
|
|
22
|
-
const _moduleId = "vs/workbench/services/userDataProfile/browser/userDataProfileManagement";
|
|
23
22
|
let UserDataProfileManagementService = class UserDataProfileManagementService extends Disposable {
|
|
24
23
|
constructor(userDataProfilesService, userDataProfileService, hostService, dialogService, workspaceContextService, extensionService, environmentService, telemetryService, productService, requestService, logService) {
|
|
25
24
|
super();
|
|
@@ -40,9 +39,8 @@ let UserDataProfileManagementService = class UserDataProfileManagementService ex
|
|
|
40
39
|
this._register(userDataProfilesService.onDidChangeProfiles(e => {
|
|
41
40
|
const updatedCurrentProfile = e.updated.find(p => this.userDataProfileService.currentProfile.id === p.id);
|
|
42
41
|
if (updatedCurrentProfile) {
|
|
43
|
-
this.changeCurrentProfile(updatedCurrentProfile, (
|
|
44
|
-
|
|
45
|
-
0,
|
|
42
|
+
this.changeCurrentProfile(updatedCurrentProfile, ( localize(
|
|
43
|
+
3252,
|
|
46
44
|
"The current profile has been updated. Please reload to switch back to the updated profile"
|
|
47
45
|
)));
|
|
48
46
|
}
|
|
@@ -50,9 +48,8 @@ let UserDataProfileManagementService = class UserDataProfileManagementService ex
|
|
|
50
48
|
}
|
|
51
49
|
onDidChangeProfiles(e) {
|
|
52
50
|
if (( (e.removed.some(profile => profile.id === this.userDataProfileService.currentProfile.id)))) {
|
|
53
|
-
this.changeCurrentProfile(this.userDataProfilesService.defaultProfile, (
|
|
54
|
-
|
|
55
|
-
1,
|
|
51
|
+
this.changeCurrentProfile(this.userDataProfilesService.defaultProfile, ( localize(
|
|
52
|
+
3253,
|
|
56
53
|
"The current profile has been removed. Please reload to switch back to default profile"
|
|
57
54
|
)));
|
|
58
55
|
return;
|
|
@@ -60,9 +57,8 @@ let UserDataProfileManagementService = class UserDataProfileManagementService ex
|
|
|
60
57
|
}
|
|
61
58
|
onDidResetWorkspaces() {
|
|
62
59
|
if (!this.userDataProfileService.currentProfile.isDefault) {
|
|
63
|
-
this.changeCurrentProfile(this.userDataProfilesService.defaultProfile, (
|
|
64
|
-
|
|
65
|
-
1,
|
|
60
|
+
this.changeCurrentProfile(this.userDataProfilesService.defaultProfile, ( localize(
|
|
61
|
+
3253,
|
|
66
62
|
"The current profile has been removed. Please reload to switch back to default profile"
|
|
67
63
|
)));
|
|
68
64
|
return;
|
|
@@ -93,7 +89,7 @@ let UserDataProfileManagementService = class UserDataProfileManagementService ex
|
|
|
93
89
|
throw ( (new Error(`Profile ${profile.name} does not exist`)));
|
|
94
90
|
}
|
|
95
91
|
if (profile.isDefault) {
|
|
96
|
-
throw ( (new Error(
|
|
92
|
+
throw ( (new Error(localize(3254, "Cannot rename the default profile"))));
|
|
97
93
|
}
|
|
98
94
|
const updatedProfile = await this.userDataProfilesService.updateProfile(profile, updateOptions);
|
|
99
95
|
this.telemetryService.publicLog2('profileManagementActionExecuted', { id: 'updateProfile' });
|
|
@@ -104,7 +100,7 @@ let UserDataProfileManagementService = class UserDataProfileManagementService ex
|
|
|
104
100
|
throw ( (new Error(`Profile ${profile.name} does not exist`)));
|
|
105
101
|
}
|
|
106
102
|
if (profile.isDefault) {
|
|
107
|
-
throw ( (new Error(
|
|
103
|
+
throw ( (new Error(localize(3255, "Cannot delete the default profile"))));
|
|
108
104
|
}
|
|
109
105
|
await this.userDataProfilesService.removeProfile(profile);
|
|
110
106
|
this.telemetryService.publicLog2('profileManagementActionExecuted', { id: 'removeProfile' });
|
|
@@ -143,7 +139,7 @@ let UserDataProfileManagementService = class UserDataProfileManagementService ex
|
|
|
143
139
|
const shouldRestartExtensionHosts = this.userDataProfileService.currentProfile.id !== profile.id || !equals(this.userDataProfileService.currentProfile.useDefaultFlags, profile.useDefaultFlags);
|
|
144
140
|
if (shouldRestartExtensionHosts) {
|
|
145
141
|
if (!isRemoteWindow) {
|
|
146
|
-
if (!(await this.extensionService.stopExtensionHosts((
|
|
142
|
+
if (!(await this.extensionService.stopExtensionHosts(( localize(3256, "Switching to a profile."))))) {
|
|
147
143
|
if (( (this.userDataProfilesService.profiles.some(p => p.id === this.userDataProfileService.currentProfile.id)))) {
|
|
148
144
|
await this.userDataProfilesService.setProfileForWorkspace(toWorkspaceIdentifier(this.workspaceContextService.getWorkspace()), this.userDataProfileService.currentProfile);
|
|
149
145
|
}
|
|
@@ -155,8 +151,8 @@ let UserDataProfileManagementService = class UserDataProfileManagementService ex
|
|
|
155
151
|
if (shouldRestartExtensionHosts) {
|
|
156
152
|
if (isRemoteWindow) {
|
|
157
153
|
const { confirmed } = await this.dialogService.confirm({
|
|
158
|
-
message: reloadMessage ?? (
|
|
159
|
-
primaryButton: (
|
|
154
|
+
message: reloadMessage ?? ( localize(3257, "Switching a profile requires reloading VS Code.")),
|
|
155
|
+
primaryButton: ( localize(3258, "&&Reload")),
|
|
160
156
|
});
|
|
161
157
|
if (confirmed) {
|
|
162
158
|
await this.hostService.reload();
|
|
@@ -13,8 +13,8 @@ let UserDataSyncUtilService = class UserDataSyncUtilService {
|
|
|
13
13
|
this.textResourcePropertiesService = textResourcePropertiesService;
|
|
14
14
|
this.textResourceConfigurationService = textResourceConfigurationService;
|
|
15
15
|
}
|
|
16
|
-
async
|
|
17
|
-
return getDefaultIgnoredSettings();
|
|
16
|
+
async resolveDefaultCoreIgnoredSettings() {
|
|
17
|
+
return getDefaultIgnoredSettings(true);
|
|
18
18
|
}
|
|
19
19
|
async resolveUserBindings(userBindings) {
|
|
20
20
|
const keys = {};
|