@theia/plugin 1.53.0-next.5 → 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.
- package/README.md +766 -766
- package/package.json +3 -3
- package/src/package.spec.ts +28 -28
- package/src/theia-extra.d.ts +410 -410
- package/src/theia.d.ts +18078 -17684
- package/src/theia.proposed.canonicalUriProvider.d.ts +64 -64
- package/src/theia.proposed.customEditorMove.d.ts +41 -41
- package/src/theia.proposed.debugVisualization.d.ts +189 -189
- package/src/theia.proposed.diffCommand.d.ts +55 -55
- package/src/theia.proposed.documentPaste.d.ts +316 -316
- package/src/theia.proposed.editSessionIdentityProvider.d.ts +89 -89
- package/src/theia.proposed.extensionsAny.d.ts +57 -57
- package/src/theia.proposed.externalUriOpener.d.ts +158 -158
- package/src/theia.proposed.findTextInFiles.d.ts +178 -178
- package/src/theia.proposed.fsChunks.d.ts +32 -32
- package/src/theia.proposed.mappedEditsProvider.d.ts +59 -59
- package/src/theia.proposed.multiDocumentHighlightProvider.ts +82 -82
- package/src/theia.proposed.notebookCellExecutionState.d.ts +68 -68
- package/src/theia.proposed.notebookKernelSource.d.ts +62 -62
- package/src/theia.proposed.notebookMessaging.d.ts +84 -84
- package/src/theia.proposed.portsAttributes.d.ts +115 -115
- package/src/theia.proposed.profileContentHandlers.d.ts +35 -35
- package/src/theia.proposed.resolvers.d.ts +44 -44
- package/src/theia.proposed.scmValidation.d.ts +70 -70
- package/src/theia.proposed.shareProvider.d.ts +92 -92
- package/src/theia.proposed.terminalQuickFixProvider.d.ts +103 -103
- package/src/theia.proposed.textSearchProvider.d.ts +145 -145
- package/src/theia.proposed.timeline.d.ts +177 -177
|
@@ -1,115 +1,115 @@
|
|
|
1
|
-
// *****************************************************************************
|
|
2
|
-
// Copyright (C) 2024 Typefox 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
|
-
/*---------------------------------------------------------------------------------------------
|
|
18
|
-
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
-
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
-
*--------------------------------------------------------------------------------------------*/
|
|
21
|
-
|
|
22
|
-
declare module '@theia/plugin' {
|
|
23
|
-
|
|
24
|
-
/**
|
|
25
|
-
* The action that should be taken when a port is discovered through automatic port forwarding discovery.
|
|
26
|
-
*/
|
|
27
|
-
export enum PortAutoForwardAction {
|
|
28
|
-
/**
|
|
29
|
-
* Notify the user that the port is being forwarded. This is the default action.
|
|
30
|
-
*/
|
|
31
|
-
Notify = 1,
|
|
32
|
-
/**
|
|
33
|
-
* Once the port is forwarded, open the user's web browser to the forwarded port.
|
|
34
|
-
*/
|
|
35
|
-
OpenBrowser = 2,
|
|
36
|
-
/**
|
|
37
|
-
* Once the port is forwarded, open the preview browser to the forwarded port.
|
|
38
|
-
*/
|
|
39
|
-
OpenPreview = 3,
|
|
40
|
-
/**
|
|
41
|
-
* Forward the port silently.
|
|
42
|
-
*/
|
|
43
|
-
Silent = 4,
|
|
44
|
-
/**
|
|
45
|
-
* Do not forward the port.
|
|
46
|
-
*/
|
|
47
|
-
Ignore = 5
|
|
48
|
-
}
|
|
49
|
-
|
|
50
|
-
/**
|
|
51
|
-
* The attributes that a forwarded port can have.
|
|
52
|
-
*/
|
|
53
|
-
export class PortAttributes {
|
|
54
|
-
/**
|
|
55
|
-
* The action to be taken when this port is detected for auto forwarding.
|
|
56
|
-
*/
|
|
57
|
-
autoForwardAction: PortAutoForwardAction;
|
|
58
|
-
|
|
59
|
-
/**
|
|
60
|
-
* Creates a new PortAttributes object
|
|
61
|
-
* @param port the port number
|
|
62
|
-
* @param autoForwardAction the action to take when this port is detected
|
|
63
|
-
*/
|
|
64
|
-
constructor(autoForwardAction: PortAutoForwardAction);
|
|
65
|
-
}
|
|
66
|
-
|
|
67
|
-
/**
|
|
68
|
-
* A provider of port attributes. Port attributes are used to determine what action should be taken when a port is discovered.
|
|
69
|
-
*/
|
|
70
|
-
export interface PortAttributesProvider {
|
|
71
|
-
/**
|
|
72
|
-
* Provides attributes for the given port. For ports that your extension doesn't know about, simply
|
|
73
|
-
* return undefined. For example, if `providePortAttributes` is called with ports 3000 but your
|
|
74
|
-
* extension doesn't know anything about 3000 you should return undefined.
|
|
75
|
-
* @param port The port number of the port that attributes are being requested for.
|
|
76
|
-
* @param pid The pid of the process that is listening on the port. If the pid is unknown, undefined will be passed.
|
|
77
|
-
* @param commandLine The command line of the process that is listening on the port. If the command line is unknown, undefined will be passed.
|
|
78
|
-
* @param token A cancellation token that indicates the result is no longer needed.
|
|
79
|
-
*/
|
|
80
|
-
providePortAttributes(attributes: { port: number; pid?: number; commandLine?: string }, token: CancellationToken): ProviderResult<PortAttributes>;
|
|
81
|
-
}
|
|
82
|
-
|
|
83
|
-
/**
|
|
84
|
-
* A selector that will be used to filter which {@link PortAttributesProvider} should be called for each port.
|
|
85
|
-
*/
|
|
86
|
-
export interface PortAttributesSelector {
|
|
87
|
-
/**
|
|
88
|
-
* Specifying a port range will cause your provider to only be called for ports within the range.
|
|
89
|
-
* The start is inclusive and the end is exclusive.
|
|
90
|
-
*/
|
|
91
|
-
portRange?: [number, number] | number;
|
|
92
|
-
|
|
93
|
-
/**
|
|
94
|
-
* Specifying a command pattern will cause your provider to only be called for processes whose command line matches the pattern.
|
|
95
|
-
*/
|
|
96
|
-
commandPattern?: RegExp;
|
|
97
|
-
}
|
|
98
|
-
|
|
99
|
-
export namespace workspace {
|
|
100
|
-
/**
|
|
101
|
-
* If your extension listens on ports, consider registering a PortAttributesProvider to provide information
|
|
102
|
-
* about the ports. For example, a debug extension may know about debug ports in it's debuggee. By providing
|
|
103
|
-
* this information with a PortAttributesProvider the extension can tell the editor that these ports should be
|
|
104
|
-
* ignored, since they don't need to be user facing.
|
|
105
|
-
*
|
|
106
|
-
* The results of the PortAttributesProvider are merged with the user setting `remote.portsAttributes`. If the values conflict, the user setting takes precedence.
|
|
107
|
-
*
|
|
108
|
-
* @param portSelector It is best practice to specify a port selector to avoid unnecessary calls to your provider.
|
|
109
|
-
* If you don't specify a port selector your provider will be called for every port, which will result in slower port forwarding for the user.
|
|
110
|
-
* @param provider The {@link PortAttributesProvider PortAttributesProvider}.
|
|
111
|
-
* @stubbed
|
|
112
|
-
*/
|
|
113
|
-
export function registerPortAttributesProvider(portSelector: PortAttributesSelector, provider: PortAttributesProvider): Disposable;
|
|
114
|
-
}
|
|
115
|
-
}
|
|
1
|
+
// *****************************************************************************
|
|
2
|
+
// Copyright (C) 2024 Typefox 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
|
+
/*---------------------------------------------------------------------------------------------
|
|
18
|
+
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
+
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
+
*--------------------------------------------------------------------------------------------*/
|
|
21
|
+
|
|
22
|
+
declare module '@theia/plugin' {
|
|
23
|
+
|
|
24
|
+
/**
|
|
25
|
+
* The action that should be taken when a port is discovered through automatic port forwarding discovery.
|
|
26
|
+
*/
|
|
27
|
+
export enum PortAutoForwardAction {
|
|
28
|
+
/**
|
|
29
|
+
* Notify the user that the port is being forwarded. This is the default action.
|
|
30
|
+
*/
|
|
31
|
+
Notify = 1,
|
|
32
|
+
/**
|
|
33
|
+
* Once the port is forwarded, open the user's web browser to the forwarded port.
|
|
34
|
+
*/
|
|
35
|
+
OpenBrowser = 2,
|
|
36
|
+
/**
|
|
37
|
+
* Once the port is forwarded, open the preview browser to the forwarded port.
|
|
38
|
+
*/
|
|
39
|
+
OpenPreview = 3,
|
|
40
|
+
/**
|
|
41
|
+
* Forward the port silently.
|
|
42
|
+
*/
|
|
43
|
+
Silent = 4,
|
|
44
|
+
/**
|
|
45
|
+
* Do not forward the port.
|
|
46
|
+
*/
|
|
47
|
+
Ignore = 5
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
/**
|
|
51
|
+
* The attributes that a forwarded port can have.
|
|
52
|
+
*/
|
|
53
|
+
export class PortAttributes {
|
|
54
|
+
/**
|
|
55
|
+
* The action to be taken when this port is detected for auto forwarding.
|
|
56
|
+
*/
|
|
57
|
+
autoForwardAction: PortAutoForwardAction;
|
|
58
|
+
|
|
59
|
+
/**
|
|
60
|
+
* Creates a new PortAttributes object
|
|
61
|
+
* @param port the port number
|
|
62
|
+
* @param autoForwardAction the action to take when this port is detected
|
|
63
|
+
*/
|
|
64
|
+
constructor(autoForwardAction: PortAutoForwardAction);
|
|
65
|
+
}
|
|
66
|
+
|
|
67
|
+
/**
|
|
68
|
+
* A provider of port attributes. Port attributes are used to determine what action should be taken when a port is discovered.
|
|
69
|
+
*/
|
|
70
|
+
export interface PortAttributesProvider {
|
|
71
|
+
/**
|
|
72
|
+
* Provides attributes for the given port. For ports that your extension doesn't know about, simply
|
|
73
|
+
* return undefined. For example, if `providePortAttributes` is called with ports 3000 but your
|
|
74
|
+
* extension doesn't know anything about 3000 you should return undefined.
|
|
75
|
+
* @param port The port number of the port that attributes are being requested for.
|
|
76
|
+
* @param pid The pid of the process that is listening on the port. If the pid is unknown, undefined will be passed.
|
|
77
|
+
* @param commandLine The command line of the process that is listening on the port. If the command line is unknown, undefined will be passed.
|
|
78
|
+
* @param token A cancellation token that indicates the result is no longer needed.
|
|
79
|
+
*/
|
|
80
|
+
providePortAttributes(attributes: { port: number; pid?: number; commandLine?: string }, token: CancellationToken): ProviderResult<PortAttributes>;
|
|
81
|
+
}
|
|
82
|
+
|
|
83
|
+
/**
|
|
84
|
+
* A selector that will be used to filter which {@link PortAttributesProvider} should be called for each port.
|
|
85
|
+
*/
|
|
86
|
+
export interface PortAttributesSelector {
|
|
87
|
+
/**
|
|
88
|
+
* Specifying a port range will cause your provider to only be called for ports within the range.
|
|
89
|
+
* The start is inclusive and the end is exclusive.
|
|
90
|
+
*/
|
|
91
|
+
portRange?: [number, number] | number;
|
|
92
|
+
|
|
93
|
+
/**
|
|
94
|
+
* Specifying a command pattern will cause your provider to only be called for processes whose command line matches the pattern.
|
|
95
|
+
*/
|
|
96
|
+
commandPattern?: RegExp;
|
|
97
|
+
}
|
|
98
|
+
|
|
99
|
+
export namespace workspace {
|
|
100
|
+
/**
|
|
101
|
+
* If your extension listens on ports, consider registering a PortAttributesProvider to provide information
|
|
102
|
+
* about the ports. For example, a debug extension may know about debug ports in it's debuggee. By providing
|
|
103
|
+
* this information with a PortAttributesProvider the extension can tell the editor that these ports should be
|
|
104
|
+
* ignored, since they don't need to be user facing.
|
|
105
|
+
*
|
|
106
|
+
* The results of the PortAttributesProvider are merged with the user setting `remote.portsAttributes`. If the values conflict, the user setting takes precedence.
|
|
107
|
+
*
|
|
108
|
+
* @param portSelector It is best practice to specify a port selector to avoid unnecessary calls to your provider.
|
|
109
|
+
* If you don't specify a port selector your provider will be called for every port, which will result in slower port forwarding for the user.
|
|
110
|
+
* @param provider The {@link PortAttributesProvider PortAttributesProvider}.
|
|
111
|
+
* @stubbed
|
|
112
|
+
*/
|
|
113
|
+
export function registerPortAttributesProvider(portSelector: PortAttributesSelector, provider: PortAttributesProvider): Disposable;
|
|
114
|
+
}
|
|
115
|
+
}
|
|
@@ -1,35 +1,35 @@
|
|
|
1
|
-
// *****************************************************************************
|
|
2
|
-
// Copyright (C) 2023 Ericsson 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
|
-
/*---------------------------------------------------------------------------------------------
|
|
18
|
-
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
-
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
-
*--------------------------------------------------------------------------------------------*/
|
|
21
|
-
// code copied and modified from https://github.com/microsoft/vscode/blob/1.77.0/src/vscode-dts/vscode.proposed.profileContentHandlers.d.ts
|
|
22
|
-
|
|
23
|
-
export module '@theia/plugin' {
|
|
24
|
-
|
|
25
|
-
export interface ProfileContentHandler {
|
|
26
|
-
readonly name: string;
|
|
27
|
-
saveProfile(name: string, content: string, token: CancellationToken): Thenable<Uri | null>;
|
|
28
|
-
readProfile(uri: Uri, token: CancellationToken): Thenable<string | null>;
|
|
29
|
-
}
|
|
30
|
-
|
|
31
|
-
export namespace window {
|
|
32
|
-
export function registerProfileContentHandler(id: string, profileContentHandler: ProfileContentHandler): Disposable;
|
|
33
|
-
}
|
|
34
|
-
|
|
35
|
-
}
|
|
1
|
+
// *****************************************************************************
|
|
2
|
+
// Copyright (C) 2023 Ericsson 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
|
+
/*---------------------------------------------------------------------------------------------
|
|
18
|
+
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
+
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
+
*--------------------------------------------------------------------------------------------*/
|
|
21
|
+
// code copied and modified from https://github.com/microsoft/vscode/blob/1.77.0/src/vscode-dts/vscode.proposed.profileContentHandlers.d.ts
|
|
22
|
+
|
|
23
|
+
export module '@theia/plugin' {
|
|
24
|
+
|
|
25
|
+
export interface ProfileContentHandler {
|
|
26
|
+
readonly name: string;
|
|
27
|
+
saveProfile(name: string, content: string, token: CancellationToken): Thenable<Uri | null>;
|
|
28
|
+
readProfile(uri: Uri, token: CancellationToken): Thenable<string | null>;
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
export namespace window {
|
|
32
|
+
export function registerProfileContentHandler(id: string, profileContentHandler: ProfileContentHandler): Disposable;
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
}
|
|
@@ -1,44 +1,44 @@
|
|
|
1
|
-
// *****************************************************************************
|
|
2
|
-
// Copyright (C) 2023 Ericsson 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
|
-
/*---------------------------------------------------------------------------------------------
|
|
18
|
-
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
-
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
-
*--------------------------------------------------------------------------------------------*/
|
|
21
|
-
// code copied and modified from https://github.com/microsoft/vscode/blob/1.77.0/src/vscode-dts/vscode.proposed.resolvers.d.ts
|
|
22
|
-
|
|
23
|
-
export module '@theia/plugin' {
|
|
24
|
-
|
|
25
|
-
export interface ResourceLabelFormatter {
|
|
26
|
-
scheme: string;
|
|
27
|
-
authority?: string;
|
|
28
|
-
formatting: ResourceLabelFormatting;
|
|
29
|
-
}
|
|
30
|
-
|
|
31
|
-
export interface ResourceLabelFormatting {
|
|
32
|
-
label: string; // myLabel:/${path}
|
|
33
|
-
separator: '/' | '\\' | '';
|
|
34
|
-
tildify?: boolean;
|
|
35
|
-
normalizeDriveLetter?: boolean;
|
|
36
|
-
workspaceSuffix?: string;
|
|
37
|
-
authorityPrefix?: string;
|
|
38
|
-
}
|
|
39
|
-
|
|
40
|
-
export namespace workspace {
|
|
41
|
-
export function registerResourceLabelFormatter(formatter: ResourceLabelFormatter): Disposable;
|
|
42
|
-
}
|
|
43
|
-
|
|
44
|
-
}
|
|
1
|
+
// *****************************************************************************
|
|
2
|
+
// Copyright (C) 2023 Ericsson 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
|
+
/*---------------------------------------------------------------------------------------------
|
|
18
|
+
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
+
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
+
*--------------------------------------------------------------------------------------------*/
|
|
21
|
+
// code copied and modified from https://github.com/microsoft/vscode/blob/1.77.0/src/vscode-dts/vscode.proposed.resolvers.d.ts
|
|
22
|
+
|
|
23
|
+
export module '@theia/plugin' {
|
|
24
|
+
|
|
25
|
+
export interface ResourceLabelFormatter {
|
|
26
|
+
scheme: string;
|
|
27
|
+
authority?: string;
|
|
28
|
+
formatting: ResourceLabelFormatting;
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
export interface ResourceLabelFormatting {
|
|
32
|
+
label: string; // myLabel:/${path}
|
|
33
|
+
separator: '/' | '\\' | '';
|
|
34
|
+
tildify?: boolean;
|
|
35
|
+
normalizeDriveLetter?: boolean;
|
|
36
|
+
workspaceSuffix?: string;
|
|
37
|
+
authorityPrefix?: string;
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
export namespace workspace {
|
|
41
|
+
export function registerResourceLabelFormatter(formatter: ResourceLabelFormatter): Disposable;
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
}
|
|
@@ -1,70 +1,70 @@
|
|
|
1
|
-
// *****************************************************************************
|
|
2
|
-
// Copyright (C) 2023 Ericsson 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
|
-
/*---------------------------------------------------------------------------------------------
|
|
18
|
-
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
-
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
-
*--------------------------------------------------------------------------------------------*/
|
|
21
|
-
// code copied and modified from https://github.com/microsoft/vscode/blob/1.77.0/src/vscode-dts/vscode.proposed.scmValidation.d.ts
|
|
22
|
-
|
|
23
|
-
export module '@theia/plugin' {
|
|
24
|
-
|
|
25
|
-
/**
|
|
26
|
-
* Represents the validation type of the Source Control input.
|
|
27
|
-
*/
|
|
28
|
-
export enum SourceControlInputBoxValidationType {
|
|
29
|
-
|
|
30
|
-
/**
|
|
31
|
-
* Something not allowed by the rules of a language or other means.
|
|
32
|
-
*/
|
|
33
|
-
Error = 0,
|
|
34
|
-
|
|
35
|
-
/**
|
|
36
|
-
* Something suspicious but allowed.
|
|
37
|
-
*/
|
|
38
|
-
Warning = 1,
|
|
39
|
-
|
|
40
|
-
/**
|
|
41
|
-
* Something to inform about but not a problem.
|
|
42
|
-
*/
|
|
43
|
-
Information = 2
|
|
44
|
-
}
|
|
45
|
-
|
|
46
|
-
export interface SourceControlInputBoxValidation {
|
|
47
|
-
|
|
48
|
-
/**
|
|
49
|
-
* The validation message to display.
|
|
50
|
-
*/
|
|
51
|
-
readonly message: string;
|
|
52
|
-
|
|
53
|
-
/**
|
|
54
|
-
* The validation type.
|
|
55
|
-
*/
|
|
56
|
-
readonly type: SourceControlInputBoxValidationType;
|
|
57
|
-
}
|
|
58
|
-
|
|
59
|
-
/**
|
|
60
|
-
* Represents the input box in the Source Control viewlet.
|
|
61
|
-
*/
|
|
62
|
-
export interface SourceControlInputBox {
|
|
63
|
-
|
|
64
|
-
/**
|
|
65
|
-
* A validation function for the input box. It's possible to change
|
|
66
|
-
* the validation provider simply by setting this property to a different function.
|
|
67
|
-
*/
|
|
68
|
-
validateInput?(value: string, cursorPosition: number): ProviderResult<SourceControlInputBoxValidation | undefined | null>;
|
|
69
|
-
}
|
|
70
|
-
}
|
|
1
|
+
// *****************************************************************************
|
|
2
|
+
// Copyright (C) 2023 Ericsson 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
|
+
/*---------------------------------------------------------------------------------------------
|
|
18
|
+
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
19
|
+
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
20
|
+
*--------------------------------------------------------------------------------------------*/
|
|
21
|
+
// code copied and modified from https://github.com/microsoft/vscode/blob/1.77.0/src/vscode-dts/vscode.proposed.scmValidation.d.ts
|
|
22
|
+
|
|
23
|
+
export module '@theia/plugin' {
|
|
24
|
+
|
|
25
|
+
/**
|
|
26
|
+
* Represents the validation type of the Source Control input.
|
|
27
|
+
*/
|
|
28
|
+
export enum SourceControlInputBoxValidationType {
|
|
29
|
+
|
|
30
|
+
/**
|
|
31
|
+
* Something not allowed by the rules of a language or other means.
|
|
32
|
+
*/
|
|
33
|
+
Error = 0,
|
|
34
|
+
|
|
35
|
+
/**
|
|
36
|
+
* Something suspicious but allowed.
|
|
37
|
+
*/
|
|
38
|
+
Warning = 1,
|
|
39
|
+
|
|
40
|
+
/**
|
|
41
|
+
* Something to inform about but not a problem.
|
|
42
|
+
*/
|
|
43
|
+
Information = 2
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
export interface SourceControlInputBoxValidation {
|
|
47
|
+
|
|
48
|
+
/**
|
|
49
|
+
* The validation message to display.
|
|
50
|
+
*/
|
|
51
|
+
readonly message: string;
|
|
52
|
+
|
|
53
|
+
/**
|
|
54
|
+
* The validation type.
|
|
55
|
+
*/
|
|
56
|
+
readonly type: SourceControlInputBoxValidationType;
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
/**
|
|
60
|
+
* Represents the input box in the Source Control viewlet.
|
|
61
|
+
*/
|
|
62
|
+
export interface SourceControlInputBox {
|
|
63
|
+
|
|
64
|
+
/**
|
|
65
|
+
* A validation function for the input box. It's possible to change
|
|
66
|
+
* the validation provider simply by setting this property to a different function.
|
|
67
|
+
*/
|
|
68
|
+
validateInput?(value: string, cursorPosition: number): ProviderResult<SourceControlInputBoxValidation | undefined | null>;
|
|
69
|
+
}
|
|
70
|
+
}
|