diff vpath.sed @ 107479:6edb016a3cfc

Fix bug#5620: recalculate all markers on compilation buffer modifications, not on file modifications. (buffer-modtime): New buffer-local variable: the buffer modification time, for buffers not associated with files. (compilation-mode): Create it. (compilation-filter): Update it. (compilation-next-error-function): Use it instead of `visited-file-modtime' for timestamp.
author Sam Steingold <sds@gnu.org>
date Tue, 23 Mar 2010 14:22:46 -0400
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff