[MLton-commit] r5333

[Vesa Karvonen]

Save excursions to avoid interfering with interactive commands
(e.g. query-replace).

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/def-use-mode.el

----------------------------------------------------------------------

Modified: mlton/trunk/ide/emacs/def-use-mode.el
===================================================================
--- mlton/trunk/ide/emacs/def-use-mode.el	2007-02-26 09:42:38 UTC (rev 5332)
+++ mlton/trunk/ide/emacs/def-use-mode.el	2007-02-26 12:25:23 UTC (rev 5333)
@@ -462,7 +462,9 @@
 
 (defun def-use-highlight-current ()
   "Highlights the symbol at the point."
-  (def-use-highlight-sym (def-use-current-sym)))
+  (save-excursion
+    (save-window-excursion
+      (def-use-highlight-sym (def-use-current-sym)))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Highlighting timer