diff lispref/tips.texi @ 11583:b481316dd562

(gud-sentinel): Use force-mode-line-update.
author Karl Heuer <kwzh@gnu.org>
date Tue, 25 Apr 1995 22:29:51 +0000
parents 634f36d4b2ae
children e09e51d7c35a
line wrap: on
line diff