On Tue, 17 Jan 2023 11:44:32 GMT, Vladimir Sitnikov <vsitni...@openjdk.org> wrote:
>> @RogerRiggs Thanks! > > @magicus , have you considered adding `.editorconfig` file (see > https://editorconfig.org/ ) so it configures developers' editors to trim the > whitespace? > > Of course, `.editorconfig` does not enforce the policy, however, it would > make it easier for those who use editors that support `.editorconfig`. For > instance, IntelliJ editors support it by default. @vlsi That is an interesting suggestion. My experience with `.editorconfig` is that it is a bit so-so about getting it to actually describe the coding practices of a project, but it can probably be used for a thing like stripping trailing whitespace. I suggest we continue that discussion in ide-support-...@openjdk.org, to figure out exactly what can be added to an `.editorconfig file`, how it interacts with jcheck rules and test how different IDEs behave. ------------- PR: https://git.openjdk.org/jdk/pull/11491
