jEdit Community - Resources for users of the jEdit Text Editor
Question about updating jedit plugin
Submitted by Anonymous on Wednesday, 16 February, 2005 - 10:44
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
User login
Browse archives
« May 2025  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   108250
Context Free Art (*.cfdg)   0.31   46071
BBEdit scheme   1.0   18607
JBuilder scheme   .001   18508
ColdFusion scheme   1.0   18041
R Edit Mode - extensive version   0.1   17488
Advanced HTML edit mode   1.0   16222
Matlab Edit Mode   1.0   16086
jEdit XP icons   1.0   15245
XP icons for jEdit   1.1   14309