Thanks for both suggestions. The displayhook trick would be OK if there was a way to retrieve what _would_ have been printed last if the display had not been changed: something like a modified '_'. As it stands, it's a bit radical.
-- O.L. _______________________________________________ Tutor maillist - [email protected] http://mail.python.org/mailman/listinfo/tutor
