[ jEdit-devel ] [ jedit-Plugin Bugs-1460077 ] LatestVersion @ Plugin Central

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

Plugin Bugs item #1460077, was opened at 2006-03-28 17:18
Message generated for change (Comment added) made by vampire0
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1460077&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: 3
Private: No
Submitted By: Björn Kautler (vampire0)
Assigned to: Nobody/Anonymous (nobody)
Summary: LatestVersion @ Plugin Central

Initial Comment:
The LatestVersion Plugin is only shipped with jEdit-
Installer and not available via Plugin Central.
IF someone deinstalls it and then wants it back (that 
definitely occurs) then the only way is to reinstall 
jEdit, get the jar elsewhere or extract the installer-
jar to get the Plugin-jar from there.
That is inconvenient and should be fixed. :-)

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

>Comment By: Björn Kautler (vampire0)
Date: 2007-03-08 23:36

Message:
Logged In: YES 
user_id=918212
Originator: YES

No there aren't, it is just not done yet.

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

Comment By: Robert Schwenn (rschwenn)
Date: 2007-03-06 23:30

Message:
Logged In: YES 
user_id=1486645
Originator: NO

Well, if there where a reason to not do it, the bug could be closed. ;-)

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

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