Christian, thanks a lot for the pointers, and even better, that snippet of code.
I found waht I was looking for actually (##display-exception exc port) does the job quite nicely. Adding custom display routines to that should be relatively straightforward.
Jonathan Arkell jonnay@jonnay.net