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

[RFC]: add support for shift-selection in the REPL #2723

Open
3 tasks done
Snehil-Shah opened this issue Aug 1, 2024 · 2 comments
Open
3 tasks done

[RFC]: add support for shift-selection in the REPL #2723

Snehil-Shah opened this issue Aug 1, 2024 · 2 comments
Labels
Enhancement Issue or pull request for enhancing existing functionality. REPL Issue or pull request specific to the project REPL. RFC Request for comments. Feature requests and proposed changes.

Comments

@Snehil-Shah
Copy link
Member

Snehil-Shah commented Aug 1, 2024 •
edited
Loading

Description

This RFC proposes adding support for selecting regions of the input using SHIFT+ARROW in the REPL. Julia supports this (attached below).

selection.mp4

Related Issues

Related issues #2647.

Checklist

  • I have read and understood the Code of Conduct.
  • Searched for existing issues and pull requests.
  • The issue name begins with RFC:.
@Snehil-Shah Snehil-Shah added Enhancement Issue or pull request for enhancing existing functionality. RFC Request for comments. Feature requests and proposed changes. REPL Issue or pull request specific to the project REPL. labels Aug 1, 2024
@kgryte
Copy link
Member

kgryte commented Aug 2, 2024

@Snehil-Shah To clarify, this would allow deleting multiple characters at once? What is the use case?

Hmmm...I am not sure about this key-binding. E.g., SHIFT+ARROW in tmux allows for navigating panes. Are there other possible key combinations?

@Snehil-Shah
Copy link
Member Author

Julia also has keybindings around selections for copy/paste/cut operations.

And I am not affixed to any key combination for now, but I believe VSCode also has shift+arrow for selection as a keyboard shortcut.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Enhancement Issue or pull request for enhancing existing functionality. REPL Issue or pull request specific to the project REPL. RFC Request for comments. Feature requests and proposed changes.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kgryte @Snehil-Shah