- Improved redraw_echo().