[ jEdit-devel ] [ jedit-Bugs-3292475 ] Plugin Manager: doesn't consider dependencies on install

[SourceForge.net <no...@so...>]

Bugs item #3292475, was opened at 2011-04-24 21:46
Message generated for change (Comment added) made by shlomy
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3292475&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Robert Schwenn (rschwenn)
Assigned to: Nobody/Anonymous (nobody)
Summary: Plugin Manager: doesn't consider dependencies on install

Initial Comment:
jEdit 4.5pre1 daily 2011-04-13:

Install of a plugin with dependency on another plugin fails if the latter isn't installed yet.

Sun Java 1.6.0_24
Win XP SP3


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

>Comment By: Shlomy Reinstein (shlomy)
Date: 2011-04-25 15:34

Message:
When you select a plugin in the Install tab of the plugin manager, it
automatically marks the dependencies as well; can you give an example where
it won't? Can it be that the plugin dependencies are specified correctly in
the props file?

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3292475&group_id=588