]> gitweb.factorcode.org Git - factor.git/commitdiff
FUEL: Get rid of the USINGs buffer after we're done.
authorJose A. Ortega Ruiz <jao@gnu.org>
Tue, 30 Dec 2008 23:31:13 +0000 (00:31 +0100)
committerJose A. Ortega Ruiz <jao@gnu.org>
Tue, 30 Dec 2008 23:31:13 +0000 (00:31 +0100)
misc/fuel/fuel-debug-uses.el

index 127e11d23e66eb194e6834cdb1ef2fe5ca0755cb..c5c31c8e7d02561d350c0bf493666c33b7b5c863 100644 (file)
       (with-current-buffer (fuel-debug--uses-buffer)
         (insert "\nDone!")
         (fuel-debug--uses-clean)
-        (bury-buffer)))))
+        (kill-buffer)))))
 
 (defun fuel-debug--uses-restart (n)
   (when (and (> n 0) (<= n (length fuel-debug--uses-restarts)))