| author | wenzelm | 
| Tue, 29 Oct 2024 21:51:21 +0100 | |
| changeset 81298 | 74d2e85f245d | 
| parent 75279 | 9229f2681db7 | 
| child 83082 | 3b89614a6189 | 
| permissions | -rw-r--r-- | 
| 75277 | 1  | 
diff --git a/src/vs/code/node/cli.ts b/src/vs/code/node/cli.ts  | 
2  | 
--- a/src/vs/code/node/cli.ts  | 
|
3  | 
+++ b/src/vs/code/node/cli.ts  | 
|
| 
75279
 
9229f2681db7
clarified directory layout and settings: more robust on all platforms;
 
wenzelm 
parents: 
75277 
diff
changeset
 | 
4  | 
@@ -363,9 +363,11 @@ export async function main(argv: string[]): Promise<any> {
 | 
| 75277 | 5  | 
}  | 
6  | 
||
7  | 
let child: ChildProcess;  | 
|
| 
75279
 
9229f2681db7
clarified directory layout and settings: more robust on all platforms;
 
wenzelm 
parents: 
75277 
diff
changeset
 | 
8  | 
+ const app_arg = '--app=' + process.env['ISABELLE_VSCODIUM_APP'];  | 
| 75277 | 9  | 
+ const electron_args = [app_arg].concat(argv.slice(2));  | 
10  | 
 		if (!isMacOSBigSurOrNewer) {
 | 
|
11  | 
// We spawn process.execPath directly  | 
|
12  | 
- child = spawn(process.execPath, argv.slice(2), options);  | 
|
13  | 
+ child = spawn(process.execPath, electron_args, options);  | 
|
14  | 
 		} else {
 | 
|
15  | 
// On Big Sur, we spawn using the open command to obtain behavior  | 
|
16  | 
// similar to if the app was launched from the dock  | 
|
| 
75279
 
9229f2681db7
clarified directory layout and settings: more robust on all platforms;
 
wenzelm 
parents: 
75277 
diff
changeset
 | 
17  | 
@@ -425,7 +427,7 @@ export async function main(argv: string[]): Promise<any> {
 | 
| 75277 | 18  | 
}  | 
19  | 
}  | 
|
20  | 
||
21  | 
-			spawnArgs.push('--args', ...argv.slice(2)); // pass on our arguments
 | 
|
22  | 
+			spawnArgs.push('--args', ...electron_args); // pass on our arguments
 | 
|
23  | 
||
24  | 
 			if (env['VSCODE_DEV']) {
 | 
|
25  | 
// If we're in development mode, replace the . arg with the  |