marimo
marimo copied to clipboard
VSCode extension pastes the clipboard twice
Describe the bug
In the VSCode extension, the copied text gets pasted twice.
https://github.com/marimo-team/marimo/assets/101019159/c27a05fb-ca1d-43d5-9bef-d3a2beb174f9
Tested on 2 different machines (W11 and W10). I have not had this issue with anything else.
Environment
Marimo extension: v0.1.13 Marimo: v0.2.13 OS: Windows 11 adn Windows 10
Code to reproduce
No response
We've seen this before https://github.com/marimo-team/vscode-marimo/issues/14, but I cannot repro this on a Mac. Looks like this happens on Windows too.
We are open to contributions as I don't have a reliable way to test this myself
Is anyone still experiencing this issue? We made some changes that may have fixed this.
Closing this - should be fixed on the latest