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

Implement Selection #41

Open

3 tasks

dethe opened this issue Sep 2, 2021 · 0 comments

Assignees

Labels

ui

Milestone

Owner

dethe commented Sep 2, 2021

Marching ants for selection box while dragging
Highlight selected lines to be visible
Do we select whole lines or partial lines? Which is less confusing? Whole lines definitely easier to implement, start with that for now.

dethe added the ui label

dethe added this to the Selection milestone

dethe mentioned this issue

Closed

5 tasks

dethe self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment