Skip to content
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

Revert "Synchronize suggestions loading after the reconnect (#9043)" #9072

Merged
merged 1 commit into from
Feb 15, 2024

Conversation

hubertp
Copy link
Collaborator

@hubertp hubertp commented Feb 15, 2024

This reverts commit 9c982e0.
It makes GUI's widgets unusable atm. Will bring it back with a proper fix.

@hubertp hubertp added the CI: No changelog needed Do not require a changelog entry for this PR. label Feb 15, 2024
Copy link
Member

@JaroslavTulach JaroslavTulach left a comment

Choose a reason for hiding this comment

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

Administrative approval.

@hubertp hubertp added the CI: Ready to merge This PR is eligible for automatic merge label Feb 15, 2024
@mergify mergify bot merged commit 5c624d2 into develop Feb 15, 2024
27 of 30 checks passed
@mergify mergify bot deleted the wip/hubert/8689-revert-synchronization branch February 15, 2024 13:39
mergify bot pushed a commit that referenced this pull request Feb 23, 2024
related #8689, #9072

Fixes a race between the language server SQL updating logic and the engine `DeserializeLibrarySuggestionsJob`s when the library suggestions may start loading before the database is properly cleaned up after the reconnect.

# Important Notes
As a side effect, arguments are showing slightly (~1 second) faster due to the lower contention between the engine jobs.

#### Before
https://github.com/enso-org/enso/assets/357683/cbda2da4-9080-4b9b-b836-81e54694d468

#### After
https://github.com/enso-org/enso/assets/357683/bf442284-47be-456d-b1dd-2413b6ad8244
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: No changelog needed Do not require a changelog entry for this PR. CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants