> I'm using Martin's jEdit launcher & after a crash (I'm currently cursed
> with a very flaky laptop that's due to be replaced soon)
Okay, what happens:
When jedit starts, it creates a file called "server" in the ".jedit" =20
directory. If this file is present, the jedit launcher knows, there is an=
instance of jedit running.
BUT if unfortunately jedit crashes this file isn't deleted and jedit =20
launcher still thinks, jedit is running, but in fact it isn't.
I have patched this issue in a new version, which I will release within =20
the next 3 days.
Workaround at the moment: delete "server" - file in .jedit directory =20
manually! Then use jedit launcher!