diff man/widget.texi @ 42762:b656c92e9fc0

(Fkill_all_local_variables): Increment `update_mode_lines' only once.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 15 Jan 2002 07:30:23 +0000
parents 8da84c32ff29
children 661b1aa856cc
line wrap: on
line diff