[MLton-commit] r5307

[Vesa Karvonen]

Keep burying the def-use data buffers so that they are least likely to get
in the way.

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

U   mlton/trunk/ide/emacs/esml-du-mlton.el

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

Modified: mlton/trunk/ide/emacs/esml-du-mlton.el
===================================================================
--- mlton/trunk/ide/emacs/esml-du-mlton.el	2007-02-23 14:50:08 UTC (rev 5306)
+++ mlton/trunk/ide/emacs/esml-du-mlton.el	2007-02-25 13:18:37 UTC (rev 5307)
@@ -234,6 +234,7 @@
 non-nil if something was actually read."
   (let ((buffer (esml-du-ctx-buf ctx)))
     (when buffer
+      (bury-buffer buffer)
       (with-current-buffer buffer
         (let ((syms (esml-du-try-to-read-all-symbols-at-ref ref ctx)))
           (when syms