view move-if-change @ 43201:b3c0fc949524

(window_box_height): Use CURRENT_MODE_LINE_FACE_ID. (pos_visible_p, handle_face_prop): Likewise. (display_mode_lines): Likewise, but for the real selected window. (init_iterator) [row == NULL]: Handle MODE_LINE_INACTIVE_FACE_ID.

#!/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