[MLton-commit] r5117

Vesa Karvonen vesak at mlton.org
Sat Feb 3 12:26:31 PST 2007


Disable undo in generated buffers.

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

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

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

Modified: mlton/trunk/ide/emacs/def-use-data.el
===================================================================
--- mlton/trunk/ide/emacs/def-use-data.el	2007-02-03 20:16:16 UTC (rev 5116)
+++ mlton/trunk/ide/emacs/def-use-data.el	2007-02-03 20:26:21 UTC (rev 5117)
@@ -87,6 +87,7 @@
   (interactive)
   (let ((buffer (get-buffer-create "<:Def-Use Sources:>")))
     (with-current-buffer buffer
+      (buffer-disable-undo)
       (setq buffer-read-only t)
       (def-use-dus-mode))
     (switch-to-buffer buffer))

Modified: mlton/trunk/ide/emacs/def-use-mode.el
===================================================================
--- mlton/trunk/ide/emacs/def-use-mode.el	2007-02-03 20:16:16 UTC (rev 5116)
+++ mlton/trunk/ide/emacs/def-use-mode.el	2007-02-03 20:26:21 UTC (rev 5117)
@@ -220,6 +220,7 @@
       (let* ((buffer (generate-new-buffer
                       (concat "<" (def-use-format-sym-title sym) ">"))))
         (set-buffer buffer)
+        (buffer-disable-undo)
         (insert (def-use-format-sym sym) "\n"
                 "\n")
         (let* ((refs (def-use-all-refs-sorted sym))




More information about the MLton-commit mailing list