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
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
1 participant