blob: a57331a9c56d2e7c5dc49d67023e4082f74643e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
import { isUndefined } from 'vs/base/common/types';
import { localize } from 'vs/nls';
import { createDecorator } from 'vs/platform/instantiation/common/instantiation';
export interface IProfile {
readonly name?: string;
readonly settings?: string;
readonly globalState?: string;
readonly extensions?: string;
}
export function isProfile(thing: any): thing is IProfile {
const candidate = thing as IProfile | undefined;
return !!(candidate && typeof candidate === 'object'
&& (isUndefined(candidate.name) || typeof candidate.name === 'string')
&& (isUndefined(candidate.settings) || typeof candidate.settings === 'string')
&& (isUndefined(candidate.globalState) || typeof candidate.globalState === 'string')
&& (isUndefined(candidate.extensions) || typeof candidate.extensions === 'string'));
}
export type ProfileCreationOptions = { readonly skipComments: boolean };
export const IWorkbenchProfileService = createDecorator<IWorkbenchProfileService>('IWorkbenchProfileService');
export interface IWorkbenchProfileService {
readonly _serviceBrand: undefined;
createProfile(options?: ProfileCreationOptions): Promise<IProfile>;
setProfile(profile: IProfile): Promise<void>;
}
export interface IResourceProfile {
getProfileContent(): Promise<string>;
applyProfile(content: string): Promise<void>;
}
export const PROFILES_CATEGORY = localize('settings profiles', "Settings Profile");
export const PROFILE_EXTENSION = 'code-profile';
export const PROFILE_FILTER = [{ name: localize('profile', "Settings Profile"), extensions: [PROFILE_EXTENSION] }];
|