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.

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

Cannot copy text from expanded inlay in a worksheet in vscode #7049

Open
a01fe opened this issue Dec 18, 2024 · 5 comments
Open

Cannot copy text from expanded inlay in a worksheet in vscode #7049

a01fe opened this issue Dec 18, 2024 · 5 comments
Labels
needs more information Use if we need more information for a specific ticket

Comments

@a01fe
Copy link

a01fe commented Dec 18, 2024

Describe the bug

In a Scala worksheet, when hovering over an inlay, pressing the Command (cloverleaf) key closes the expanded inlay. This makes it impossible to use Command-C to copy text from an expanded inlay.

Hover over inlay

image

Select text in expanded inlay

image

Press Command (first key of Command-C combo to copy selection)

image

Expanded inlay disappears as soon as Command key is pressed.

Expected behavior

Command key does not close expanded overlay, so Command-C can be used to copy selected text in expanded inlay.

Operating system

macOS

Editor/Extension

VS Code

Version of Metals

1.4.2+10-a4a6122e-SNAPSHOT

Extra context or search terms

vscode version info: 1.97.0-insider
Commit: 6c2faf1c5db3a438360b44a9f7b83bafac8efa0b
Date: 2024-12-18T12:11:15.876Z
Electron: 32.2.6
ElectronBuildId: 10629634
Chromium: 128.0.6613.186
Node.js: 20.18.1
V8: 12.8.374.38-electron.0
OS: Darwin arm64 24.2.0

@tgodzik
Copy link
Contributor

tgodzik commented Dec 18, 2024

Thanks for reporting! I am not sure if we can do anything about it as it's up to VS Code to decide what happens on each shortcut.

It might be possible to modify shortcuts for VS Code File -> Preferences -> Keyboard shortcuts or add an alternative for copy pasting.

What might interest you as an another alternative is that you can copy the whole worksheet with the command at the top of the worksheet, which should help getting out the data out of it.

@tgodzik tgodzik added the needs more information Use if we need more information for a specific ticket label Dec 18, 2024
@a01fe
Copy link
Author

a01fe commented Dec 18, 2024

Thanks for the fast reply! I was afraid that it was a VS Code issue. The challenge with setting up another shortcut, is it appears all modifier keys now dismiss the pop-up. I didn't realize how much I used this until installing today's insider update 😹

"Copy worksheet output" is an alternative, but it's pretty heavyweight.

I should file a VS Code issue. I don't know much about VS Code internals, do you know what they call the UI element expanded inlays use?

@a01fe
Copy link
Author

a01fe commented Dec 18, 2024

@tgodzik
Copy link
Contributor

tgodzik commented Dec 19, 2024

I should file a VS Code issue. I don't know much about VS Code internals, do you know what they call the UI element expanded inlays use?

I guess that's just a pop up indeed. As an alternative maybe right click and selecting works? Not sure how that works on mac, since I mainly use linux 😓

@a01fe
Copy link
Author

a01fe commented Dec 19, 2024

Unfortunately, the Mac UI doesn't copy on select 😿 There is a vscode issue I linked above, hopefully they'll provide a workaround.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs more information Use if we need more information for a specific ticket
Projects
None yet
Development

No branches or pull requests

2 participants