-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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
adds remove-final-line-feed plugin #843
Conversation
Thanks for the PR. It seems like you've included the file I don't know if this was discussed already somewhere, but I find the plugin |
83efc95
to
33d3ffb
Compare
I'd love to see remove-initial-line-feed remove all leading whitespace as well. And, yeah, a simple trim plugin that does both would probably be better, but, remove-initial already existed, so... |
Thanks for contributing @CormacMcCarthy! |
I don't think so. There is only the |
@LeaVerou if you know of such a plugin, please let me know! I'm about to write one for extra indent removal today if I can't find it, because that's the next thing I need. I agree it would totally be better for them all to be the same plugin. If I write one that does extra indent removal, I'll just throw the trim stuff in there as well to consolidate it all down to one. |
@CormacMcCarthy I have just submitted a PR #847 with a general purpose whitespace plugin, that also does extra indent removal, but it needs more testing and I probably have to change the way it gets its global configuration, since that is a new feature to Prism and subject to change. |
Nice, thanks! OK, I'll pull that into my project to help test. I'll comment on #847 with findings. |
As PR #847 was merged, I'm closing this PR. |
Add plugin to remove final blank line.