Skip to content

Query hot reloading during development #1803

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 18, 2023

Conversation

pokey
Copy link
Member

@pokey pokey commented Aug 17, 2023

Checklist

@pokey pokey mentioned this pull request Aug 17, 2023
3 tasks
@pokey pokey force-pushed the pokey/query-hot-reloading-during-development branch from 772b512 to c03c303 Compare August 17, 2023 00:49
const languageDefinitions = new LanguageDefinitions(treeSitter);
const languageDefinitions = new LanguageDefinitions(fileSystem, treeSitter);

ide.disposeOnExit(rangeUpdater, languageDefinitions, hatTokenMap, debug);
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

whoops; looks like we forgot to dispose a bunch of stuff 😅

);

if (ide().runMode === "test") {
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Development is much easier if you can see the scopes that allow-multiple is complaining about. If you fail, you can't see anything so it's really hard to debug

@pokey pokey marked this pull request as ready for review August 17, 2023 00:53
@pokey pokey marked this pull request as draft August 17, 2023 00:53
@pokey pokey requested a review from AndreasArvidsson August 17, 2023 01:00
github-merge-queue bot pushed a commit that referenced this pull request Aug 18, 2023
Base automatically changed from pokey/add-generic-file-watcher-api to main August 18, 2023 07:34
@pokey pokey force-pushed the pokey/query-hot-reloading-during-development branch from c03c303 to f640f98 Compare August 18, 2023 13:22
@pokey pokey marked this pull request as ready for review August 18, 2023 13:22
@pokey pokey enabled auto-merge August 18, 2023 13:22
@pokey pokey added this pull request to the merge queue Aug 18, 2023
Merged via the queue into main with commit 0f5d011 Aug 18, 2023
@pokey pokey deleted the pokey/query-hot-reloading-during-development branch August 18, 2023 13:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants