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.