Mercurial > emacs
annotate etc/nxml/00080-000FF.el @ 100847:883cbe72dc04
(proced-grammar-alist): Refiner can be a list (function help-echo)
instead of a cons pair.
(proced-post-display-hook): New variable.
(proced-tree-depth): Renamed from proced-tree-indent.
(proced-mode): Derive mode from special-mode.
(proced-mode-map): Changed accordingly.
(proced, proced-update): Run proced-post-display-hook.
(proced-do-mark-all): Count processes for which mark has been
updated.
(proced-format): Check for ppid attribute.
(proced-process-attributes): Take time and ctime attribute from
system-process-attributes.
(proced-send-signal): Doc fix. Collect properly the info on
marked processes. Use fit-window-to-buffer instead of
dired-pop-to-buffer.
author | Roland Winkler <Roland.Winkler@physik.uni-erlangen.de> |
---|---|
date | Sat, 03 Jan 2009 12:18:53 +0000 |
parents | 7b7e18df0dbf |
children | ef719132ddfa |
rev | line source |
---|---|
86568
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
1 (nxml-define-char-name-set 'latin-1-supplement |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
2 '(("NO-BREAK SPACE" #x00A0) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
3 ("INVERTED EXCLAMATION MARK" #x00A1) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
4 ("CENT SIGN" #x00A2) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
5 ("POUND SIGN" #x00A3) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
6 ("CURRENCY SIGN" #x00A4) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
7 ("YEN SIGN" #x00A5) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
8 ("BROKEN BAR" #x00A6) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
9 ("SECTION SIGN" #x00A7) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
10 ("DIAERESIS" #x00A8) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
11 ("COPYRIGHT SIGN" #x00A9) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
12 ("FEMININE ORDINAL INDICATOR" #x00AA) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
13 ("LEFT-POINTING DOUBLE ANGLE QUOTATION MARK" #x00AB) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
14 ("NOT SIGN" #x00AC) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
15 ("SOFT HYPHEN" #x00AD) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
16 ("REGISTERED SIGN" #x00AE) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
17 ("MACRON" #x00AF) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
18 ("DEGREE SIGN" #x00B0) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
19 ("PLUS-MINUS SIGN" #x00B1) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
20 ("SUPERSCRIPT TWO" #x00B2) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
21 ("SUPERSCRIPT THREE" #x00B3) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
22 ("ACUTE ACCENT" #x00B4) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
23 ("MICRO SIGN" #x00B5) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
24 ("PILCROW SIGN" #x00B6) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
25 ("MIDDLE DOT" #x00B7) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
26 ("CEDILLA" #x00B8) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
27 ("SUPERSCRIPT ONE" #x00B9) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
28 ("MASCULINE ORDINAL INDICATOR" #x00BA) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
29 ("RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK" #x00BB) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
30 ("VULGAR FRACTION ONE QUARTER" #x00BC) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
31 ("VULGAR FRACTION ONE HALF" #x00BD) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
32 ("VULGAR FRACTION THREE QUARTERS" #x00BE) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
33 ("INVERTED QUESTION MARK" #x00BF) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
34 ("LATIN CAPITAL LETTER A WITH GRAVE" #x00C0) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
35 ("LATIN CAPITAL LETTER A WITH ACUTE" #x00C1) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
36 ("LATIN CAPITAL LETTER A WITH CIRCUMFLEX" #x00C2) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
37 ("LATIN CAPITAL LETTER A WITH TILDE" #x00C3) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
38 ("LATIN CAPITAL LETTER A WITH DIAERESIS" #x00C4) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
39 ("LATIN CAPITAL LETTER A WITH RING ABOVE" #x00C5) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
40 ("LATIN CAPITAL LETTER AE" #x00C6) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
41 ("LATIN CAPITAL LETTER C WITH CEDILLA" #x00C7) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
42 ("LATIN CAPITAL LETTER E WITH GRAVE" #x00C8) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
43 ("LATIN CAPITAL LETTER E WITH ACUTE" #x00C9) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
44 ("LATIN CAPITAL LETTER E WITH CIRCUMFLEX" #x00CA) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
45 ("LATIN CAPITAL LETTER E WITH DIAERESIS" #x00CB) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
46 ("LATIN CAPITAL LETTER I WITH GRAVE" #x00CC) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
47 ("LATIN CAPITAL LETTER I WITH ACUTE" #x00CD) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
48 ("LATIN CAPITAL LETTER I WITH CIRCUMFLEX" #x00CE) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
49 ("LATIN CAPITAL LETTER I WITH DIAERESIS" #x00CF) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
50 ("LATIN CAPITAL LETTER ETH" #x00D0) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
51 ("LATIN CAPITAL LETTER N WITH TILDE" #x00D1) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
52 ("LATIN CAPITAL LETTER O WITH GRAVE" #x00D2) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
53 ("LATIN CAPITAL LETTER O WITH ACUTE" #x00D3) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
54 ("LATIN CAPITAL LETTER O WITH CIRCUMFLEX" #x00D4) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
55 ("LATIN CAPITAL LETTER O WITH TILDE" #x00D5) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
56 ("LATIN CAPITAL LETTER O WITH DIAERESIS" #x00D6) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
57 ("MULTIPLICATION SIGN" #x00D7) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
58 ("LATIN CAPITAL LETTER O WITH STROKE" #x00D8) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
59 ("LATIN CAPITAL LETTER U WITH GRAVE" #x00D9) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
60 ("LATIN CAPITAL LETTER U WITH ACUTE" #x00DA) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
61 ("LATIN CAPITAL LETTER U WITH CIRCUMFLEX" #x00DB) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
62 ("LATIN CAPITAL LETTER U WITH DIAERESIS" #x00DC) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
63 ("LATIN CAPITAL LETTER Y WITH ACUTE" #x00DD) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
64 ("LATIN CAPITAL LETTER THORN" #x00DE) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
65 ("LATIN SMALL LETTER SHARP S" #x00DF) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
66 ("LATIN SMALL LETTER A WITH GRAVE" #x00E0) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
67 ("LATIN SMALL LETTER A WITH ACUTE" #x00E1) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
68 ("LATIN SMALL LETTER A WITH CIRCUMFLEX" #x00E2) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
69 ("LATIN SMALL LETTER A WITH TILDE" #x00E3) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
70 ("LATIN SMALL LETTER A WITH DIAERESIS" #x00E4) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
71 ("LATIN SMALL LETTER A WITH RING ABOVE" #x00E5) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
72 ("LATIN SMALL LETTER AE" #x00E6) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
73 ("LATIN SMALL LETTER C WITH CEDILLA" #x00E7) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
74 ("LATIN SMALL LETTER E WITH GRAVE" #x00E8) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
75 ("LATIN SMALL LETTER E WITH ACUTE" #x00E9) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
76 ("LATIN SMALL LETTER E WITH CIRCUMFLEX" #x00EA) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
77 ("LATIN SMALL LETTER E WITH DIAERESIS" #x00EB) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
78 ("LATIN SMALL LETTER I WITH GRAVE" #x00EC) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
79 ("LATIN SMALL LETTER I WITH ACUTE" #x00ED) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
80 ("LATIN SMALL LETTER I WITH CIRCUMFLEX" #x00EE) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
81 ("LATIN SMALL LETTER I WITH DIAERESIS" #x00EF) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
82 ("LATIN SMALL LETTER ETH" #x00F0) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
83 ("LATIN SMALL LETTER N WITH TILDE" #x00F1) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
84 ("LATIN SMALL LETTER O WITH GRAVE" #x00F2) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
85 ("LATIN SMALL LETTER O WITH ACUTE" #x00F3) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
86 ("LATIN SMALL LETTER O WITH CIRCUMFLEX" #x00F4) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
87 ("LATIN SMALL LETTER O WITH TILDE" #x00F5) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
88 ("LATIN SMALL LETTER O WITH DIAERESIS" #x00F6) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
89 ("DIVISION SIGN" #x00F7) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
90 ("LATIN SMALL LETTER O WITH STROKE" #x00F8) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
91 ("LATIN SMALL LETTER U WITH GRAVE" #x00F9) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
92 ("LATIN SMALL LETTER U WITH ACUTE" #x00FA) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
93 ("LATIN SMALL LETTER U WITH CIRCUMFLEX" #x00FB) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
94 ("LATIN SMALL LETTER U WITH DIAERESIS" #x00FC) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
95 ("LATIN SMALL LETTER Y WITH ACUTE" #x00FD) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
96 ("LATIN SMALL LETTER THORN" #x00FE) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
97 ("LATIN SMALL LETTER Y WITH DIAERESIS" #x00FF) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
98 )) |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
99 |
7b7e18df0dbf
Move here from lisp/nxml/char-name/unicode
Glenn Morris <rgm@gnu.org>
parents:
diff
changeset
|
100 ;; arch-tag: f7ca0f06-9eb7-4b7a-b014-795af10f23ac |