jedit-announce Mailing List for jEdit

Hello all-

This evening, I have released a batch of 13 plugins to Plugin Central.
This batch was prepared by Slava Pestov and Ollie Rutherfurd and
contains the following 13 plugins, all updated for jEdit 4.2 except 2
(JakartaCommons and LazyImporter).

* BufferList 0.10: updated to jEdit 4.2 API; added open buffer and
  unsaved buffer counts; requires jEdit 4.2pre5 and JDK 1.3

* ErrorList 1.3.1: bug fix release; requires jEdit 4.2pre6 and JDK 1.3

* FTP 0.7.1: updated to SSHTools 0.2.6 beta; bug fixes; requires jEdit
  4.2pre6, JakartaCommons 0.3, and JDK 1.3

* HeadlinePlugin 1.1.1: implemented the deferred loading API for faster
  jEdit startup times; removed the "Hide Description" option which was
  obsolete since 1.1; added new actions to move to the next/previous
  story within a feed; you can now do everything via the keyboard;
  requires jEdit 4.2pre1, InfoViewer 1.0, and JDK 1.4

* JakartaCommons 0.4: added the Jakarta Commons HTTP client library;
  requires jEdit 4.0final and JDK 1.3

* JcrontabPlugin 0.7.2: solves a few bugs and errors of the release 0.7;
  uses the 4.2 API; requires jEdit 4.2pre2 and JDK 1.3

* Jump 0.3.2: fixed memory leaks bug on unload; requires jEdit 4.2pre2,
  ProjectViewer 2.0.1, and JDK 1.3

* LazyImporter 1.03: added new pre/post character ("\t") (some class
  usages were not being found because of this); now works for interfaces
  (only ever worked on classes before; when the "import classes from own
  package" option is chosen (LazyImporter used to import the
  class/interface's own class name); in JDK 1.4.1 onwards the pop-up
  import window would lose focus as soon as it opened due to some
  changes in Java's handling of focusing issues in JDK 1.4.1; requires
  jEdit 4.0final and JDK 1.4

* MoinMoin 0.1: initial Plugin Central release; requires jEdit 4.2pre5,
  XML 0.12, JakartaCommons 0.4, and JDK 1.3

* Navigator 1.0.1: initial Plugin Central release; requires jEdit
  4.2pre1 and JDK 1.4

* SwitchBuffer 1.1.1: updated to jEdit 4.2 API; requires jEdit 4.2pre4
  and JDK 1.3

* XML 0.13: now uses HTML parser from htmlparser.sf.net instead of Swing
  HTML parser (Will Sargent); JHTML completion (Will Sargent); element
  completion code now preserves case when editing HTML; changing a
  catalog from within jEdit now automatically reloads it; updated
  bundled DocBook 4.1.2 DTD to 4.2; bug fixes; requires jEdit 4.2pre6,
  ErrorList 1.3.1, and JDK 1.3

* XmlIndenter 0.2: ported plugin to jEdit 4.2 Plugin API; fixed bug that
  occurred when attributes are separated by line separater characters
  instead of space characters (reported by Kevin Semande); requires
  jEdit 4.2pre3, XML 0.12, and JDK 1.3

-md