-
-
Notifications
You must be signed in to change notification settings - Fork 37
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
should code blocks be executed after pretty print? #177
Labels
Comments
no-stack-dub-sack
changed the title
should code blocks be executed after refmt?
should code blocks be executed after pretty print?
Sep 5, 2018
This is a really interesting point. I want to execute the code after pretty print to avoid layout thrashing. Also, you can't pretty print code with syntax error anyway. |
I agree with the @no-stack-dub-sack's proposal , and also I would like it was possible to pp only one one block, for example the one with the active editing and having a button for the total pp. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
sometimes in working in a code block, it's nice to pretty print your code, but if you're still working on something, code execution might not always be desirable. With code execution just another shortcut away, I think it might be better to leave that up to the user, and have pretty print be a standalone command with no execution.
Thoughts?
The text was updated successfully, but these errors were encountered: