-
-
Notifications
You must be signed in to change notification settings - Fork 108
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.
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
Fast current_indent (resolves #649) #726
Conversation
6eaeedb
to
fb94974
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Current indent should also support show_start
and show_end
.
And you need to add priority
that decides if scope or current indent is displayed if they are in the same place.
This should be fixed now. (Please let me know if it not.) I used |
I have added |
I don't quite understand the need for |
The information in
|
👍 yeah that's what I mean. Let's just use |
Since I only actually really need the last indent column and the number of indents I have made a helper function to return these given a whitespace table now. |
Since the other pull request is almost ready, I will close this one. |
Continued in #743 (adding a ref here because they were not linked). Thanks @Danielkonge for the great work. |
Here is a cleaned up version of my implementation of
current_indent
that doesn't contain other features.This pull request will resolve #649.