Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@lars-berger
Copy link
Member

Closes #859

@lars-berger lars-berger merged commit 6c98c41 into main Dec 2, 2024
1 check passed
@lars-berger lars-berger deleted the fix/cursor-jump-on-workspace-move branch December 2, 2024 09:00
@github-actions
Copy link

github-actions bot commented Dec 3, 2024

πŸŽ‰ This PR is included in version 3.7.0 πŸŽ‰

The release is available on GitHub release

Your semantic-release bot πŸ“¦πŸš€

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: βœ… Done

Development

Successfully merging this pull request may close these issues.

[Bug] move-workspace does not move mouse curosr

2 participants