(Frecenter): Use displayed_window_lines instead
authorGerd Moellmann <gerd@gnu.org>
Wed, 27 Dec 2000 15:46:54 +0000 (15:46 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 27 Dec 2000 15:46:54 +0000 (15:46 +0000)
commit12c8b416beffe0194fe5c06f07685d6676bbf811
treec2a5949f035c3460a2177240ca807a37c8a09447
parent6061fbf05a7391c37ed70c478642b1577402d3f5
(Frecenter): Use displayed_window_lines instead
of window_internal_height.
src/ChangeLog
src/window.c