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

Make Add Rich Comment command go to any existing Rich comment right below #1333

Closed

PEZ opened this issue Oct 12, 2021 · 0 comments

Labels

editing

Collaborator

PEZ commented Oct 12, 2021

When there already is a Rich comment below the current top level form, the command for adding one could instead move the cursor there.

PEZ added the editing label

PEZ mentioned this issue

Jump to any existing Rich comment where we would insert one #1334

Merged

13 tasks

bpringe closed this as completed in

29d12bb

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