From: Slava P. <sl...@je...> - 2002-12-11 23:32:54
|
Hi everybody, The jEdit plugin central web site has moved from its old home at Standard Media to SourceForge. The DNS has been updated already so for most people plugins.jedit.org should point to the new location. If your local DNS server for whatever reason hasn't picked up the change yet, you can visit jedit-plugins.sf.net to see the new page. The plugin list is now categorized. Expect jEdit 4.1pre7's plugin manager to support this in the "Install Plugins" dialog box. Slava |