diff man/text.texi @ 43243:44adb09256a5

(display_mode_lines): Use CURRENT_MODE_LINE_FACE_ID_3 to get mode line face.
author Kim F. Storm <storm@cua.dk>
date Mon, 11 Feb 2002 14:43:46 +0000
parents a09c65c0b5e2
children c44f2c24d43c
line wrap: on
line diff