annotate etc/ms-kermit @ 35926:d2997845573f

(hi-lock-mode): Toggling hi-lock-mode now affects all buffers. When hi-lock turned on rather than only checking current buffer for regexps, all buffers are checked. Moved activation of font-lock to hi-lock-refontify. When font-lock turned off rather than removing added highlighting just in current buffer, remove it in all buffers. Changed edit menu text from "Automatic Highlighting" to "Regexp Highlighting" Documentation for highlighting phrases, minor documentation changes. (hi-lock-set-file-patterns): Execute only if there are new or existing file patterns. (hi-lock-refontify): Assume font-lock-fontify-buffer will first unfontify and, if a support mode is active, will not refontify the whole buffer. If necessary, turn on font lock. (Removed font-lock-unfontify and font-lock support-mode-specific calls, such as lazy-lock-fontify-window.) (hi-lock-find-patterns): Do not turn on hi-lock-mode even if patterns are found. Not useful now since find-file-hook is removed if hi-lock is off, but may be needed for per-buffer hi-lock activation. (hi-lock-face-phrase-buffer): New function. Also added related menu item and keybinding. (highlight-phrase): New alias, to hi-lock-face-phrase-buffer. (hi-lock-process-phrase): New function. (hi-lock-line-face-buffer): Doc fixes. (hi-lock-face-buffer): Doc fixes. (hi-lock-unface-buffer): Doc fixes.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 06 Feb 2001 15:43:37 +0000
parents e96ffe544684
children 695cf19ef79e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25853
Dave Love <fx@gnu.org>
parents:
diff changeset
1 ;;; This file is designed for an 8-bit connection.
Dave Love <fx@gnu.org>
parents:
diff changeset
2 ;;; Use the file ms-7bkermit if you have a 7-bit connection.
Dave Love <fx@gnu.org>
parents:
diff changeset
3
Dave Love <fx@gnu.org>
parents:
diff changeset
4 ;; Meta key mappings for EMACS
Dave Love <fx@gnu.org>
parents:
diff changeset
5 ;; By Robert Earl (rearl@watnxt3.ucr.edu)
Dave Love <fx@gnu.org>
parents:
diff changeset
6 ;; May 13, 1990
Dave Love <fx@gnu.org>
parents:
diff changeset
7 ;;
Dave Love <fx@gnu.org>
parents:
diff changeset
8 ;; WARNING:
Dave Love <fx@gnu.org>
parents:
diff changeset
9 ;; requires an 8-bit path to host. many dialups and lans won't pass the
Dave Love <fx@gnu.org>
parents:
diff changeset
10 ;; eighth bit by default and may require a special command to turn this
Dave Love <fx@gnu.org>
parents:
diff changeset
11 ;; off. `screen' is known to mask the eighth bit of input as well.
Dave Love <fx@gnu.org>
parents:
diff changeset
12
Dave Love <fx@gnu.org>
parents:
diff changeset
13 set term controls 8-bit
Dave Love <fx@gnu.org>
parents:
diff changeset
14 set translation key off
Dave Love <fx@gnu.org>
parents:
diff changeset
15
Dave Love <fx@gnu.org>
parents:
diff changeset
16 ;; control keys
Dave Love <fx@gnu.org>
parents:
diff changeset
17 set key \3449 \128 ;; m-c-@
Dave Love <fx@gnu.org>
parents:
diff changeset
18 set key \3358 \129 ;; m-c-a
Dave Love <fx@gnu.org>
parents:
diff changeset
19 set key \3376 \130 ;; m-c-b
Dave Love <fx@gnu.org>
parents:
diff changeset
20 set key \3374 \131 ;; m-c-c
Dave Love <fx@gnu.org>
parents:
diff changeset
21 set key \3360 \132 ;; m-c-d
Dave Love <fx@gnu.org>
parents:
diff changeset
22 set key \3346 \133 ;; m-c-e
Dave Love <fx@gnu.org>
parents:
diff changeset
23 set key \3361 \134 ;; m-c-f
Dave Love <fx@gnu.org>
parents:
diff changeset
24 set key \3362 \135 ;; m-c-g
Dave Love <fx@gnu.org>
parents:
diff changeset
25 set key \3342 \136 ;; m-bs
Dave Love <fx@gnu.org>
parents:
diff changeset
26 set key \3363 \136 ;; m-c-h (sends same code as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
27 set key \2469 \137 ;; m-tab
Dave Love <fx@gnu.org>
parents:
diff changeset
28 set key \3351 \137 ;; m-c-i (same as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
29 set key \3364 \138 ;; m-c-j
Dave Love <fx@gnu.org>
parents:
diff changeset
30 set key \3365 \139 ;; m-c-k
Dave Love <fx@gnu.org>
parents:
diff changeset
31 set key \3366 \140 ;; m-c-l
Dave Love <fx@gnu.org>
parents:
diff changeset
32 ;set key \3378 \141 ;; m-c-m
Dave Love <fx@gnu.org>
parents:
diff changeset
33 set key \2332 \141 ;; m-ret (sends same code as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
34 set key \3377 \142 ;; m-c-n
Dave Love <fx@gnu.org>
parents:
diff changeset
35 set key \3352 \143 ;; m-c-o
Dave Love <fx@gnu.org>
parents:
diff changeset
36 set key \3353 \144 ;; m-c-p
Dave Love <fx@gnu.org>
parents:
diff changeset
37 set key \3344 \145 ;; m-c-q
Dave Love <fx@gnu.org>
parents:
diff changeset
38 set key \3347 \146 ;; m-c-r
Dave Love <fx@gnu.org>
parents:
diff changeset
39 set key \3359 \147 ;; m-c-s
Dave Love <fx@gnu.org>
parents:
diff changeset
40 set key \3348 \148 ;; m-c-t
Dave Love <fx@gnu.org>
parents:
diff changeset
41 set key \3350 \149 ;; m-c-u
Dave Love <fx@gnu.org>
parents:
diff changeset
42 set key \3375 \150 ;; m-c-v
Dave Love <fx@gnu.org>
parents:
diff changeset
43 set key \3345 \151 ;; m-c-w
Dave Love <fx@gnu.org>
parents:
diff changeset
44 set key \3373 \152 ;; m-c-x
Dave Love <fx@gnu.org>
parents:
diff changeset
45 set key \3349 \153 ;; m-c-y
Dave Love <fx@gnu.org>
parents:
diff changeset
46 set key \3372 \154 ;; m-c-z
Dave Love <fx@gnu.org>
parents:
diff changeset
47
Dave Love <fx@gnu.org>
parents:
diff changeset
48 ;; misc keys
Dave Love <fx@gnu.org>
parents:
diff changeset
49 ;set key \3354 \155 ;; m-c-[
Dave Love <fx@gnu.org>
parents:
diff changeset
50 set key \2305 \155 ;; m-esc (sends same as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
51 set key \3371 \156 ;; m-c-\
Dave Love <fx@gnu.org>
parents:
diff changeset
52 set key \3355 \157 ;; m-c-]
Dave Love <fx@gnu.org>
parents:
diff changeset
53 set key \3453 \158 ;; m-c-^
Dave Love <fx@gnu.org>
parents:
diff changeset
54 set key \3458 \159 ;; m-c-_
Dave Love <fx@gnu.org>
parents:
diff changeset
55
Dave Love <fx@gnu.org>
parents:
diff changeset
56 ;; \160 is conspicuously missing here--
Dave Love <fx@gnu.org>
parents:
diff changeset
57 ;; alt-spc doesn't generate a distinct scan code...
Dave Love <fx@gnu.org>
parents:
diff changeset
58 ;; neither do shift-spc and ctrl-spc.
Dave Love <fx@gnu.org>
parents:
diff changeset
59 ;; no idea why.
Dave Love <fx@gnu.org>
parents:
diff changeset
60
Dave Love <fx@gnu.org>
parents:
diff changeset
61 set key \2936 \161 ;; m-!
Dave Love <fx@gnu.org>
parents:
diff changeset
62 set key \2856 \162 ;; m-"
Dave Love <fx@gnu.org>
parents:
diff changeset
63 set key \2938 \163 ;; m-#
Dave Love <fx@gnu.org>
parents:
diff changeset
64 set key \2939 \164 ;; m-$
Dave Love <fx@gnu.org>
parents:
diff changeset
65 set key \2940 \165 ;; m-%
Dave Love <fx@gnu.org>
parents:
diff changeset
66 set key \2942 \166 ;; m-&
Dave Love <fx@gnu.org>
parents:
diff changeset
67 set key \2344 \167 ;; m-'
Dave Love <fx@gnu.org>
parents:
diff changeset
68 set key \2944 \168 ;; m-(
Dave Love <fx@gnu.org>
parents:
diff changeset
69 set key \2945 \169 ;; m-)
Dave Love <fx@gnu.org>
parents:
diff changeset
70 set key \2943 \170 ;; m-*
Dave Love <fx@gnu.org>
parents:
diff changeset
71 set key \2947 \171 ;; m-+
Dave Love <fx@gnu.org>
parents:
diff changeset
72 set key \2355 \172 ;; m-,
Dave Love <fx@gnu.org>
parents:
diff changeset
73 set key \2434 \173 ;; m--
Dave Love <fx@gnu.org>
parents:
diff changeset
74 set key \2356 \174 ;; m-.
Dave Love <fx@gnu.org>
parents:
diff changeset
75 set key \2357 \175 ;; m-/
Dave Love <fx@gnu.org>
parents:
diff changeset
76
Dave Love <fx@gnu.org>
parents:
diff changeset
77 ;; number keys
Dave Love <fx@gnu.org>
parents:
diff changeset
78 set key \2433 \176 ;; m-0
Dave Love <fx@gnu.org>
parents:
diff changeset
79 set key \2424 \177 ;; m-1
Dave Love <fx@gnu.org>
parents:
diff changeset
80 set key \2425 \178
Dave Love <fx@gnu.org>
parents:
diff changeset
81 set key \2426 \179
Dave Love <fx@gnu.org>
parents:
diff changeset
82 set key \2427 \180
Dave Love <fx@gnu.org>
parents:
diff changeset
83 set key \2428 \181
Dave Love <fx@gnu.org>
parents:
diff changeset
84 set key \2429 \182
Dave Love <fx@gnu.org>
parents:
diff changeset
85 set key \2430 \183
Dave Love <fx@gnu.org>
parents:
diff changeset
86 set key \2431 \184
Dave Love <fx@gnu.org>
parents:
diff changeset
87 set key \2432 \185 ;; m-9
Dave Love <fx@gnu.org>
parents:
diff changeset
88
Dave Love <fx@gnu.org>
parents:
diff changeset
89 set key \2855 \186 ;; m-:
Dave Love <fx@gnu.org>
parents:
diff changeset
90 set key \2343 \187 ;; m-;
Dave Love <fx@gnu.org>
parents:
diff changeset
91 set key \2867 \188 ;; m-<
Dave Love <fx@gnu.org>
parents:
diff changeset
92 set key \2435 \189 ;; m-=
Dave Love <fx@gnu.org>
parents:
diff changeset
93 set key \2868 \190 ;; m->
Dave Love <fx@gnu.org>
parents:
diff changeset
94 set key \2869 \191 ;; m-?
Dave Love <fx@gnu.org>
parents:
diff changeset
95 set key \2937 \192 ;; m-@
Dave Love <fx@gnu.org>
parents:
diff changeset
96
Dave Love <fx@gnu.org>
parents:
diff changeset
97 ;; shifted A-Z
Dave Love <fx@gnu.org>
parents:
diff changeset
98 set key \2846 \193 ;; m-A
Dave Love <fx@gnu.org>
parents:
diff changeset
99 set key \2864 \194
Dave Love <fx@gnu.org>
parents:
diff changeset
100 set key \2862 \195
Dave Love <fx@gnu.org>
parents:
diff changeset
101 set key \2848 \196
Dave Love <fx@gnu.org>
parents:
diff changeset
102 set key \2834 \197
Dave Love <fx@gnu.org>
parents:
diff changeset
103 set key \2849 \198
Dave Love <fx@gnu.org>
parents:
diff changeset
104 set key \2850 \199
Dave Love <fx@gnu.org>
parents:
diff changeset
105 set key \2851 \200
Dave Love <fx@gnu.org>
parents:
diff changeset
106 set key \2839 \201
Dave Love <fx@gnu.org>
parents:
diff changeset
107 set key \2852 \202
Dave Love <fx@gnu.org>
parents:
diff changeset
108 set key \2853 \203
Dave Love <fx@gnu.org>
parents:
diff changeset
109 set key \2854 \204
Dave Love <fx@gnu.org>
parents:
diff changeset
110 set key \2866 \205
Dave Love <fx@gnu.org>
parents:
diff changeset
111 set key \2865 \206
Dave Love <fx@gnu.org>
parents:
diff changeset
112 set key \2840 \207
Dave Love <fx@gnu.org>
parents:
diff changeset
113 set key \2841 \208
Dave Love <fx@gnu.org>
parents:
diff changeset
114 set key \2832 \209
Dave Love <fx@gnu.org>
parents:
diff changeset
115 set key \2835 \210
Dave Love <fx@gnu.org>
parents:
diff changeset
116 set key \2847 \211
Dave Love <fx@gnu.org>
parents:
diff changeset
117 set key \2836 \212
Dave Love <fx@gnu.org>
parents:
diff changeset
118 set key \2838 \213
Dave Love <fx@gnu.org>
parents:
diff changeset
119 set key \2863 \214
Dave Love <fx@gnu.org>
parents:
diff changeset
120 set key \2833 \215
Dave Love <fx@gnu.org>
parents:
diff changeset
121 set key \2861 \216
Dave Love <fx@gnu.org>
parents:
diff changeset
122 set key \2837 \217
Dave Love <fx@gnu.org>
parents:
diff changeset
123 set key \2860 \218 ;; m-Z
Dave Love <fx@gnu.org>
parents:
diff changeset
124
Dave Love <fx@gnu.org>
parents:
diff changeset
125 set key \2330 \219 ;; m-[
Dave Love <fx@gnu.org>
parents:
diff changeset
126 set key \2347 \220 ;; m-\
Dave Love <fx@gnu.org>
parents:
diff changeset
127 set key \2331 \221 ;; m-]
Dave Love <fx@gnu.org>
parents:
diff changeset
128 set key \2941 \222 ;; m-^
Dave Love <fx@gnu.org>
parents:
diff changeset
129 set key \2946 \223 ;; m-_
Dave Love <fx@gnu.org>
parents:
diff changeset
130 set key \2345 \224 ;; m-`
Dave Love <fx@gnu.org>
parents:
diff changeset
131
Dave Love <fx@gnu.org>
parents:
diff changeset
132 ;; lowercase a-z
Dave Love <fx@gnu.org>
parents:
diff changeset
133 set key \2334 \225 ;; m-a
Dave Love <fx@gnu.org>
parents:
diff changeset
134 set key \2352 \226
Dave Love <fx@gnu.org>
parents:
diff changeset
135 set key \2350 \227
Dave Love <fx@gnu.org>
parents:
diff changeset
136 set key \2336 \228
Dave Love <fx@gnu.org>
parents:
diff changeset
137 set key \2322 \229
Dave Love <fx@gnu.org>
parents:
diff changeset
138 set key \2337 \230
Dave Love <fx@gnu.org>
parents:
diff changeset
139 set key \2338 \231
Dave Love <fx@gnu.org>
parents:
diff changeset
140 set key \2339 \232
Dave Love <fx@gnu.org>
parents:
diff changeset
141 set key \2327 \233
Dave Love <fx@gnu.org>
parents:
diff changeset
142 set key \2340 \234
Dave Love <fx@gnu.org>
parents:
diff changeset
143 set key \2341 \235
Dave Love <fx@gnu.org>
parents:
diff changeset
144 set key \2342 \236
Dave Love <fx@gnu.org>
parents:
diff changeset
145 set key \2354 \237
Dave Love <fx@gnu.org>
parents:
diff changeset
146 set key \2353 \238
Dave Love <fx@gnu.org>
parents:
diff changeset
147 set key \2328 \239
Dave Love <fx@gnu.org>
parents:
diff changeset
148 set key \2329 \240
Dave Love <fx@gnu.org>
parents:
diff changeset
149 set key \2320 \241
Dave Love <fx@gnu.org>
parents:
diff changeset
150 set key \2323 \242
Dave Love <fx@gnu.org>
parents:
diff changeset
151 set key \2335 \243
Dave Love <fx@gnu.org>
parents:
diff changeset
152 set key \2324 \244
Dave Love <fx@gnu.org>
parents:
diff changeset
153 set key \2326 \245
Dave Love <fx@gnu.org>
parents:
diff changeset
154 set key \2351 \246
Dave Love <fx@gnu.org>
parents:
diff changeset
155 set key \2321 \247
Dave Love <fx@gnu.org>
parents:
diff changeset
156 set key \2349 \248
Dave Love <fx@gnu.org>
parents:
diff changeset
157 set key \2325 \249
Dave Love <fx@gnu.org>
parents:
diff changeset
158 set key \2348 \250 ;; m-z
Dave Love <fx@gnu.org>
parents:
diff changeset
159
Dave Love <fx@gnu.org>
parents:
diff changeset
160 ;; more shifted misc. keys
Dave Love <fx@gnu.org>
parents:
diff changeset
161 set key \2842 \251 ;; m-{
Dave Love <fx@gnu.org>
parents:
diff changeset
162 set key \2859 \252 ;; m-|
Dave Love <fx@gnu.org>
parents:
diff changeset
163 set key \2843 \253 ;; m-}
Dave Love <fx@gnu.org>
parents:
diff changeset
164 set key \2857 \254 ;; m-~
Dave Love <fx@gnu.org>
parents:
diff changeset
165 set key \2318 \255 ;; m-del
Dave Love <fx@gnu.org>
parents:
diff changeset
166
Dave Love <fx@gnu.org>
parents:
diff changeset
167