Re: [ jEdit-users ] plugin update problem

[Stuart B. <stu...@hu...>]

I now see. I did not understand your answer. So I do actually have
0.3 installed but the DockerPlugin.props file has the wrong version
inside it!

So a quick edit should resolve?
Does AntFarm have the same issue? I was getting the same problem with it.

Stuart Barlow wrote:

> But I have 0.2 installed and even after trying to install 0.3 and
> restarting jEdit I still have 0.2 installed and am offered 0.3
> again in the Plugin Manager.
> 
> Slava Pestov wrote:
> 
>> On Wed, 2004-01-14 at 03:55, Stuart Barlow wrote:
>>
>>> Is there a way to get round this problem?
>>
>>
>>
>> What problem? You already have the newest plugin installed. You'll have
>> to wait for the next release until it is gone from the Update Plugins
>> list, though.
> 
> 
> 
> 
> -------------------------------------------------------
> This SF.net email is sponsored by: Perforce Software.
> Perforce is the Fast Software Configuration Management System offering
> advanced branching capabilities and atomic changes on 50+ platforms.
> Free Eval! http://www.perforce.com/perforce/loadprog.html