My experience (or lack thereof) with ^R, is that it only redraws to remove @ lines; ie, when the terminal is too stupid to close up deleted lines. Otherwise it doesn't redraw. Ron stanonik at nprdc