I now realize that *desktop* is not a file visiting buffer, so it does not matter if people mess it up. Thus one can indeed just disable undo rather than applying the patch I proposed. But that user visible *desktop* buffer is confusing, especially if the user also has a buffer visiting his desktop-base-file-name, since the two buffers are identical. Is there any reason not to rename "*desktop*" to " *desktop" (with a leading space) and kill it after it is written to disk? Is there any reason to keep this buffer hanging around consuming some memory and being user visible?
But I do not use desktop myself, so maybe I am overlooking something. Sincerely, Luc. _______________________________________________ emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
