RFR: 8333775: Small improvement to outputStream auto-indentation mode [v2]

Thomas Stuefe stuefe at openjdk.org
Thu Jun 20 13:32:13 UTC 2024


On Thu, 20 Jun 2024 11:36:52 GMT, Inigo Mediavilla Saiz <duke at openjdk.org> wrote:

> @tstuefe I was wondering if you think that it would make sense to include an `auto_indent` field in the `streamIndentor` object, rather than having a `StreamAutoIndentor` ?
> 
> The reason why I'm suggesting that is that I cannot think of a valid case where I'd want to use the `streamIndentor` with `auto_indent` disabled.

IIRC there are existing users of streamIndentor that don't expect automatic indentation.

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

PR Comment: https://git.openjdk.org/jdk/pull/19592#issuecomment-2180696649


More information about the hotspot-dev mailing list