Menu

#1229 All my settings got lost

severe bug
closed-fixed
nobody
5
2003-07-23
2002-08-02
Anonymous
No

I really have no way of reproducing this error, only to say:

I'm using jEdit 4.1pre2 on Windows2000 on a computer
that only I have access to. I had installed a bunch of
plugins, over time.

Today I started jEdit and ALL my settings where gone,
except jEdit new which files I had open last time I used
it.

All shortcuts, plugin settings, color settings..etc..buhu..

Discussion

  • Slava Pestov

    Slava Pestov - 2002-08-28

    Logged In: YES
    user_id=2280

    This problem might be caused by a plugin opening file
    descriptors without closing them; eventually the system runs
    out of file descriptors, and the settings cannot be saved
    and so are lost.

     
  • Slava Pestov

    Slava Pestov - 2003-07-23
    • status: open --> closed-fixed
     
  • Slava Pestov

    Slava Pestov - 2003-07-23

    Logged In: YES
    user_id=2280

    jEdit 4.2pre4 should no longer lose settings under any
    circumstances. If saving new settings fails, the old
    settings will remain intact.

     

Log in to post a comment.

MongoDB Logo MongoDB