[ jEdit-devel ] [ jedit-Bugs-425971 ] Error saving user defined global var

[<no...@so...>]

Bugs item #425971, was updated on 2001-05-21 09:53
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=425971&group_id=588

Category: editor core
Group: severe bug
Status: Open
Resolution: None
Priority: 5
Submitted By: tony bigbee (adeveloper1)
Assigned to: Nobody/Anonymous (nobody)
Summary: Error saving user defined global var

Initial Comment:
Using JDK 1.3.0_02 on Windows 2000 and NT 4 SP5.  Exiting or closing jedit results in the following 
DOS shell output:

[error] Error saving user defined global variables

No other output.  Not surprisingly, preferences in global settings and changed plugin settings are 
not saved after exiting.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=425971&group_id=588