diff man/reftex.texi @ 36127:f03dfbb443ce

(coordinates_in_window): Increase width of area where the vertical line can be dragged.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 16 Feb 2001 14:56:44 +0000
parents 6679ef9b33fe
children c7c99d08c223
line wrap: on
line diff