diff doc/misc/makefile.w32-in @ 87931:9f4909ced989

Handle dead buffers in async filters/sentinels. (vc-process-filter): Do nothing if buffer not live. (vc-diff-finish): Rename from vc-diff-sentinel. No longer take REV1-NAME and REV2-NAME. Instead, take BUFFER-NAME. Do nothing if buffer not live. Don't do window resize if no window displays buffer. (vc-diff-internal): Use vc-diff-finish.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Thu, 24 Jan 2008 08:52:38 +0000
parents 5d58981e6690
children 3c4694a0c74e
line wrap: on
line diff