Mercurial > emacs
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 |
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 |