annotate etc/nxml/02580-0259F.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 9104a1abe763
children ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
86627
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 (nxml-define-char-name-set 'block-elements
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 '(("UPPER HALF BLOCK" #x2580)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 ("LOWER ONE EIGHTH BLOCK" #x2581)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 ("LOWER ONE QUARTER BLOCK" #x2582)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 ("LOWER THREE EIGHTHS BLOCK" #x2583)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 ("LOWER HALF BLOCK" #x2584)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 ("LOWER FIVE EIGHTHS BLOCK" #x2585)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 ("LOWER THREE QUARTERS BLOCK" #x2586)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 ("LOWER SEVEN EIGHTHS BLOCK" #x2587)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 ("FULL BLOCK" #x2588)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 ("LEFT SEVEN EIGHTHS BLOCK" #x2589)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 ("LEFT THREE QUARTERS BLOCK" #x258A)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 ("LEFT FIVE EIGHTHS BLOCK" #x258B)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 ("LEFT HALF BLOCK" #x258C)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 ("LEFT THREE EIGHTHS BLOCK" #x258D)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 ("LEFT ONE QUARTER BLOCK" #x258E)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 ("LEFT ONE EIGHTH BLOCK" #x258F)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 ("RIGHT HALF BLOCK" #x2590)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 ("LIGHT SHADE" #x2591)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 ("MEDIUM SHADE" #x2592)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 ("DARK SHADE" #x2593)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 ("UPPER ONE EIGHTH BLOCK" #x2594)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 ("RIGHT ONE EIGHTH BLOCK" #x2595)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 ("QUADRANT LOWER LEFT" #x2596)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 ("QUADRANT LOWER RIGHT" #x2597)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 ("QUADRANT UPPER LEFT" #x2598)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 ("QUADRANT UPPER LEFT AND LOWER LEFT AND LOWER RIGHT" #x2599)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 ("QUADRANT UPPER LEFT AND LOWER RIGHT" #x259A)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 ("QUADRANT UPPER LEFT AND UPPER RIGHT AND LOWER LEFT" #x259B)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 ("QUADRANT UPPER LEFT AND UPPER RIGHT AND LOWER RIGHT" #x259C)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 ("QUADRANT UPPER RIGHT" #x259D)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 ("QUADRANT UPPER RIGHT AND LOWER LEFT" #x259E)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 ("QUADRANT UPPER RIGHT AND LOWER LEFT AND LOWER RIGHT" #x259F)
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 ))
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35
9104a1abe763 Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 ;; arch-tag: 51c971a7-cd90-42a5-bf18-dd9683bcab41