annotate lisp/international/iso-transl.el @ 8937:065d01c10c78

(basic-save-buffer-1): If writing temp file fails or a precious file, restore the old visited file modtime.
author Richard M. Stallman <rms@gnu.org>
date Tue, 20 Sep 1994 04:27:40 +0000
parents 4fd40bd394fe
children 2303cb9ce523
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4920
ccca18983144 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 4885
diff changeset
1 ;;; iso-transl.el --- keyboard input definitions for ISO 8859/1.
4884
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
7298
4fd40bd394fe Update copyright.
Karl Heuer <kwzh@gnu.org>
parents: 5926
diff changeset
3 ;; Copyright (C) 1987, 1993, 1994 Free Software Foundation, Inc.
4884
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 ;; Author: Howard Gayle
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Maintainer: FSF
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 ;; Keywords: i18n
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 ;; This file is part of GNU Emacs.
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; the Free Software Foundation; either version 2, or (at your option)
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 ;; any later version.
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; GNU General Public License for more details.
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 ;; You should have received a copy of the GNU General Public License
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; along with GNU Emacs; see the file COPYING. If not, write to
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24
5926
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
25 ;;; Commentary:
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
26
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
27 ;; Loading this package defines two ways of entering the ISO Latin 1 characters
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
28 ;; with codes above 127.
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
29
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
30 ;; One way is to type C-x 8 followed by a special chaacter sequence.
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
31 ;; For example, C-x 8 " A enters an upper-case A-umlaut.
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
32
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
33 ;; The other way is to type the same special sequence
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
34 ;; but hold down Alt for the first character in it.
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
35
4884
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;;; Code:
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37
5926
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
38 (defvar iso-transl-char-map
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
39 '((" " . [160])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
40 ("!" . [161])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
41 ("\"\"" . [168])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
42 ("\"A" . [196])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
43 ("\"E" . [203])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
44 ("\"I" . [207])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
45 ("\"O" . [214])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
46 ("\"U" . [220])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
47 ("\"a" . [228])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
48 ("\"e" . [235])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
49 ("\"i" . [239])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
50 ("\"o" . [246])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
51 ("\"u" . [252])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
52 ("\"y" . [255])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
53 ("''" . [180])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
54 ("'A" . [193])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
55 ("'E" . [201])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
56 ("'I" . [205])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
57 ("'O" . [211])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
58 ("'U" . [218])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
59 ("'Y" . [221])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
60 ("'a" . [225])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
61 ("'e" . [233])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
62 ("'i" . [237])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
63 ("'o" . [243])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
64 ("'u" . [250])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
65 ("'y" . [253])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
66 ("$" . [164])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
67 ("+" . [177])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
68 (",," . [184])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
69 (",C" . [199])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
70 (",c" . [231])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
71 ("-" . [173])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
72 ("." . [183])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
73 ("//" . [247])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
74 ("/O" . [216])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
75 ("/o" . [248])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
76 ("1/2" . [189])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
77 ("1/4" . [188])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
78 ("3/4" . [190])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
79 ("<" . [171])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
80 ("=" . [175])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
81 (">" . [187])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
82 ("?" . [191])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
83 ("A" . [197])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
84 ("E" . [198])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
85 ("C" . [169])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
86 ("D" . [208])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
87 ("L" . [163])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
88 ("P" . [182])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
89 ("R" . [174])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
90 ("S" . [167])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
91 ("T" . [222])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
92 ("Y" . [165])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
93 ("^1" . [185])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
94 ("^2" . [178])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
95 ("^3" . [179])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
96 ("^A" . [194])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
97 ("^E" . [202])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
98 ("^I" . [206])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
99 ("^O" . [212])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
100 ("^U" . [219])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
101 ("^a" . [226])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
102 ("^e" . [234])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
103 ("^i" . [238])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
104 ("^o" . [244])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
105 ("^u" . [251])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
106 ("_a" . [170])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
107 ("_o" . [186])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
108 ("`A" . [192])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
109 ("`E" . [200])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
110 ("`I" . [204])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
111 ("`O" . [210])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
112 ("`U" . [217])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
113 ("`a" . [224])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
114 ("`e" . [232])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
115 ("`i" . [236])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
116 ("`o" . [242])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
117 ("`u" . [249])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
118 ("a" . [229])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
119 ("e" . [230])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
120 ("c" . [162])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
121 ("d" . [240])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
122 ("o" . [176])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
123 ("s" . [223])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
124 ("t" . [254])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
125 ("u" . [181])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
126 ("x" . [215])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
127 ("|" . [166])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
128 ("~A" . [195])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
129 ("~N" . [209])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
130 ("~O" . [213])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
131 ("~a" . [227])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
132 ("~n" . [241])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
133 ("~o" . [245])
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
134 ("~~" . [172]))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
135 "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
136 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
137 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
138 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
139
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
140
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
141 (let ((map (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
142 table)
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
143 (setq table iso-transl-char-map)
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
144 ;;; ;; Create all the prefixes we need.
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
145 ;;; (define-key map "\"" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
146 ;;; (define-key map "'" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
147 ;;; (define-key map "," (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
148 ;;; (define-key map "/" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
149 ;;; (define-key map "1" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
150 ;;; (define-key map "1/" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
151 ;;; (define-key map "3" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
152 ;;; (define-key map "3/" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
153 ;;; (define-key map "A" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
154 ;;; (define-key map "^" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
155 ;;; (define-key map "_" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
156 ;;; (define-key map "`" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
157 ;;; (define-key map "a" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
158 ;;; (define-key map "~" (make-sparse-keymap))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
159
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
160 ;; Enter the individual sequences.
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
161 (setq table iso-transl-char-map)
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
162 (while table
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
163 (define-key map (car (car table)) (cdr (car table)))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
164 (setq table (cdr table)))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
165
4885
fe8090050628 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 4884
diff changeset
166 (or key-translation-map
fe8090050628 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 4884
diff changeset
167 (setq key-translation-map (make-sparse-keymap)))
4920
ccca18983144 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 4885
diff changeset
168 (define-key key-translation-map "\C-x8" map)
5926
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
169
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
170 ;; Enter the individual sequences, this time with Alt as a modifier
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
171 ;; on the first character, instead of with C-x 8 as a prefix.
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
172 (setq table iso-transl-char-map)
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
173 (while table
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
174 (let ((string (vconcat (car (car table)))))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
175 (aset string 0 (+ (aref string 0) 262144))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
176 (define-key key-translation-map string (cdr (car table))))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
177 (setq table (cdr table)))
240d2ad5803c Set up Alt keys as well as C-x 8 prefix.
Richard M. Stallman <rms@gnu.org>
parents: 4920
diff changeset
178
4920
ccca18983144 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 4885
diff changeset
179 (define-key isearch-mode-map "\C-x" nil)
ccca18983144 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 4885
diff changeset
180 (define-key isearch-mode-map [?\C-x t] 'isearch-other-control-char)
ccca18983144 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 4885
diff changeset
181 (define-key isearch-mode-map "\C-x8" nil))
4884
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182
4885
fe8090050628 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 4884
diff changeset
183 (provide 'iso-transl)
4884
8a07e753eff6 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184
4885
fe8090050628 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 4884
diff changeset
185 ;;; iso-transl.el ends here