RFR: 8333775: Small improvement to outputStream auto-indentation mode
Matthias Baesken
mbaesken at openjdk.org
Mon Jun 10 09:52:12 UTC 2024
On Fri, 7 Jun 2024 08:40:22 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote:
> 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.
Marked as reviewed by mbaesken (Reviewer).
-------------
PR Review: https://git.openjdk.org/jdk/pull/19592#pullrequestreview-2107320315
More information about the hotspot-dev
mailing list