[bug #67871] Multiple files changed leads to hanging of gui while asking if to reload changed files

Please use the bug tracker to post updates to a bug report.  The mailing list is intended as a read-only notification stream.  Info posted to this mailing list address won't appear in the tracker database where it is most useful.

Follow-up Comment #19, bug #67871 (group octave):

@Torsten: Can this bug be closed now?  You fixed the one issue that was
reproducible.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?67871>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQQk97aszIMMAvLLwm6qLAuaBUf3TgUCaYcdnwAKCRCqLAuaBUf3
TvaxAP9KEljqkaI+AVQio5CDg+ZvkcBdNcp6ZsKa0Q/AGWO/bAEAkc/Edj0raTmH
6GC2cwqrRAT16XZj03PrFVUEqHmBuQg=
=QZCs
-----END PGP SIGNATURE-----