On a similar topic, the original version of the animation script defined anim_isi_paint but the lines of this verb were consolidated into others, and the definition was removed. What are the possible side effects of this excision?
I imagine that in this case the isigraph is painted often enough to make it irrelevant, but in the general case this verb might be called when J blocks for a while and the isigraph needs repainting, even though its contents haven't necessarily changed? -Dan ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
