diff make-dist @ 37271:0904e8f4e08a

(try_window_id): When scrolling on a terminal, take the change of window_internal_height into account.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 09 Apr 2001 12:36:11 +0000
parents 1828bb79abd9
children b6c4604a4e90
line wrap: on
line diff