On Tue, 17 Jan 2023 11:44:32 GMT, Vladimir Sitnikov <[email protected]> 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 [email protected], 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
