[ jEdit-users ] TextTools Plugin

[<mic...@ro...>]

Hi all,


first post to this mailing list: thanks to all who made jEdit reality!


Trying to download and install TextTools plugin, as I need to sort text, found this: http://community.jedit.org/?q=node/view/2780

2 questions:

a) whatever "update server" in "download manager" I try, on "install" tab I'm getting a "loading..." forever (no timeout) for probably offline servers or, after filtering and selecting "TextTools" and clicking in "install", an error msg box: "Error downloading plugin, please try different update server" (translated from German). Any hints?

b) tried before subscribing to this list to register for http://community.jedit.org, found no registration link? Found "login" and "request new pw", but no "register new". Closed forum?


Regards,

Michael