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.

Sign up for GitHub

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

Jump to bottom

Sometimes the point/caret moves when suggestion overlays are added #189

Closed
NightMachinery opened this issue Oct 3, 2023 · 2 comments
Closed

Sometimes the point/caret moves when suggestion overlays are added #189

NightMachinery opened this issue Oct 3, 2023 · 2 comments
Labels
duplicate This issue or pull request already exists Stale

Comments

@NightMachinery
Copy link

Sometimes the point/caret moves when suggestion overlays are added.
image
@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Nov 3, 2023

This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 5 days.

@github-actions github-actions bot added the Stale label Nov 3, 2023
@emil-vdw emil-vdw added the duplicate This issue or pull request already exists label Dec 26, 2023
@emil-vdw
Copy link
Collaborator

Closing as duplicate of #200

@emil-vdw emil-vdw closed this as not planned Won't fix, can't repro, duplicate, stale Dec 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
duplicate This issue or pull request already exists Stale
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@emil-vdw @NightMachinery