[ jEdit-users ] Thanks and a suggestion for version 4

[<Chr...@st...>]

Hi all
=20
I recently posted a question about problems getting jEdit to load after
a crash, and received plenty of replies -- the answer was deleting the
contents of the user settings directory -- which worked a treat --
thanks everyone!
=20
My suggestion for jEdit version 4 is that on startup of jEdit, a check
is performed to make sure jEdit will load (a very simple test might be
the startup progress bar window checking to see if it has been sitting
around for "too long"). If there is a problem, the user would be asked
if they want to fix the problem -- I'm a user and not a developer of
jEdit, but I'd have thought this would be reasonably easy to implement.
=20
Take a look at the Opera 6 browser for something similar: if it =
crashes,
upon reloading it asks the user if they want to carry on browsing from
where the crash happened.
=20
Anyway, thanks for the help and I'm looking forward to version 4.
=20
Chris