Integrated: 8333775: Small improvement to outputStream auto-indentation mode

[Thomas Stuefe]

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.

This pull request has now been integrated.

Changeset: e22fc121
Author:    Thomas Stuefe <stuefe at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/e22fc121aed56dad2eedfdc3a53f2a655c3b200b
Stats:     36 lines in 5 files changed: 21 ins; 8 del; 7 mod

8333775: Small improvement to outputStream auto-indentation mode

Reviewed-by: jsjolen, mbaesken

-------------

PR: https://git.openjdk.org/jdk/pull/19592