annotate etc/ms-kermit @ 107777:13c077500eb3

2010-04-04 John Wiegley <jwiegley@gmail.com> * ido.el (ido-use-virtual-buffers): New variable to indicate whether "virtual buffer" support is enabled for IDO. Essentially it works as follows: Say you are visiting a file and the buffer gets cleaned up by mignight.el. Later, you want to switch to that buffer, but find it's no longer open. With virtual buffers enabled, the buffer name stays in the buffer list (using the ido-virtual face, and always at the end), and if you select it, it opens the file back up again. This allows you to think less about whether recently opened files are still open or not. Most of the time you can quit Emacs, restart, and then switch to a file buffer that was previously open as if it still were. NOTE: This feature has been present in iswitchb for several years now, and I'm porting the same logic to IDO. (ido-virtual): Face used to indicate virtual buffers in the list. (ido-buffer-internal): If a buffer is chosen, and no such buffer exists, but a virtual buffer of that name does (which would be why it was in the list), recreate the buffer by reopening the file. (ido-make-buffer-list): If virtual buffers are being used, call `ido-add-virtual-buffers-to-list' before the make list hook. (ido-virtual-buffers): New variable which contains a copy of the current contents of the `recentf-list', albeit pared down for the sake of speed, and with proper faces applied. (ido-add-virtual-buffers-to-list): Using the `recentf-list', create a list of "virtual buffers" to present to the user in addition to the currently open set. Note that this logic could get rather slow if that list is too large. With the default `recentf-max-saved-items' of 200, there is little speed penalty.
author jwiegley@gmail.com
date Sun, 04 Apr 2010 02:55:19 -0400
parents 7b71baed35d7
children 91bf6e05918b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
76430
7b71baed35d7 Add copyright disclaimer.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
1 ;;; The code here is forced by the interface, and is not subject to
7b71baed35d7 Add copyright disclaimer.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
2 ;;; copyright, constituting the only possible expression of the algorithm
7b71baed35d7 Add copyright disclaimer.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
3 ;;; in this format.
7b71baed35d7 Add copyright disclaimer.
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
4
25853
Dave Love <fx@gnu.org>
parents:
diff changeset
5 ;;; This file is designed for an 8-bit connection.
Dave Love <fx@gnu.org>
parents:
diff changeset
6 ;;; Use the file ms-7bkermit if you have a 7-bit connection.
Dave Love <fx@gnu.org>
parents:
diff changeset
7
Dave Love <fx@gnu.org>
parents:
diff changeset
8 ;; Meta key mappings for EMACS
Dave Love <fx@gnu.org>
parents:
diff changeset
9 ;; By Robert Earl (rearl@watnxt3.ucr.edu)
Dave Love <fx@gnu.org>
parents:
diff changeset
10 ;; May 13, 1990
Dave Love <fx@gnu.org>
parents:
diff changeset
11 ;;
Dave Love <fx@gnu.org>
parents:
diff changeset
12 ;; WARNING:
Dave Love <fx@gnu.org>
parents:
diff changeset
13 ;; requires an 8-bit path to host. many dialups and lans won't pass the
Dave Love <fx@gnu.org>
parents:
diff changeset
14 ;; eighth bit by default and may require a special command to turn this
Dave Love <fx@gnu.org>
parents:
diff changeset
15 ;; off. `screen' is known to mask the eighth bit of input as well.
Dave Love <fx@gnu.org>
parents:
diff changeset
16
Dave Love <fx@gnu.org>
parents:
diff changeset
17 set term controls 8-bit
Dave Love <fx@gnu.org>
parents:
diff changeset
18 set translation key off
Dave Love <fx@gnu.org>
parents:
diff changeset
19
Dave Love <fx@gnu.org>
parents:
diff changeset
20 ;; control keys
Dave Love <fx@gnu.org>
parents:
diff changeset
21 set key \3449 \128 ;; m-c-@
Dave Love <fx@gnu.org>
parents:
diff changeset
22 set key \3358 \129 ;; m-c-a
Dave Love <fx@gnu.org>
parents:
diff changeset
23 set key \3376 \130 ;; m-c-b
Dave Love <fx@gnu.org>
parents:
diff changeset
24 set key \3374 \131 ;; m-c-c
Dave Love <fx@gnu.org>
parents:
diff changeset
25 set key \3360 \132 ;; m-c-d
Dave Love <fx@gnu.org>
parents:
diff changeset
26 set key \3346 \133 ;; m-c-e
Dave Love <fx@gnu.org>
parents:
diff changeset
27 set key \3361 \134 ;; m-c-f
Dave Love <fx@gnu.org>
parents:
diff changeset
28 set key \3362 \135 ;; m-c-g
Dave Love <fx@gnu.org>
parents:
diff changeset
29 set key \3342 \136 ;; m-bs
Dave Love <fx@gnu.org>
parents:
diff changeset
30 set key \3363 \136 ;; m-c-h (sends same code as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
31 set key \2469 \137 ;; m-tab
Dave Love <fx@gnu.org>
parents:
diff changeset
32 set key \3351 \137 ;; m-c-i (same as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
33 set key \3364 \138 ;; m-c-j
Dave Love <fx@gnu.org>
parents:
diff changeset
34 set key \3365 \139 ;; m-c-k
Dave Love <fx@gnu.org>
parents:
diff changeset
35 set key \3366 \140 ;; m-c-l
Dave Love <fx@gnu.org>
parents:
diff changeset
36 ;set key \3378 \141 ;; m-c-m
Dave Love <fx@gnu.org>
parents:
diff changeset
37 set key \2332 \141 ;; m-ret (sends same code as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
38 set key \3377 \142 ;; m-c-n
Dave Love <fx@gnu.org>
parents:
diff changeset
39 set key \3352 \143 ;; m-c-o
Dave Love <fx@gnu.org>
parents:
diff changeset
40 set key \3353 \144 ;; m-c-p
Dave Love <fx@gnu.org>
parents:
diff changeset
41 set key \3344 \145 ;; m-c-q
Dave Love <fx@gnu.org>
parents:
diff changeset
42 set key \3347 \146 ;; m-c-r
Dave Love <fx@gnu.org>
parents:
diff changeset
43 set key \3359 \147 ;; m-c-s
Dave Love <fx@gnu.org>
parents:
diff changeset
44 set key \3348 \148 ;; m-c-t
Dave Love <fx@gnu.org>
parents:
diff changeset
45 set key \3350 \149 ;; m-c-u
Dave Love <fx@gnu.org>
parents:
diff changeset
46 set key \3375 \150 ;; m-c-v
Dave Love <fx@gnu.org>
parents:
diff changeset
47 set key \3345 \151 ;; m-c-w
Dave Love <fx@gnu.org>
parents:
diff changeset
48 set key \3373 \152 ;; m-c-x
Dave Love <fx@gnu.org>
parents:
diff changeset
49 set key \3349 \153 ;; m-c-y
Dave Love <fx@gnu.org>
parents:
diff changeset
50 set key \3372 \154 ;; m-c-z
Dave Love <fx@gnu.org>
parents:
diff changeset
51
Dave Love <fx@gnu.org>
parents:
diff changeset
52 ;; misc keys
Dave Love <fx@gnu.org>
parents:
diff changeset
53 ;set key \3354 \155 ;; m-c-[
Dave Love <fx@gnu.org>
parents:
diff changeset
54 set key \2305 \155 ;; m-esc (sends same as above)
Dave Love <fx@gnu.org>
parents:
diff changeset
55 set key \3371 \156 ;; m-c-\
Dave Love <fx@gnu.org>
parents:
diff changeset
56 set key \3355 \157 ;; m-c-]
Dave Love <fx@gnu.org>
parents:
diff changeset
57 set key \3453 \158 ;; m-c-^
Dave Love <fx@gnu.org>
parents:
diff changeset
58 set key \3458 \159 ;; m-c-_
Dave Love <fx@gnu.org>
parents:
diff changeset
59
Dave Love <fx@gnu.org>
parents:
diff changeset
60 ;; \160 is conspicuously missing here--
Dave Love <fx@gnu.org>
parents:
diff changeset
61 ;; alt-spc doesn't generate a distinct scan code...
Dave Love <fx@gnu.org>
parents:
diff changeset
62 ;; neither do shift-spc and ctrl-spc.
Dave Love <fx@gnu.org>
parents:
diff changeset
63 ;; no idea why.
Dave Love <fx@gnu.org>
parents:
diff changeset
64
Dave Love <fx@gnu.org>
parents:
diff changeset
65 set key \2936 \161 ;; m-!
Dave Love <fx@gnu.org>
parents:
diff changeset
66 set key \2856 \162 ;; m-"
Dave Love <fx@gnu.org>
parents:
diff changeset
67 set key \2938 \163 ;; m-#
Dave Love <fx@gnu.org>
parents:
diff changeset
68 set key \2939 \164 ;; m-$
Dave Love <fx@gnu.org>
parents:
diff changeset
69 set key \2940 \165 ;; m-%
Dave Love <fx@gnu.org>
parents:
diff changeset
70 set key \2942 \166 ;; m-&
Dave Love <fx@gnu.org>
parents:
diff changeset
71 set key \2344 \167 ;; m-'
Dave Love <fx@gnu.org>
parents:
diff changeset
72 set key \2944 \168 ;; m-(
Dave Love <fx@gnu.org>
parents:
diff changeset
73 set key \2945 \169 ;; m-)
Dave Love <fx@gnu.org>
parents:
diff changeset
74 set key \2943 \170 ;; m-*
Dave Love <fx@gnu.org>
parents:
diff changeset
75 set key \2947 \171 ;; m-+
Dave Love <fx@gnu.org>
parents:
diff changeset
76 set key \2355 \172 ;; m-,
Dave Love <fx@gnu.org>
parents:
diff changeset
77 set key \2434 \173 ;; m--
Dave Love <fx@gnu.org>
parents:
diff changeset
78 set key \2356 \174 ;; m-.
Dave Love <fx@gnu.org>
parents:
diff changeset
79 set key \2357 \175 ;; m-/
Dave Love <fx@gnu.org>
parents:
diff changeset
80
Dave Love <fx@gnu.org>
parents:
diff changeset
81 ;; number keys
Dave Love <fx@gnu.org>
parents:
diff changeset
82 set key \2433 \176 ;; m-0
Dave Love <fx@gnu.org>
parents:
diff changeset
83 set key \2424 \177 ;; m-1
Dave Love <fx@gnu.org>
parents:
diff changeset
84 set key \2425 \178
Dave Love <fx@gnu.org>
parents:
diff changeset
85 set key \2426 \179
Dave Love <fx@gnu.org>
parents:
diff changeset
86 set key \2427 \180
Dave Love <fx@gnu.org>
parents:
diff changeset
87 set key \2428 \181
Dave Love <fx@gnu.org>
parents:
diff changeset
88 set key \2429 \182
Dave Love <fx@gnu.org>
parents:
diff changeset
89 set key \2430 \183
Dave Love <fx@gnu.org>
parents:
diff changeset
90 set key \2431 \184
Dave Love <fx@gnu.org>
parents:
diff changeset
91 set key \2432 \185 ;; m-9
Dave Love <fx@gnu.org>
parents:
diff changeset
92
Dave Love <fx@gnu.org>
parents:
diff changeset
93 set key \2855 \186 ;; m-:
Dave Love <fx@gnu.org>
parents:
diff changeset
94 set key \2343 \187 ;; m-;
Dave Love <fx@gnu.org>
parents:
diff changeset
95 set key \2867 \188 ;; m-<
Dave Love <fx@gnu.org>
parents:
diff changeset
96 set key \2435 \189 ;; m-=
Dave Love <fx@gnu.org>
parents:
diff changeset
97 set key \2868 \190 ;; m->
Dave Love <fx@gnu.org>
parents:
diff changeset
98 set key \2869 \191 ;; m-?
Dave Love <fx@gnu.org>
parents:
diff changeset
99 set key \2937 \192 ;; m-@
Dave Love <fx@gnu.org>
parents:
diff changeset
100
Dave Love <fx@gnu.org>
parents:
diff changeset
101 ;; shifted A-Z
Dave Love <fx@gnu.org>
parents:
diff changeset
102 set key \2846 \193 ;; m-A
Dave Love <fx@gnu.org>
parents:
diff changeset
103 set key \2864 \194
Dave Love <fx@gnu.org>
parents:
diff changeset
104 set key \2862 \195
Dave Love <fx@gnu.org>
parents:
diff changeset
105 set key \2848 \196
Dave Love <fx@gnu.org>
parents:
diff changeset
106 set key \2834 \197
Dave Love <fx@gnu.org>
parents:
diff changeset
107 set key \2849 \198
Dave Love <fx@gnu.org>
parents:
diff changeset
108 set key \2850 \199
Dave Love <fx@gnu.org>
parents:
diff changeset
109 set key \2851 \200
Dave Love <fx@gnu.org>
parents:
diff changeset
110 set key \2839 \201
Dave Love <fx@gnu.org>
parents:
diff changeset
111 set key \2852 \202
Dave Love <fx@gnu.org>
parents:
diff changeset
112 set key \2853 \203
Dave Love <fx@gnu.org>
parents:
diff changeset
113 set key \2854 \204
Dave Love <fx@gnu.org>
parents:
diff changeset
114 set key \2866 \205
Dave Love <fx@gnu.org>
parents:
diff changeset
115 set key \2865 \206
Dave Love <fx@gnu.org>
parents:
diff changeset
116 set key \2840 \207
Dave Love <fx@gnu.org>
parents:
diff changeset
117 set key \2841 \208
Dave Love <fx@gnu.org>
parents:
diff changeset
118 set key \2832 \209
Dave Love <fx@gnu.org>
parents:
diff changeset
119 set key \2835 \210
Dave Love <fx@gnu.org>
parents:
diff changeset
120 set key \2847 \211
Dave Love <fx@gnu.org>
parents:
diff changeset
121 set key \2836 \212
Dave Love <fx@gnu.org>
parents:
diff changeset
122 set key \2838 \213
Dave Love <fx@gnu.org>
parents:
diff changeset
123 set key \2863 \214
Dave Love <fx@gnu.org>
parents:
diff changeset
124 set key \2833 \215
Dave Love <fx@gnu.org>
parents:
diff changeset
125 set key \2861 \216
Dave Love <fx@gnu.org>
parents:
diff changeset
126 set key \2837 \217
Dave Love <fx@gnu.org>
parents:
diff changeset
127 set key \2860 \218 ;; m-Z
Dave Love <fx@gnu.org>
parents:
diff changeset
128
Dave Love <fx@gnu.org>
parents:
diff changeset
129 set key \2330 \219 ;; m-[
Dave Love <fx@gnu.org>
parents:
diff changeset
130 set key \2347 \220 ;; m-\
Dave Love <fx@gnu.org>
parents:
diff changeset
131 set key \2331 \221 ;; m-]
Dave Love <fx@gnu.org>
parents:
diff changeset
132 set key \2941 \222 ;; m-^
Dave Love <fx@gnu.org>
parents:
diff changeset
133 set key \2946 \223 ;; m-_
Dave Love <fx@gnu.org>
parents:
diff changeset
134 set key \2345 \224 ;; m-`
Dave Love <fx@gnu.org>
parents:
diff changeset
135
Dave Love <fx@gnu.org>
parents:
diff changeset
136 ;; lowercase a-z
Dave Love <fx@gnu.org>
parents:
diff changeset
137 set key \2334 \225 ;; m-a
Dave Love <fx@gnu.org>
parents:
diff changeset
138 set key \2352 \226
Dave Love <fx@gnu.org>
parents:
diff changeset
139 set key \2350 \227
Dave Love <fx@gnu.org>
parents:
diff changeset
140 set key \2336 \228
Dave Love <fx@gnu.org>
parents:
diff changeset
141 set key \2322 \229
Dave Love <fx@gnu.org>
parents:
diff changeset
142 set key \2337 \230
Dave Love <fx@gnu.org>
parents:
diff changeset
143 set key \2338 \231
Dave Love <fx@gnu.org>
parents:
diff changeset
144 set key \2339 \232
Dave Love <fx@gnu.org>
parents:
diff changeset
145 set key \2327 \233
Dave Love <fx@gnu.org>
parents:
diff changeset
146 set key \2340 \234
Dave Love <fx@gnu.org>
parents:
diff changeset
147 set key \2341 \235
Dave Love <fx@gnu.org>
parents:
diff changeset
148 set key \2342 \236
Dave Love <fx@gnu.org>
parents:
diff changeset
149 set key \2354 \237
Dave Love <fx@gnu.org>
parents:
diff changeset
150 set key \2353 \238
Dave Love <fx@gnu.org>
parents:
diff changeset
151 set key \2328 \239
Dave Love <fx@gnu.org>
parents:
diff changeset
152 set key \2329 \240
Dave Love <fx@gnu.org>
parents:
diff changeset
153 set key \2320 \241
Dave Love <fx@gnu.org>
parents:
diff changeset
154 set key \2323 \242
Dave Love <fx@gnu.org>
parents:
diff changeset
155 set key \2335 \243
Dave Love <fx@gnu.org>
parents:
diff changeset
156 set key \2324 \244
Dave Love <fx@gnu.org>
parents:
diff changeset
157 set key \2326 \245
Dave Love <fx@gnu.org>
parents:
diff changeset
158 set key \2351 \246
Dave Love <fx@gnu.org>
parents:
diff changeset
159 set key \2321 \247
Dave Love <fx@gnu.org>
parents:
diff changeset
160 set key \2349 \248
Dave Love <fx@gnu.org>
parents:
diff changeset
161 set key \2325 \249
Dave Love <fx@gnu.org>
parents:
diff changeset
162 set key \2348 \250 ;; m-z
Dave Love <fx@gnu.org>
parents:
diff changeset
163
Dave Love <fx@gnu.org>
parents:
diff changeset
164 ;; more shifted misc. keys
Dave Love <fx@gnu.org>
parents:
diff changeset
165 set key \2842 \251 ;; m-{
Dave Love <fx@gnu.org>
parents:
diff changeset
166 set key \2859 \252 ;; m-|
Dave Love <fx@gnu.org>
parents:
diff changeset
167 set key \2843 \253 ;; m-}
Dave Love <fx@gnu.org>
parents:
diff changeset
168 set key \2857 \254 ;; m-~
Dave Love <fx@gnu.org>
parents:
diff changeset
169 set key \2318 \255 ;; m-del
Dave Love <fx@gnu.org>
parents:
diff changeset
170
Dave Love <fx@gnu.org>
parents:
diff changeset
171
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25853
diff changeset
172 ;;; arch-tag: 93cefb0a-2b07-4d09-ae78-4d807b15645d