annotate etc/nxml/027F0-027FF.el @ 111676:7b1a21c5033e

Cleanup diff-buffer-with-file. * lisp/vc/diff.el (diff-old-temp-file, diff-new-temp-file): Remove. (diff-sentinel): Get them as arguments instead. (diff-old-file, diff-new-file, diff-extra-args): Remove. (diff-file-local-copy, diff-better-file-name): New funs. (diff-no-select): Rename from diff-into-buffer. Support buffers additionally to files. Move `buf' arg. Don't display buf. Prefer closures to buffer-local variables. (diff): Adjust accordingly. (diff-buffer-with-file): Move from files.el. * lisp/files.el (diff-buffer-with-file): Move to vc/diff.el. (diff-buffer-internal): Remove. (diff-buffer-buffer): Remove. (save-some-buffers-action-alist): Use diff-no-select so as not to guess the buffer name used, and so as not to mess up windows and frames.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 22 Nov 2010 14:22:03 -0500
parents 341bf20efae0
children ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86638
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 (nxml-define-char-name-set 'supplemental-arrows-a
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 '(("UPWARDS QUADRUPLE ARROW" #x27F0)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 ("DOWNWARDS QUADRUPLE ARROW" #x27F1)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 ("ANTICLOCKWISE GAPPED CIRCLE ARROW" #x27F2)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 ("CLOCKWISE GAPPED CIRCLE ARROW" #x27F3)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 ("RIGHT ARROW WITH CIRCLED PLUS" #x27F4)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 ("LONG LEFTWARDS ARROW" #x27F5)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 ("LONG RIGHTWARDS ARROW" #x27F6)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 ("LONG LEFT RIGHT ARROW" #x27F7)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 ("LONG LEFTWARDS DOUBLE ARROW" #x27F8)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 ("LONG RIGHTWARDS DOUBLE ARROW" #x27F9)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 ("LONG LEFT RIGHT DOUBLE ARROW" #x27FA)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 ("LONG LEFTWARDS ARROW FROM BAR" #x27FB)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 ("LONG RIGHTWARDS ARROW FROM BAR" #x27FC)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 ("LONG LEFTWARDS DOUBLE ARROW FROM BAR" #x27FD)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 ("LONG RIGHTWARDS DOUBLE ARROW FROM BAR" #x27FE)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 ("LONG RIGHTWARDS SQUIGGLE ARROW" #x27FF)
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 ))
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19
341bf20efae0 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 ;; arch-tag: 64623112-13d2-4bd6-8768-5508e3a7f8a9