# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 798848459 0
# Node ID 56399c411b8b25ee66b25a77cd3a9a61196a220d
# Parent  d90395d3b0ad071dcfbbc7177fab3348c86ff2ed
(double-mode): Use force-mode-line-update.

diff -r d90395d3b0ad -r 56399c411b8b lisp/double.el
--- a/lisp/double.el	Tue Apr 25 22:20:30 1995 +0000
+++ b/lisp/double.el	Tue Apr 25 22:20:59 1995 +0000
@@ -174,8 +174,8 @@
   "Toggle Double mode.
 With prefix arg, turn Double mode on iff arg is positive.
 
-When Double mode is on, some keys will insert will insert different
-strings when pressed twice.  See variable `double-map' for details."
+When Double mode is on, some keys will insert different strings
+when pressed twice.  See variable `double-map' for details."
   (interactive "P")
   (if (or (and (null arg) double-mode)
 	  (<= (prefix-numeric-value arg) 0))
@@ -185,13 +185,13 @@
 	    (let ((double-map))
 	      (double-setup))
 	    (setq double-mode nil)
-	    (set-buffer-modified-p (buffer-modified-p))))
+	    (force-mode-line-update)))
     ;;Turn it on
     (if double-mode
 	()
       (double-setup)
       (setq double-mode t)
-      (set-buffer-modified-p (buffer-modified-p)))))
+      (force-mode-line-update))))
 
 (provide 'double)