mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-08-16 22:50:22 +03:00
Fixes Dev Tools not being able to be opened, among other subtle issue. This is a frequently reported bug, and we try to apply this workaround elsewhere, it's just that the .desktop file that electron-builder generates skips the workaround we have applie e.g. in the /us/bin/pulsar launcher script. |
||
---|---|---|
.. | ||
rolling-release-scripts | ||
.npmrc | ||
electron-builder.js | ||
generate-metadata-for-builder.js | ||
license-overrides.js | ||
mac-bundle-document-types.js | ||
mac-notarise.js | ||
post-install.sh | ||
post-uninstall.sh | ||
rename.js | ||
run-package-tests.js | ||
run-tests.js | ||
validate-wasm-grammar-prs.js |