Apr 14, 2023 · Apr 3, 2023 · Apr 3, 2023 · Apr 14, 2023
diff --git a/electron/build/scripts/arduino-ide-electron-main.js b/electron/build/scripts/arduino-ide-electron-main.js
Original file line number	Diff line number	Diff line change
		@@ -1,9 +1,15 @@
		const os = require('os');
		const path = require('path');
		// Enables the discovery of the VS Code extensions in the embedded `plugins` folder in the final app.
	process.env.THEIA_DEFAULT_PLUGINS = `local-dir:${path.resolve(__dirname, '..', 'plugins')}`;
	process.env.THEIA_DEFAULT_PLUGINS = `local-dir:${path.resolve(
	__dirname,
	'..',
	'plugins'
	)}`;
		process.env.THEIA_PLUGINS = [
	process.env.THEIA_PLUGINS,
	`local-dir:${path.resolve(os.homedir(), '.arduinoProIDE', 'plugins')}`
	].filter(Boolean).join(',');
	process.env.THEIA_PLUGINS,
	`local-dir:${path.resolve(os.homedir(), '.arduinoIDE', 'plugins')}`,
	]
	.filter(Boolean)
	.join(',');
		require('../src-gen/frontend/electron-main.js');