Mercurial > emacs
annotate lisp/international/iso-transl.el @ 59341:6ce9207392bc
(query-replace-lazy-highlight): Doc fix.
These were installed in the previous revision:
(replace-dehighlight): Use lazy-highlight-cleanup.
(query-replace-highlight, query-replace-lazy-highlight)
(query-replace): Definitions moved up.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Tue, 04 Jan 2005 02:27:16 +0000 |
parents | 695cf19ef79e |
children | c36561fe0657 375f2633d815 |
rev | line source |
---|---|
41877 | 1 ;;; iso-transl.el --- keyboard input definitions for ISO 8859-1 -*- coding: iso-8859-1 -*- |
4884 | 2 |
39749 | 3 ;; Copyright (C) 1987, 1993, 1994, 1995, 2001 Free Software Foundation, Inc. |
4884 | 4 |
5 ;; Author: Howard Gayle | |
6 ;; Maintainer: FSF | |
7 ;; Keywords: i18n | |
8 | |
9 ;; This file is part of GNU Emacs. | |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
4884 | 25 |
5926
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
26 ;;; Commentary: |
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
27 |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
28 ;; Loading this package defines three ways of entering the non-ASCII |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
29 ;; printable characters with codes above 127: the prefix C-x 8, or the |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
30 ;; Alt key, or a dead accent key. For example, you can enter uppercase |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
31 ;; A-umlaut as `C-x 8 " A' or `Alt-" A' (if you have an Alt key) or |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
32 ;; `umlaut A' (if you have an umlaut/diaeresis key). |
5926
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
33 |
24802 | 34 ;; C-x 8 is set up to autoload this package, |
35 ;; but Alt keys and dead accent keys are only defined | |
36 ;; once you have loaded the package. It is nontrivial | |
37 ;; to make all of the Alt keys autoload, and it is not clear | |
38 ;; that the dead accent keys SHOULD autoload this package. | |
39 | |
4884 | 40 ;;; Code: |
41 | |
23672 | 42 ;;; Provide some binding for startup: |
43 ;;;###autoload (or key-translation-map (setq key-translation-map (make-sparse-keymap))) | |
23794 | 44 ;;;###autoload (define-key key-translation-map "\C-x8" 'iso-transl-ctl-x-8-map) |
23672 | 45 ;;;###autoload (autoload 'iso-transl-ctl-x-8-map "iso-transl" "Keymap for C-x 8 prefix." t 'keymap) |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
42392
diff
changeset
|
46 |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
47 (defvar iso-transl-dead-key-alist |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
48 '((?\' . mute-acute) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
49 (?\` . mute-grave) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
50 (?\" . mute-diaeresis) |
16142
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
51 (?^ . mute-asciicircum) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
52 (?\~ . mute-asciitilde) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
53 (?\' . dead-acute) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
54 (?\` . dead-grave) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
55 (?\" . dead-diaeresis) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
56 (?^ . dead-asciicircum) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
57 (?\~ . dead-asciitilde) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
58 (?^ . dead-circum) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
59 (?^ . dead-circumflex) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
60 (?\~ . dead-tilde) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
61 ;; Someone reports that these keys don't work if shifted. |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
62 ;; This might fix it--no word yet. |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
63 (?\' . S-dead-acute) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
64 (?\` . S-dead-grave) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
65 (?\" . S-dead-diaeresis) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
66 (?^ . S-dead-asciicircum) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
67 (?\~ . S-dead-asciitilde) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
68 (?^ . S-dead-circum) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
69 (?^ . S-dead-circumflex) |
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
70 (?\~ . S-dead-tilde)) |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
71 "Mapping of ASCII characters to their corresponding dead-key symbols.") |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
72 |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
73 ;; The two-character mnemonics are intended to be available in all languages. |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
74 ;; The ones beginning with `*' have one-character synonyms, but a |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
75 ;; language-specific table might override the short form for its own use. |
24029
71731a549704
Define a "function name" for each translation that isn't ASCII. Use
Richard M. Stallman <rms@gnu.org>
parents:
23794
diff
changeset
|
76 |
5926
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
77 (defvar iso-transl-char-map |
42391
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
78 '(("* " . [? ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
79 (" " . [? ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
80 ("*!" . [?¡]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
81 ("!" . [?¡]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
82 ("\"\"" . [?¨]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
83 ("\"A" . [?Ä]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
84 ("\"E" . [?Ë]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
85 ("\"I" . [?Ï]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
86 ("\"O" . [?Ö]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
87 ("\"U" . [?Ü]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
88 ("\"a" . [?ä]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
89 ("\"e" . [?ë]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
90 ("\"i" . [?ï]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
91 ("\"o" . [?ö]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
92 ("\"s" . [?ß]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
93 ("\"u" . [?ü]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
94 ("\"y" . [?ÿ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
95 ("''" . [?´]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
96 ("'A" . [?Á]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
97 ("'E" . [?É]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
98 ("'I" . [?Í]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
99 ("'O" . [?Ó]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
100 ("'U" . [?Ú]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
101 ("'Y" . [?Ý]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
102 ("'a" . [?á]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
103 ("'e" . [?é]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
104 ("'i" . [?í]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
105 ("'o" . [?ó]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
106 ("'u" . [?ú]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
107 ("'y" . [?ý]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
108 ("*$" . [?¤]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
109 ("$" . [?¤]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
110 ("*+" . [?±]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
111 ("+" . [?±]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
112 (",," . [?¸]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
113 (",C" . [?Ç]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
114 (",c" . [?ç]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
115 ("*-" . [?]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
116 ("-" . [?]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
117 ("*." . [?·]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
118 ("." . [?·]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
119 ("//" . [?÷]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
120 ("/A" . [?Å]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
121 ("/E" . [?Æ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
122 ("/O" . [?Ø]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
123 ("/a" . [?å]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
124 ("/e" . [?æ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
125 ("/o" . [?ø]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
126 ("1/2" . [?½]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
127 ("1/4" . [?¼]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
128 ("3/4" . [?¾]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
129 ("*<" . [?«]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
130 ("<" . [?«]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
131 ("*=" . [?¯]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
132 ("=" . [?¯]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
133 ("*>" . [?»]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
134 (">" . [?»]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
135 ("*?" . [?¿]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
136 ("?" . [?¿]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
137 ("*C" . [?©]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
138 ("C" . [?©]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
139 ("*L" . [?£]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
140 ("L" . [?£]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
141 ("*P" . [?¶]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
142 ("P" . [?¶]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
143 ("*R" . [?®]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
144 ("R" . [?®]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
145 ("*S" . [?§]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
146 ("S" . [?§]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
147 ("*Y" . [?¥]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
148 ("Y" . [?¥]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
149 ("^1" . [?¹]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
150 ("^2" . [?²]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
151 ("^3" . [?³]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
152 ("^A" . [?Â]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
153 ("^E" . [?Ê]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
154 ("^I" . [?Î]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
155 ("^O" . [?Ô]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
156 ("^U" . [?Û]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
157 ("^a" . [?â]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
158 ("^e" . [?ê]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
159 ("^i" . [?î]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
160 ("^o" . [?ô]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
161 ("^u" . [?û]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
162 ("_a" . [?ª]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
163 ("_o" . [?º]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
164 ("`A" . [?À]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
165 ("`E" . [?È]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
166 ("`I" . [?Ì]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
167 ("`O" . [?Ò]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
168 ("`U" . [?Ù]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
169 ("`a" . [?à]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
170 ("`e" . [?è]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
171 ("`i" . [?ì]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
172 ("`o" . [?ò]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
173 ("`u" . [?ù]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
174 ("*c" . [?¢]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
175 ("c" . [?¢]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
176 ("*o" . [?°]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
177 ("o" . [?°]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
178 ("*u" . [?µ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
179 ("u" . [?µ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
180 ("*m" . [?µ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
181 ("m" . [?µ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
182 ("*x" . [?×]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
183 ("x" . [?×]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
184 ("*|" . [?¦]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
185 ("|" . [?¦]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
186 ("~A" . [?Ã]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
187 ("~D" . [?Ð]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
188 ("~N" . [?Ñ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
189 ("~O" . [?Õ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
190 ("~T" . [?Þ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
191 ("~a" . [?ã]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
192 ("~d" . [?ð]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
193 ("~n" . [?ñ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
194 ("~o" . [?õ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
195 ("~t" . [?þ]) |
2a84e0b7ab92
(iso-transl-char-map) Eliminate the
Richard M. Stallman <rms@gnu.org>
parents:
41877
diff
changeset
|
196 ("~~" . [?¬]) |
16175
fadfed208516
(iso-transl-char-map): Add ACCENT SPACE sequences.
Richard M. Stallman <rms@gnu.org>
parents:
16145
diff
changeset
|
197 ("' " . "'") |
fadfed208516
(iso-transl-char-map): Add ACCENT SPACE sequences.
Richard M. Stallman <rms@gnu.org>
parents:
16145
diff
changeset
|
198 ("` " . "`") |
fadfed208516
(iso-transl-char-map): Add ACCENT SPACE sequences.
Richard M. Stallman <rms@gnu.org>
parents:
16145
diff
changeset
|
199 ("\" " . "\"") |
fadfed208516
(iso-transl-char-map): Add ACCENT SPACE sequences.
Richard M. Stallman <rms@gnu.org>
parents:
16145
diff
changeset
|
200 ("^ " . "^") |
fadfed208516
(iso-transl-char-map): Add ACCENT SPACE sequences.
Richard M. Stallman <rms@gnu.org>
parents:
16145
diff
changeset
|
201 ("~ " . "~")) |
5926
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
202 "Alist of character translations for entering ISO characters. |
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
203 Each element has the form (STRING . VECTOR). |
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
204 The sequence STRING of ASCII chars translates into the |
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
205 sequence VECTOR. (VECTOR is normally one character long.)") |
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
206 |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
207 ;; Language-specific translation lists. |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
208 (defvar iso-transl-language-alist |
10600
45bbb119e1a3
(iso-transl-language-alist): Add French & Portuguese.
Karl Heuer <kwzh@gnu.org>
parents:
10535
diff
changeset
|
209 '(("Esperanto" |
41877 | 210 ("C" . [?Æ]) |
211 ("G" . [?Ø]) | |
212 ("H" . [?¦]) | |
213 ("J" . [?¬]) | |
214 ("S" . [?Þ]) | |
215 ("U" . [?Ý]) | |
216 ("c" . [?æ]) | |
217 ("g" . [?ø]) | |
218 ("h" . [?¶]) | |
219 ("j" . [?¼]) | |
220 ("s" . [?þ]) | |
221 ("u" . [?ý])) | |
10600
45bbb119e1a3
(iso-transl-language-alist): Add French & Portuguese.
Karl Heuer <kwzh@gnu.org>
parents:
10535
diff
changeset
|
222 ("French" |
41877 | 223 ("C" . [?Ç]) |
224 ("c" . [?ç])) | |
10600
45bbb119e1a3
(iso-transl-language-alist): Add French & Portuguese.
Karl Heuer <kwzh@gnu.org>
parents:
10535
diff
changeset
|
225 ("German" |
41877 | 226 ("A" . [?Ä]) |
49598
0d8b17d428b5
Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
42392
diff
changeset
|
227 ("O" . [?Ö]) |
41877 | 228 ("U" . [?Ü]) |
229 ("a" . [?ä]) | |
230 ("o" . [?ö]) | |
231 ("s" . [?ß]) | |
232 ("u" . [?ü])) | |
10600
45bbb119e1a3
(iso-transl-language-alist): Add French & Portuguese.
Karl Heuer <kwzh@gnu.org>
parents:
10535
diff
changeset
|
233 ("Portuguese" |
41877 | 234 ("C" . [?Ç]) |
235 ("c" . [?ç])) | |
10600
45bbb119e1a3
(iso-transl-language-alist): Add French & Portuguese.
Karl Heuer <kwzh@gnu.org>
parents:
10535
diff
changeset
|
236 ("Spanish" |
41877 | 237 ("!" . [?¡]) |
238 ("?" . [?¿]) | |
239 ("N" . [?Ñ]) | |
240 ("n" . [?ñ])))) | |
5926
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
241 |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
242 (defvar iso-transl-ctl-x-8-map nil |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
243 "Keymap for C-x 8 prefix.") |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
244 (or iso-transl-ctl-x-8-map |
23794 | 245 (fset 'iso-transl-ctl-x-8-map |
246 (setq iso-transl-ctl-x-8-map (make-sparse-keymap)))) | |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
247 (or key-translation-map |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
248 (setq key-translation-map (make-sparse-keymap))) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
249 (define-key key-translation-map "\C-x8" iso-transl-ctl-x-8-map) |
5926
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
250 |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
251 ;; For each entry in the alist, we'll make up to three ways to generate |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
252 ;; the character in question: the prefix `C-x 8'; the ALT modifier on |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
253 ;; the first key of the sequence; and (if applicable) replacing the first |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
254 ;; key of the sequence with the corresponding dead key. For example, a |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
255 ;; character associated with the string "~n" can be input with `C-x 8 ~ n' |
10600
45bbb119e1a3
(iso-transl-language-alist): Add French & Portuguese.
Karl Heuer <kwzh@gnu.org>
parents:
10535
diff
changeset
|
256 ;; or `Alt-~ n' or `mute-asciitilde n'. |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
257 (defun iso-transl-define-keys (alist) |
16142
e7fb56cda7cc
(iso-transl-dead-key-alist): Add dead-...
Richard M. Stallman <rms@gnu.org>
parents:
14696
diff
changeset
|
258 (while alist |
22842
2398b380208e
(iso-transl-define-keys): Don't test enable-multibyte-characters; use
Richard M. Stallman <rms@gnu.org>
parents:
20859
diff
changeset
|
259 (let ((translated-vec (cdr (car alist)))) |
17792
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
260 (define-key iso-transl-ctl-x-8-map (car (car alist)) translated-vec) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
261 (let ((inchar (aref (car (car alist)) 0)) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
262 (vec (vconcat (car (car alist)))) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
263 (tail iso-transl-dead-key-alist)) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
264 (aset vec 0 (logior (aref vec 0) ?\A-\^@)) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
265 (define-key key-translation-map vec translated-vec) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
266 (define-key isearch-mode-map (vector (aref vec 0)) nil) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
267 (while tail |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
268 (if (eq (car (car tail)) inchar) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
269 (let ((deadvec (copy-sequence vec)) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
270 (deadkey (cdr (car tail)))) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
271 (aset deadvec 0 deadkey) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
272 (define-key isearch-mode-map (vector deadkey) nil) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
273 (define-key key-translation-map deadvec translated-vec))) |
fa666ca256c6
(iso-transl-define-keys):
Richard M. Stallman <rms@gnu.org>
parents:
16175
diff
changeset
|
274 (setq tail (cdr tail))))) |
16145
4f3df9697fe0
(iso-transl-define-keys): Fix paren error in prev change.
Richard M. Stallman <rms@gnu.org>
parents:
16142
diff
changeset
|
275 (setq alist (cdr alist)))) |
5926
240d2ad5803c
Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents:
4920
diff
changeset
|
276 |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
277 (defun iso-transl-set-language (lang) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
278 (interactive (list (let ((completion-ignore-case t)) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
279 (completing-read "Set which language? " |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
280 iso-transl-language-alist nil t)))) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
281 (iso-transl-define-keys (cdr (assoc lang iso-transl-language-alist)))) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
282 |
10523
2303cb9ce523
(iso-transl-char-map): Add elements for mute-acute, etc.
Richard M. Stallman <rms@gnu.org>
parents:
7298
diff
changeset
|
283 |
10535
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
284 ;; The standard mapping comes automatically. You can partially overlay it |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
285 ;; with a language-specific mapping by using `M-x iso-transl-set-language'. |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
286 (iso-transl-define-keys iso-transl-char-map) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
287 |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
288 (define-key isearch-mode-map "\C-x" nil) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
289 (define-key isearch-mode-map [?\C-x t] 'isearch-other-control-char) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
290 (define-key isearch-mode-map "\C-x8" nil) |
042525452755
(iso-transl-dead-key-alist): New var.
Karl Heuer <kwzh@gnu.org>
parents:
10523
diff
changeset
|
291 |
4884 | 292 |
4885
fe8090050628
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
4884
diff
changeset
|
293 (provide 'iso-transl) |
4884 | 294 |
52401 | 295 ;;; arch-tag: 034cfedf-7ebd-461d-bcd0-5c79e6dc0b61 |
4885
fe8090050628
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
4884
diff
changeset
|
296 ;;; iso-transl.el ends here |