[Geoserver-devel] Sphinx editor

Hi,
since we were discussing Sphinx editing tools on the
GeoTools user list, I wanted to report my last newfound
solution:
JEdit (build in rst highlight) +
project plugin (file management that keeps the
                 current editing file highlighted) +
spellcheck plugin +
console plugin (to run make, svn)

This combo seems to be working good enough for me
(and better than gedit standalone, less hassle to
  setup and the file manager there does not synch
  with the currently open file)

Screenshot attached

Cheers
Andrea

--
Andrea Aime
OpenGeo - http://opengeo.org
Expert service straight from the developers.

(attachments)

jedit.png