-
Leonhard Seidelmann authored
Hooked up the cancel button in the GUI and implemented the cancellation callback of the feedback system. Threads should exit gracefully, although the currently still treat the interruption signal like any ordinary error.
93a78540