From: Daniel F. <zd...@no...> - 2004-05-05 05:09:39
|
Thanks a lot Ollie, now it works :-) Daniel Ollie Rutherfurd wrote: > Daniel Fournier wrote: > >> Slava Pestov wrote: >> >>> Oops, sorry folks. >>> >>> You can work around the problem by editing ~/.jedit/properties and >>> removing any lines starting with history=. >> >> >> Having the same error with j2sdk1.4.2_03 for Linux, I had also to remove >> the killring.xml file to have jEdit correctly launching. >> >> **************************************************** >> However, the error comes back when relaunching jEdit. >> **************************************************** > > > Below is a jedit.jar compiled from CVS this morning: > > http://www.rutherfurd.net/tmp/jedit-20040503.jar > > If you replace the 4.2pre12 jedit.jar with this one, you should be all set. > > -Ollie > > > > ------------------------------------------------------- > This SF.Net email is sponsored by: Oracle 10g > Get certified on the hottest thing ever to hit the market... Oracle 10g. > Take an Oracle 10g class now, and we'll give you the exam FREE. > http://ads.osdn.com/?ad_id=3149&alloc_id=8166&op=click |