[ jEdit-users ] A lot of Problems...

[<mar...@be...>]

Hi, 
I deinstalled jedit3.2pre10 and installed jedit3.2. All the settings I had in jeditpre10 are still available in jedit3.2 Where are the informations stored? Is there a way to delete them and start with a "clean" system.
I got following errors (in pre10 as in final):
The ínstall or update option of the pluginmanager doesn't work. I always get the error: An error occured while parsing http://plugins.jedit.org/export/new_plug_in_manager.php, line 1. expected character(found"2")expected("<").

The second error is related with ant. The ant plugin doesn't start anymore. I described the bug in the bug corner.
--
berlin.de - meine stadt im netz. Jetzt eigene eMail-adresse @berlin.de sichern!
http://www.berlin.de/home/MeineStadt/Anmeldung