view move-if-change @ 34844:4756a759c825

(syms_of_xdisp): Doc fix. (redisplay_window): Remove label restore_buffers; use finish_scroll_bars instead to make sure that scroll bars are redeemed. If we don't do this, flickering can result from scroll bars being destroyed and recreated.

#!/bin/sh
if
test -r $2
then
if
cmp $1 $2 > /dev/null
then
echo $2 is unchanged
rm -f $1
else
mv -f $1 $2
fi
else
mv -f $1 $2
fi