(redisplay, echo_area_display): Use redraw_garbaged_frames.
authorRichard M. Stallman <rms@gnu.org>
Sun, 6 Jun 1993 06:46:06 +0000 (06:46 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 6 Jun 1993 06:46:06 +0000 (06:46 +0000)
commit02a9b6e456a5ab26b94f957ad5aaa99ff1863842
treec32461e95949732769c7b71b512215faab59ab5e
parent2732bdbbbfca21280f00fb9344323c152b138885
(redisplay, echo_area_display): Use redraw_garbaged_frames.
src/xdisp.c