RFR: 8333211: NMT Reports: replace manual indentation handling with auto indent [v2]

[Thomas Stuefe]

On Tue, 4 Jun 2024 11:14:51 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote:

>> Thomas Stuefe has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains three additional commits since the last revision:
>> 
>>  - restore indentation() accessor
>>  - Merge branch 'master' into nmt-reporting-better-indentation
>>  - NMT reporting, better indentation
>
> Nice!
> 
> Maybe keep `indentation`/`set_indentation`, they can be removed in a separate PR. Let's us to not have to wait on the PR that David mentioned.

Thanks @jdksjolen ! I restored the indentation accessors.

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

PR Comment: https://git.openjdk.org/jdk/pull/19461#issuecomment-2147325157