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

[terminal] Copy/paste on keyboard doesn't work in terminal #2216

Closed
MarkZ3 opened this issue Jun 27, 2018 · 2 comments
Closed

[terminal] Copy/paste on keyboard doesn't work in terminal #2216

MarkZ3 opened this issue Jun 27, 2018 · 2 comments

Comments

@MarkZ3
Copy link
Contributor

MarkZ3 commented Jun 27, 2018 •
edited
Loading

Theia master as of (603fe22), Electron, browser example. Ubuntu.

  1. Open the terminal
  2. Select some text and try to Ctrl+Shift+C and Ctrl+Shift+V.
    Nothing happens.

There is also no context menu to do it.
In the browser, I also haven't been able to do it with the keyboard but there is the context menu. Also, Ctrl+shift+C opens the dev tools in Firefox...
@MarkZ3 MarkZ3 changed the title Copy/paste on keyboard doesn't work in terminal [terminal] Copy/paste on keyboard doesn't work in terminal Jun 27, 2018
@elaihau
Copy link
Contributor

elaihau commented Jun 29, 2018

This one is related to #2171

@kittaakos
Copy link
Contributor

It should be possible with #3469.

Please reopen if needed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@MarkZ3 @kittaakos @elaihau