Merge pull request #8820 from zhoro/dev/highlights

This commit is contained in:
Eugene 2023-08-13 09:06:24 +02:00 committed by GitHub
commit 164d34c543
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -32,7 +32,7 @@ export default options => {
sourceMapOptions.append = '\n//# sourceMappingURL=../../../app.asar.unpacked/assets/webpack/[url]'
}
if (process.platform === 'win32' && process.env.TABBY_DEV) {
if ((process.platform === 'win32' || process.platform === 'linux') && process.env.TABBY_DEV) {
devtoolPlugin = wp.EvalSourceMapDevToolPlugin
}