[isabelle-dev] Isabelle/jEdit hangs on exit

[Lars Noschinski]

Hi everyone,

I sometimes managed to hang Isabelle/jEdit by:

  * changing multiple files
  * selecting "quit"
  * in the dialog asking me whether I want to save all files, clicking
    on "Select All" then "Save Selected"

The editor hang for a few minutes, till I killed it with SIGKILL
(SIGTERM didn't suffice). Most recently, this happened with 19e5f5ac7b59.

  -- Lars

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150411/2e39b929/attachment.html>