We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
json.loads()
Currently the indent is generated from scratch for each depth:
_current_indent_level += 1 newline_indent = '\n' + _indent * _current_indent_level
We can easily re-use the old indent:
newline_indent = old_newline_indent + _indent
This is a minor feature, which does not need previous discussion elsewhere
No response
The text was updated successfully, but these errors were encountered:
Could you show any benchmark results?
Sorry, something went wrong.
See the pull request: #118300 (comment)
Do we close this? Or did you mean I could leave it at concatenation?
No branches or pull requests
Feature or enhancement
Proposal:
Currently the indent is generated from scratch for each depth:
We can easily re-use the old indent:
Has this already been discussed elsewhere?
This is a minor feature, which does not need previous discussion elsewhere
Links to previous discussion of this feature:
No response
Linked PRs
json.loads()
#118300The text was updated successfully, but these errors were encountered: