History | Log In     View a printable version of the current page.  
Issue Details (XML | Word | Printable)

Key: IDEA-16254
Type: New Feature New Feature
Status: Open Open
Assignee: Anna Kozlova
Reporter: Patrick Wright
Votes: 0
Watchers: 0
Operations

If you were logged in you would be able to see more operations.
IDEA: Feedback

Allow option to pull down plugin source when installing or updating plugin

Created: 08 Nov 07 18:01   Updated: 08 Nov 07 18:04
Component/s: Plugin Support. Architecture

Environment: Any

Build: 7,531


 Description  « Hide
jEdit has a good feature where, when installing plugins, you can check a box to pull down the plugin source as well.

This facilitates bug-fixing (for those interested) as well as code sharing.

The option would be on the plugin install page. In jEdit this is a global option (I think), not per-install or update.

The goal would be to encourage development, bug-fixing, etc. among the plugin users. For example, it would make it easier to find the source of an exception if the plugin had not been updated when the plugin API had changed.



 All   Comments   Work Log   Change History      Sort Order:
There are no comments yet on this issue.