-
Notifications
You must be signed in to change notification settings - Fork 1
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
Support copy and paste from output #108
Labels
Comments
We could maybe use the |
dhleong
added a commit
that referenced
this issue
Feb 17, 2020
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The reason we disabled mouse support by default was probably because it breaks the terminal's built-in copy and paste. We can now disable mouse support on the fly, but we should probably consider how to do a visual selection mode in an output buffer to support copying more easily.
The most robust solution is a normal mode that navigates in the output buffer (we probably don't want to get into editing the output buffer) and can do selections with
v
. A less involved solution might be to handle mouse events to create selections, so we don't have to deal with focusing on and navigating in the output buffer.The text was updated successfully, but these errors were encountered: