view move-if-change @ 81428:fd3f2f0bf986

* wid-edit.el (widget-default-create): Move ?h handling here... (widget-default-format-handler): ...from here. (widget-docstring, widget-add-documentation-string-button): New funs. (documentation-string): Add :visibility-widget property. (widget-documentation-string-value-create): Use it. * cus-edit.el (custom-split-regexp-maybe): Simplify. (custom-buffer-create-internal): Simplify message. (custom-variable-tag): Reduce height to normal. (custom-variable-value-create, custom-face-value-create) (custom-visibility): New widget. (custom-visibility): New face. (custom-group-value-create): Call widget-add-documentation-string-button, using `custom-visibility'.

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