File tree 1 file changed +4
-4
lines changed
src/client/pythonEnvironments/creation
1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -40,7 +40,7 @@ export interface EnvironmentWillCreateEvent {
40
40
/**
41
41
* Options used to create a Python environment.
42
42
*/
43
- options : CreateEnvironmentOptions | undefined ;
43
+ readonly options : CreateEnvironmentOptions | undefined ;
44
44
}
45
45
46
46
export type CreateEnvironmentResult =
@@ -115,7 +115,7 @@ export type EnvironmentDidCreateEvent = CreateEnvironmentResult & {
115
115
/**
116
116
* Options used to create the Python environment.
117
117
*/
118
- options : CreateEnvironmentOptions | undefined ;
118
+ readonly options : CreateEnvironmentOptions | undefined ;
119
119
} ;
120
120
121
121
/**
@@ -163,14 +163,14 @@ export interface ProposedCreateEnvironmentAPI {
163
163
* provider (including internal providers). This will also receive any options passed in
164
164
* or defaults used to create environment.
165
165
*/
166
- onWillCreateEnvironment : Event < EnvironmentWillCreateEvent > ;
166
+ readonly onWillCreateEnvironment : Event < EnvironmentWillCreateEvent > ;
167
167
168
168
/**
169
169
* This API can be used to detect when the environment provider exits for any registered
170
170
* provider (including internal providers). This will also receive created environment path,
171
171
* any errors, or user actions taken from the provider.
172
172
*/
173
- onDidCreateEnvironment : Event < EnvironmentDidCreateEvent > ;
173
+ readonly onDidCreateEnvironment : Event < EnvironmentDidCreateEvent > ;
174
174
175
175
/**
176
176
* This API will show a QuickPick to select an environment provider from available list of
You can’t perform that action at this time.
0 commit comments