annotate move-if-change @ 87795:299387a1f305

(custom-reset-standard-variables-list) (custom-reset-standard-faces-list): New variables. (custom-reset-standard-save-and-update): New function. (Custom-save): Apply custom-mark-to-save before and custom-state-set-and-redraw after saving options. (Custom-reset-standard): Apply custom-mark-to-reset-standard to options and call custom-reset-standard-save-and-update. (custom-variable, custom-face, custom-group): Provide new entries for custom-mark-to-save, custom-mark-to-reset-standard, and custom-state-set-and-redraw. (custom-variable-mark-to-save) (custom-variable-state-set-and-redraw) (custom-variable-mark-to-reset-standard) (custom-face-mark-to-save, custom-face-state-set-and-redraw) (custom-face-mark-to-reset-standard) (custom-group-mark-to-save, custom-group-state-set-and-redraw) (custom-group-mark-to-reset-standard): New functions. (custom-variable-save): Move save, state-set, and redraw functionality to custom-variable-mark-to-save. (custom-face-save): Move save, state-set, and redraw functionality to custom-face-mark-to-save. (custom-group-save): Move save, state-set, and redraw functionality to custom-group-mark-to-save. (custom-variable-reset-standard, custom-face-reset-standard) (custom-group-reset-standard): Move save, state-set, and redraw functionality to custom-reset-standard-save-and-update. (custom-buffer-create-internal): Fix text in verbose help. (custom-face-value-create): Indent doc-strings of faces like those of variables.
author Martin Rudalics <rudalics@gmx.at>
date Wed, 16 Jan 2008 16:22:29 +0000
parents 354e0c45cedf
children 14a97ab281d5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25856
Dave Love <fx@gnu.org>
parents:
diff changeset
1 #!/bin/sh
Dave Love <fx@gnu.org>
parents:
diff changeset
2 if
Dave Love <fx@gnu.org>
parents:
diff changeset
3 test -r $2
Dave Love <fx@gnu.org>
parents:
diff changeset
4 then
Dave Love <fx@gnu.org>
parents:
diff changeset
5 if
Dave Love <fx@gnu.org>
parents:
diff changeset
6 cmp $1 $2 > /dev/null
Dave Love <fx@gnu.org>
parents:
diff changeset
7 then
Dave Love <fx@gnu.org>
parents:
diff changeset
8 echo $2 is unchanged
Dave Love <fx@gnu.org>
parents:
diff changeset
9 rm -f $1
Dave Love <fx@gnu.org>
parents:
diff changeset
10 else
Dave Love <fx@gnu.org>
parents:
diff changeset
11 mv -f $1 $2
Dave Love <fx@gnu.org>
parents:
diff changeset
12 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
13 else
Dave Love <fx@gnu.org>
parents:
diff changeset
14 mv -f $1 $2
Dave Love <fx@gnu.org>
parents:
diff changeset
15 fi