You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by GitBox <gi...@apache.org> on 2020/04/23 16:56:26 UTC

[GitHub] [tomcat] larsgrefer commented on issue #282: Improve IDE support for IntelliJ IDEA

larsgrefer commented on issue #282:
URL: https://github.com/apache/tomcat/pull/282#issuecomment-618515960


   @michael-o You already have them for IntelliJ IDEA, Eclipse and NetBeans
   
   My idea was not to hide them in `res/ide-support/idea` but to directly put them where they belong.
   
   Putting them in `res/ide-support/idea` has the following disadvantages in my opinion:
   1. After adjusting IDE settings (thus changing the files in .idea) one has to remember to update the copies in `res/ide-support/idea`
   2. Ever new contributor must know that the ant target `ide-intellij` exists and execute it.
   3. Every existing contributor must remember to reexecute the ant target after checking out a revision where the files in `res/ide-support/idea` are different from his(her) local .idea folder


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org



---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org