On Sat, 24 Jun 2023 06:47:48 GMT, Vladimir Sitnikov <vsitni...@openjdk.org> wrote:
> I've posted the suggetion to add .editorconfig on ide-support-dev, however, > the list does not seem to be active: > https://mail.openjdk.org/pipermail/ide-support-dev/2023-June/000281.html I think that sounds like a reasonable idea. I'm not following that mailing list. I think you can just post a PR with your suggested contents and target build-dev (through the `build` label). I'm not familiar with this kind of file, so an explanation of which IDEs support it would be good to include. ------------- PR Comment: https://git.openjdk.org/jdk/pull/11491#issuecomment-1607073914
