July 1, 2013
10:12 a.m.
Hmm. How exactly am I supposed to reset the UserInterruptHandler? When I experimented, it was enough to just replace the method. Loading the slice in the same image does not have the same effect. So I guess I either need to quit and restart, or do something special to reset. Stephan