diff man/reftex.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 528310f62c34
children 730f77edf073
line wrap: on
line diff