On Wed, 12 Jan 2022 14:46:54 GMT, Daniel Jelinski <d...@openjdk.java.net> wrote:

>> Currently the information about using IDEA can only be found on mailing 
>> lists.
>> 
>> Additionally fixed the documentation for Visual Studio; the target 
>> `ide-project` does not exist.
>
> Daniel Jelinski has updated the pull request incrementally with one 
> additional commit since the last revision:
> 
>   Improved wording

> I think you are good to go with your latest set of changes.
> 
> Not sure if you want to refer to the idea.sh -h for additional options 
> (though that does not seem to give you any detail regarding the options)



> > Not sure if you want to refer to the idea.sh -h for additional options
> 
> I'm not sure about that either. These options are usually not required, and 
> the -h output leaves something to be desired. I'd rather keep the current 
> version, and only expand if users start asking.
> 
> /integrate

Works for me.

BTW typically we do the /integrate in a separate comment but it seems to have 
worked her

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

PR: https://git.openjdk.java.net/jdk/pull/7044

Reply via email to