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.

Sign up for GitHub

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

Jump to bottom

As a user I want to copy the content of the current Output channel with Ctrl/Cmd+A #7521

Closed
kittaakos opened this issue Apr 8, 2020 · 1 comment · Fixed by #7523
Closed

As a user I want to copy the content of the current Output channel with Ctrl/Cmd+A #7521

kittaakos opened this issue Apr 8, 2020 · 1 comment · Fixed by #7523
Assignees
@kittaakos
Labels
enhancement issues that are enhancements to current functionality - nice to haves output issues related to the output

Comments

@kittaakos
Copy link
Contributor

Description

When the Output channel is opened and is the active widget, I want to be able to copy the content (Select All) with the Ctrl/Cmd+A keybindings.

Inspired by: arduino/arduino-pro-ide#37

Reproduction Steps

OS and Theia version:

Diagnostics:
@kittaakos kittaakos added enhancement issues that are enhancements to current functionality - nice to haves output issues related to the output labels Apr 8, 2020
@kittaakos kittaakos self-assigned this Apr 8, 2020
@akosyakov
Copy link
Member

@kittaakos Do you think it would be hard to replace output with Monaco editor as it is done in VS Code: #2702 (comment)

kittaakos pushed a commit that referenced this issue Apr 8, 2020
GH-7521: Enabled Select All in the Output.
36d1b9a 
Closes #7521.

Signed-off-by: Akos Kitta <[email protected]>
@kittaakos kittaakos mentioned this issue Apr 8, 2020
Merged
1 task
kittaakos pushed a commit that referenced this issue Apr 8, 2020
GH-7521: Enabled Select All in the Output.
7e9286d 
Closes #7521.

Signed-off-by: Akos Kitta <[email protected]>
kittaakos pushed a commit that referenced this issue Apr 8, 2020
@kittaakos
GH-7521: Enabled Select All in the Output.
b8c4269 
Closes #7521.

Signed-off-by: Akos Kitta <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kittaakos kittaakos

Labels
enhancement issues that are enhancements to current functionality - nice to haves output issues related to the output
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

GH-7521: Enabled Select All in the Output eclipse-theia/theia
2 participants
@kittaakos @akosyakov