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

Structure editor glitch - backspace is inhibited from removing # #2327

Closed
dustingetz opened this issue Oct 14, 2023 · 1 comment
Closed

Structure editor glitch - backspace is inhibited from removing # #2327

dustingetz opened this issue Oct 14, 2023 · 1 comment
Labels
bug Something isn't working editing structural editor Token Cursor, Lexer, et al

Comments

@dustingetz
Copy link
Contributor

dustingetz commented Oct 14, 2023 •
edited
Loading

expected: backspace to delete #, actual: backspace passes over #

CleanShot.2023-10-14.at.10.38.48.mp4
@PEZ PEZ added bug Something isn't working editing structural editor Token Cursor, Lexer, et al labels Oct 17, 2023
@PEZ
Copy link
Collaborator

PEZ commented Feb 11, 2024

I'm having a look at this. Can minimize it down to:

[#|[]]

(Cursor at |).

That case is clear cut, but when it looks like so:

[#|()]

[#|{}]

Maybe it is better to not delete?

@PEZ PEZ mentioned this issue Feb 12, 2024
Merged
13 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working editing structural editor Token Cursor, Lexer, et al
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@PEZ @dustingetz