diff man/reftex.texi @ 63912:12f374b6c866

(w32_draw_vertical_window_border): Use foreground of VERTICAL_BORDER_FACE_ID for vertical border line.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 02 Jul 2005 09:53:02 +0000
parents 9fc49ac7fb44
children 3723093a21fd b7da78284d4c
line wrap: on
line diff