#53 jEdit plugin: missing .jars property

closed-fixed
t_magicthize
None
5
2002-12-29
2002-12-28
Slava Pestov
No

In addition to .name, .version and .author properties,
you should also define a .jars property listing all
additional jar files apart from GruntspudPlugin.jar.
Otherwise removing the plugin using the plugin manager
removes GruntspudPlugin.jar only, not any of the other
JAR files.

Discussion

  • t_magicthize
    t_magicthize
    2002-12-29

    Logged In: YES
    user_id=553482

    Thanks for that, will be included in next release.

     
  • t_magicthize
    t_magicthize
    2002-12-29

    • assigned_to: nobody --> t_magicthize
    • status: open --> open-accepted
     
  • t_magicthize
    t_magicthize
    2002-12-29

    • status: open-accepted --> closed-fixed