[ jEdit-devel ] [ jedit-Bugs-919966 ] Properties file lost in pre10

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

Bugs item #919966, was opened at 2004-03-20 03:26
Message generated for change (Comment added) made by spestov
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=919966&group_id=588

Category: editor core
Group: severe bug
Status: Closed
Resolution: Fixed
Priority: 5
Submitted By: Justin Dieters (enderak)
Assigned to: Nobody/Anonymous (nobody)
Summary: Properties file lost in pre10

Initial Comment:
The ~/.jedit/properties file is overwritten by an empty
properties file (it includes the header comments, but
nothing else) when jEdit exits in pre10.  I open pre10
once, everything's fine, but then if I close out and go
back in, my properties are reset, and I have to restore
it from settings-backup.. after I restore my settings,
I can repeat the process.

The overwriting appears to occur during exit, and not
during startup or while running jEdit.  I have verified
this problem with Java 1.5.0beta and 1.4.2.

Nothing is mentioned in activity.log that seems to be
related to the problem.

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

>Comment By: Slava Pestov (spestov)
Date: 2004-03-22 21:28

Message:
Logged In: YES 
user_id=2280

sloede, get pre11

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

Comment By: Michael Schlottke (sloede)
Date: 2004-03-22 06:38

Message:
Logged In: YES 
user_id=635951

Nope, it's not only when using an old preferences file. I
deleted my .jedit directory and this bug keeps coming up.

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

Comment By: Seph M. Soliman (scarlac)
Date: 2004-03-20 05:45

Message:
Logged In: YES 
user_id=831311

Platform: PC, OS: Windows, OS Vers.: XP SP1

I am using JRE j2re1.4.1_04 and jedit 4.2 pre 10 made a
first attempt at loading my settings...
I got the same symptoms, however pre10 does not seem to save
my settings correctly. If I download some plugins (amongst
those being buffertabs) and switch buffertabs on by default,
dock my VFS browser and disable the "tipoftheday", restart
jedit - I get a floating VFS browser, no buffertabs in the
bottom (but the plugin is present) and a Help popup and the
tip-of-the-day.

If I look in the properties file, I see 4 lines, instead of
more than 50, which I was expecting to see.

I have tried removing ".jedit" settingsdirectory, and
starting from scratch, but I get the same result.


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

Comment By: Justin Dieters (enderak)
Date: 2004-03-20 03:38

Message:
Logged In: YES 
user_id=569997

Follow-up:
Once properties have been set in pre10, they seem to stick.
 It seems to be only when using a properties file originally
made in a previous version of jEdit that this problem occurs.

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

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