Comment 13 for bug 752137

Revision history for this message
Achim (achimtrf-deactivatedaccount) wrote :

D'accord, Eric Appleman! Loaded and installed the update just a few minutes ago. Restartet two times. After that loaded jEdit, changed an option, closes it - and here it is again. If i remember right, it was the same case a few hours ago... But not always reproducable with jEdit. I'll keep this in mind...