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