RFR: 8333775: Small improvement to outputStream auto-indentation mode [v2]
Thomas Stuefe
stuefe at openjdk.org
Mon Jun 10 10:34:50 UTC 2024
> Almost trivial enhancement.
>
> [JDK-8333211](https://bugs.openjdk.org/browse/JDK-8333211) added automatic indentation. Some changes to complement that:
>
> - let outputStream::set_autoindent() return the old value for later restoration
> - add an RAII object to enable autoindent and restore the old state when leaving.
Thomas Stuefe has updated the pull request incrementally with one additional commit since the last revision:
feedback johann
-------------
Changes:
- all: https://git.openjdk.org/jdk/pull/19592/files
- new: https://git.openjdk.org/jdk/pull/19592/files/4d70ec07..9599ebaf
Webrevs:
- full: https://webrevs.openjdk.org/?repo=jdk&pr=19592&range=01
- incr: https://webrevs.openjdk.org/?repo=jdk&pr=19592&range=00-01
Stats: 2 lines in 1 file changed: 2 ins; 0 del; 0 mod
Patch: https://git.openjdk.org/jdk/pull/19592.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/19592/head:pull/19592
PR: https://git.openjdk.org/jdk/pull/19592
More information about the hotspot-dev
mailing list