Question about updating jedit plugin
Submitted by Wednesday, 16 February, 2005 - 10:44
on
I have installed the Docker plugin v0.2, and after that I found that in the update tab of the plugin manager have a new version of docker v0.3, but after choosing to update it and restart jedit, in the manage tab docker is still 0.2. How to update it? On the otherhand why with new verion of docker aviable in the install tab we cannot directly choose the new version?
thanks
thanks