Safe Term Mouse. Puts point on smallest term containing the mouse-cursor. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html