Skip to content

Start type check on change#934

Merged
soutaro merged 3 commits intomasterfrom
start_type_check_on_change
Oct 20, 2023
Merged

Start type check on change#934
soutaro merged 3 commits intomasterfrom
start_type_check_on_change

Conversation

@soutaro
Copy link
Owner

@soutaro soutaro commented Oct 19, 2023

Instead of waiting for a didSave notification, start type checking after didChange notification with 0.1secs delay.

This improves responsiveness especially with editor configuration without auto-save.

#933

@soutaro soutaro added this to the Steep 1.6 milestone Oct 19, 2023
@soutaro soutaro linked an issue Oct 19, 2023 that may be closed by this pull request
3 tasks
@soutaro soutaro removed a link to an issue Oct 19, 2023
3 tasks
@soutaro soutaro force-pushed the start_type_check_on_change branch from e759f4d to bb44390 Compare October 20, 2023 02:02
@soutaro soutaro marked this pull request as ready for review October 20, 2023 02:04
@soutaro soutaro enabled auto-merge October 20, 2023 02:04
@soutaro soutaro merged commit 3df07f6 into master Oct 20, 2023
@soutaro soutaro deleted the start_type_check_on_change branch October 20, 2023 02:22
@soutaro soutaro linked an issue Oct 20, 2023 that may be closed by this pull request
3 tasks
@soutaro soutaro added the Released The PR is already included in a published release label Oct 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Released The PR is already included in a published release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Improve text synchronization

1 participant