Menu

#10 Do a JEdit Plugin

PMD-0.4
closed
nobody
5
2012-10-07
2002-07-03
No

See some notes I put in a forum post

Discussion

  • Tom Copeland

    Tom Copeland - 2002-07-03

    Logged In: YES
    user_id=5159

    OK, I've done a basic JEdit plug in. So how are we going to
    put this in our repository? David suggested:

    src/java
    src/dvsl
    src/jedit-plugin
    src/eclipse-plugin
    src/ant
    src/maven

    and so on. That seems to be pretty good... it would let me
    check in all the misc files that are associated with JEdit
    without cluttering up etc/ or docs/ or whatever.

    The drawback is that it would involve a massive directory
    restructuring. Actually, when aided by shell scripts, it might
    not take too long...

     
  • Tom Copeland

    Tom Copeland - 2002-07-03
     
  • Tom Copeland

    Tom Copeland - 2002-07-08

    Logged In: YES
    user_id=5159

    OK, we're going to put the JEdit plugin in a separate module.
    That'll allow us to release it on a separate schedule from
    PMD.

     
  • Tom Copeland

    Tom Copeland - 2002-07-08

    Logged In: YES
    user_id=5159

    I'll mark this as closed since 0.1 of the plugin has been
    released.

     

Log in to post a comment.

MongoDB Logo MongoDB