feat: report errors in /try via @codemirror/lint #85
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "push-f.com:try-lint"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This breaks path-independence by hard-coding absolute URLs, meaning the sandbox no longer works under the /website path of the devserver (it tries to read http://localhost:8090/try/mods/codemirror.js, though that's being served ad /website/try/mods/...).
As a general pointer, it's a good idea to propose new features as an issue first, before creating a PR. I'm not fond of increasing the scope of the code I maintain, nor do I particularly enjoy reviewing code, so I'm not generally keen on PRs that add features that weren't even on my radar. If you can get the import map to work, that would be a clear improvement here, so I'm cautiously positive towards this one, but in other cases, you might end up wasting your time implementing something I'm not interested in.
d2f93c79e5toc62d5b9b6aPushed a fix for the path-dependence. Showing errors in the editor is such a clear improvement to me, that I assumed you'd be interested. The importmap change happened in drive by. Point taken though, I'll open issues for other features.
Since these errors come in asynchronously (via
postMessageover an async channel, or even because the code that triggers them didn't run synchronously at the start of the script), the code may be edited between the point where it is evaluated and the point where the error position arrives in the main window. When that happens, the error will be shown in the wrong position.c62d5b9b6ato2b5c44e71fGood catch. I added a check to only show them if the document hasn't changed.
2b5c44e71ftoc37e6f4f62Thanks. Merged as
6ca502dcf8andc3507771f2Thanks! Btw should website issues be opened here rather than in the central issue tracker?
Yes, if it's website-specific, use this repo's issue tracker.
Could you deploy this / would it make sense to set up some auto deployment for this repo?
There is an auto-deployment, but it looks like some recent server changes had broken it. Should be better again now.
Pull request closed