diff make-dist @ 12792:937154a9dfbe

(redisplay): Compute mini_frame the same way echo_area_display does.
author Richard M. Stallman <rms@gnu.org>
date Sun, 06 Aug 1995 21:15:09 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff