Hi all. I am trying to use jEdit, but can't seem to download
any plugins. I go to Plugin Manager, and select Download
options. I update the mirro and can see lots of servers.
I select the first (plugin central default) and say apply.
In the Update dialogues bottom window, I see a msg saying
"Dowloa
Ant wrote:
> > Vim, it can handle all the things.http://www.vim.org/
>
> I'm not convinced of that quite yet. jEdit's syntax highlighting seems
> more robust (see SocketServer.py in the standard library for an example
> - vim gets the highlighting of the first doc-comment wrong). I've also
> not f
Ant wrote:
> On Nov 9, 6:52 am, "BillJosephson" <[EMAIL PROTECTED]> wrote:
> ...
> > If anyone knows why i can't connect, in info about it would be
> > a big help.
>
> Sounds like the default mirror is down. Go to Utilities -> Global
> Options
