Re: TextTools Plugin

Are you behind a firewall?  I have problems with this at my workplace for
that reason.

On Fri, Apr 9, 2021 at 5:07 AM michaelof--- via jEdit-users <
[email protected]> wrote:

> 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
>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>


-- 
Eric Ladner

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users