Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Neil Cerutti
On 2006-11-09, Anders Arnholm <[EMAIL PROTECTED]> wrote: > Ant <[EMAIL PROTECTED]> skriver: >>> 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 examp

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Ant
On Nov 9, 3:27 pm, John Salerno <[EMAIL PROTECTED]> wrote: > Ant wrote: > > I do use vim more than Python these daysWhat does that mean? Are you > > referring to all the setup involved with vim? Whoops! I mean I use vim more than jEdit these days! -- http://mail.python.org/mailman/listinfo/py

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Ant
> May I ask another quetion? I don't want to mess with lots of plugins > at this point. What are the minimum plugins to get a typical looking > IDE with a code window and output window and that lets me set > breakpoints and step through code? The Console plugin is a must (I think it depends on th

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Anders Arnholm
Ant <[EMAIL PROTECTED]> skriver: >> 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

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread BillJosephson
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 -> Plugin Manager and click on "Update mirror list". C

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread John Salerno
Ant wrote: > I do use vim more than Python these days What does that mean? Are you referring to all the setup involved with vim? -- http://mail.python.org/mailman/listinfo/python-list

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread BillJosephson
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

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Ant
On Nov 9, 2:11 pm, Neil Cerutti <[EMAIL PROTECTED]> wrote: ... > """ never are. Then I changed the synchronize declarations in > /syntax/python.vim to the following: > > syn sync match pythonSync grouphere NONE '"""$' > syn sync maxlines=300 > > The above is no good for random Python code, th

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Neil Cerutti
On 2006-11-09, Ant <[EMAIL PROTECTED]> 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 do

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Ant
> 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 found anything like jEdi

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Ant
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 -> Plugin Manager and click on "Update mirror list". Choose a new mirror and

Re: Can not download plugins for jEdit (help!!)

2006-11-09 Thread Lich_Ray
jEdit Vim, it can handle all the things. http://www.vim.org/ -- http://mail.python.org/mailman/listinfo/python-list

Can not download plugins for jEdit (help!!)

2006-11-08 Thread BillJosephson
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