Ticket #35 (closed defect: fixed)
Move to new line if any exception occurs
|Reported by:||judah||Owned by:|
Currently if the Settings enable the sigINT handler, then when control-C is pressed we move to the next line.
We should probably allow more exceptions than just that -- for example:
- darcs has its own ctrl-c catcher
- ghc installs its own ctrl-c handler which is easy to use in 6.10
I'm a little wary of handling all exceptions this way, since the cleanup code might cause the exception to be re-thrown.
Either we could:
- Allow any exception to trigger a move past
- Let the programmer set the allowable exceptions in the Settings.