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