-
Notifications
You must be signed in to change notification settings - Fork 30.8k
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
editor.selectionClipboard option has no effect on vscode.dev #181050
Labels
bug
Issue identified by VS Code Team member as probable bug
editor-clipboard
Editor clipboard issues
Milestone
Comments
dlech
added a commit
to pybricks/pybricks-code
that referenced
this issue
Apr 27, 2023
To avoid the Linux feature of pasting on middle click, we need to consume the mouse up event in the browser on middle click instead of mouse down. This also sets the `selectionClipboard` editor option to false which should disable the feature altogether in the monaco editor but the setting seems to be broken in the browser[1]. [1]: microsoft/vscode#181050 Fixes: pybricks/support#1046
dlech
added a commit
to pybricks/pybricks-code
that referenced
this issue
Apr 27, 2023
To avoid the Linux feature of pasting on middle click, we need to consume the mouse up event in the browser on middle click instead of mouse down. This also sets the `selectionClipboard` editor option to false which should disable the feature altogether in the monaco editor but the setting seems to be broken in the browser[1]. [1]: microsoft/vscode#181050 Fixes: pybricks/support#1046
The reason is because this code which would prevent pasting is registered as a workbench contribution and workbench contributions don't get instantiated in the standalone editor. That could be transformed to the newly available |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
bug
Issue identified by VS Code Team member as probable bug
editor-clipboard
Editor clipboard issues
Does this issue occur when all extensions are disabled?: Yes
Steps to Reproduce:
editor.selectionClipboard
toFalse
in the settings.In the desktop app, changing the setting affects the behavior, however in vscode.dev in a Chromium browser, the setting has no effect.
Desktop app working as expected:
vokoscreenNG-2023-04-27_11-37-47.webm
Web app (vscode.dev) not working as expected:
vokoscreenNG-2023-04-27_11-40-48.webm
The text was updated successfully, but these errors were encountered: