Lars Ingebrigtsen
9a83ecb60a
Refer to local-function-key-map in various manuals
...
* doc/misc/viper.texi (Key Bindings):
* doc/misc/efaq.texi (X key translations for Emacs)
(No Escape key):
* doc/misc/edt.texi (Changes):
* doc/emacs/msdos-xtra.texi (MS-DOS Keyboard):
* doc/emacs/custom.texi (Terminal Init): Refer to
local-function-key-map instead of function-key-map, since the
latter isn't supposed to be changed (bug#27490).
2019-07-23 19:15:20 +02:00
..
2019-01-01 01:02:40 +00:00
2019-07-10 01:18:39 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-04-21 07:51:38 -07:00
2019-06-19 19:15:26 +00:00
2019-01-01 01:01:13 +00:00
2019-07-10 01:39:33 +02:00
2019-05-25 13:02:05 -04:00
2019-06-01 12:04:41 -07:00
2017-10-01 18:31:10 -07:00
2019-01-01 01:02:40 +00:00
2019-03-09 10:07:46 -08:00
2019-05-26 01:00:16 -07:00
2019-07-23 19:15:20 +02:00
2019-06-08 18:48:33 +03:00
2019-07-23 19:15:20 +02:00
2019-04-09 18:53:43 -04:00
2019-01-24 11:36:47 +01:00
2019-05-26 01:00:16 -07:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2018-12-31 17:57:29 -08:00
2019-03-19 23:41:20 -04:00
2019-05-25 13:02:05 -04:00
2019-02-15 10:33:01 +02:00
2019-05-07 23:29:14 +03:00
2019-07-20 12:53:10 +03:00
2019-03-05 22:27:35 -08:00
2019-06-01 12:04:41 -07:00
2019-07-20 15:02:22 +02:00
2017-10-01 18:31:10 -07:00
2019-01-01 01:01:13 +00:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:01:13 +00:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2018-12-31 17:57:29 -08:00
2019-03-05 21:55:09 -08:00
2019-04-21 07:51:38 -07:00
2019-01-01 01:02:40 +00:00
2019-04-10 19:33:21 -04:00
2019-01-01 01:02:40 +00:00
2019-06-01 12:04:41 -07:00
2019-01-01 01:02:40 +00:00
2019-03-05 21:55:09 -08:00
2019-06-01 20:01:43 -04:00
2019-05-25 13:02:05 -04:00
2019-01-01 01:02:40 +00:00
2019-03-05 21:55:09 -08:00
2019-04-21 14:56:04 +03:00
2019-06-27 18:13:18 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-03-05 21:55:09 -08:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-06-07 00:44:45 -07:00
2019-01-01 01:01:13 +00:00
2019-07-12 15:05:11 +02:00
2019-07-12 15:04:55 +02:00
2018-12-31 17:57:29 -08:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-07-23 19:15:20 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00