diff configure.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 8542b2b74fab
children a5ce1dbca0cc
line wrap: on
line diff