view move-if-change @ 42864:c1af6a7f3dd4

(w32_system_caret_width): Remove. (w32_use_visible_system_caret): New user flag. (syms_of_w32term): DEFVAR_BOOL it. Initialize based on whether Windows reports a screen reader running. (x_update_window_begin): Hide the system caret. (x_update_window_end): Show the system caret. (x_display_and_set_cursor): Don't draw a cursor when w32_use_visible_system_caret is set. Do not adjust width.

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