comparison lib-src/COPYING @ 73104:a90c9318cca9

(compilation-goto-locus-delete-o): New fn. (compilation-goto-locus): Use compilation-goto-locus-delete-o to delete the overlay. Put it on pre-command-hook.
author Richard M. Stallman <rms@gnu.org>
date Sun, 24 Sep 2006 20:42:08 +0000
parents 6aa0743375c1
children ab447da32127
comparison
equal deleted inserted replaced
73103:76400a9b9e59 73104:a90c9318cca9