Where are global options stored?
Submitted by on Thursday, 5 August, 2004 - 21:12
I would like to be able to save my settings...just in case I have to reinstall jEdit again and I'd rather not have to reconfigure the editor to my liking if I can help it.
Where are the global options stored (directory?) and is it just a file I can copy somewhere else and put back if a reinsstall is done?
Peter
Where are the global options stored (directory?) and is it just a file I can copy somewhere else and put back if a reinsstall is done?
Peter
