Andy
Andy
> Oh, wait, the other React recipes still need to be updated. But, this is now unblocked. https://github.com/JordanMartinez/purescript-cookbook/pull/298
Can be closed since we already updated to 2.6.2 https://github.com/JordanMartinez/purescript-cookbook/blob/3bbeca8bfe23d73a5c02d978b1a47286a22df262/package.json#L5
I tried this change and it seems to make `purs-loader` work with PureScript v0.15
@ethul In case you read this: Are you open to merge or add maintainers to this repository or would you rather prefer a fork being published on npm? :)
I'm also randomly seeing this happening. How many API requests will this action typically execute? Depending on which config flags? Is there a known way to work around this? I'll...
Reference to potential fix, release pending: https://github.com/tree-sitter/tree-sitter/pull/1913
Encountered this issue with `settings.json` and `security-settings.json`. Is the PR good to go?
Would be awesome. Currently this is hard to read.  **Update**: This was also because "Consolas" font was missing on this machine. Could be an issue on its own.
As a temporary workaround, until #16 is merged, you can manipulate the implementation in your home directory. It's located in `.vscode/extensions/wmaurer.vscode-jumpy-0.3.1/out/src/jumpy-vscode.js`
@sagg https://github.com/wmaurer/vscode-jumpy/pull/16#discussion_r188930901