[MLton-commit] r4019

[Vesa Karvonen]

Wrapped shell-command inside save-window-excursion to avoid annoying
window changes during loading.

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

U   mlton/trunk/ide/emacs/esml-mlb-mode.el

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

Modified: mlton/trunk/ide/emacs/esml-mlb-mode.el
===================================================================
--- mlton/trunk/ide/emacs/esml-mlb-mode.el	2005-08-21 02:03:48 UTC (rev 4018)
+++ mlton/trunk/ide/emacs/esml-mlb-mode.el	2005-08-21 17:50:05 UTC (rev 4019)
@@ -164,10 +164,11 @@
                                     (esml-split-string s "[ \t]*[{}|][ \t]*")))
                                  (esml-split-string
                                   (with-temp-buffer
-                                    (shell-command
-                                     esml-mlb-show-annotations-command
-                                     (current-buffer))
-                                    (buffer-string))
+                                    (save-window-excursion
+                                      (shell-command
+                                       esml-mlb-show-annotations-command
+                                       (current-buffer))
+                                      (buffer-string)))
                                   "[ \t]*\n+[ \t]*"))))
                (function
                 (lambda (a b)