diff man/ada-mode.texi @ 37270:9bf32a648127

(window_internal_height): Return 1 less if the window has a header line.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 09 Apr 2001 12:35:37 +0000
parents 45500c80145f
children aa94142b7f02
line wrap: on
line diff