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

Bad Indentation with match ... end #248

Open
permui opened this issue Aug 24, 2021 · 1 comment
Open

Bad Indentation with match ... end #248

permui opened this issue Aug 24, 2021 · 1 comment
Labels
bug Something isn't working prio:high
Milestone
Road map star issues

Comments

@permui
Copy link

permui commented Aug 24, 2021 •
edited
Loading

Expected Behavior: The end should be aligned with the pairing match after input.
Actual Behavior: end goes to the outmost indentation.
Illustration:
2021-08-24-11-16-03
This is quite annoying and I could not find any settings related to this.
Hoping a fix. Thanks very much.
@rtetley
Copy link
Collaborator

rtetley commented Jan 17, 2025

Related to #247 and #158

@rtetley rtetley added the bug Something isn't working label Jan 17, 2025
@rtetley rtetley added this to the Road map star issues milestone Jan 20, 2025
@Durbatuluk1701 Durbatuluk1701 mentioned this issue Jan 28, 2025
Merged
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 prio:high
Projects
None yet
Milestone
Road map star issues
Development

No branches or pull requests
2 participants
@rtetley @permui