diff man/flymake.texi @ 63010:dcd17e7ebcda

(Mode Line Mouse): Mention mode-line-highlight effect.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 04 Jun 2005 18:59:54 +0000
parents 7c70ab62c5d7
children c8b57e4594b8
line wrap: on
line diff