Re: [ jEdit-users ] Whats happened to JEdit 4.1 plugins?

[Slava P. <sl...@je...>]

Hi,

In jEdit 4.1 you can force use of a specific mirror. Just look up its ID
in http://plugins.jedit.org/export/mirror_list.php, then evaluate this
BeanShell code:

jEdit.setProperty("plugin-manager.url,
	"http://plugins.jedit.org/export/gzip_plugin_manager.php?mirror="
	+ <id of mirror>);

In jEdit 4.2 there is an option pane for this.
On Wed, Jul 30, 2003 at 10:03:36PM +0100, Andy Scott wrote:
> Hi,
> My first post, so pls don't flame if this has already
> been answered.
> Started using JEdit 4.1 a couple of days ago and
> cannot use the plug-in manager to download plugins
> from sourceforge.
> Is there another way/mirror to download from rather
> than have to download them all manually.
> I know the latest version allows changing mirrors, but
> I need ProjectViewer and it doesn't work with that
> version.
> 
> Pls help,
> Andy
> :)
> 
> ________________________________________________________________________
> Want to chat instantly with your online friends?  Get the FREE Yahoo!
> Messenger http://uk.messenger.yahoo.com/
> 
> 
> -------------------------------------------------------
> This SF.Net email sponsored by: Free pre-built ASP.NET sites including
> Data Reports, E-commerce, Portals, and Forums are available now.
> Download today and enter to win an XBOX or Visual Studio .NET.
> http://aspnet.click-url.com/go/psa00100003ave/direct;at.aspnet_072303_01/01
> -- 
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users

-- 
Slava Pestov