Lars Ingebrigtsen
08dd4b9f0c
Use `quit-window-hook' in Info instead of having its own command
...
* doc/misc/info.texi (Help-Q): Info now uses `quit-window'.
* lisp/info.el (info-standalone): Adjust doc string.
(Info-exit): Made into obsolete alias.
(Info-mode-map): Bind "q" to `quit-window'.
(Info-mode-menu): Adjust.
(info-tool-bar-map): Ditto.
(Info-mode): Adjust doc string.
(Info-mode): If Info is standalone, kill Emacs on "q".
2019-08-21 13:36:59 -07:00
..
2019-07-10 01:18:39 +02:00
2019-08-16 14:39:52 -07:00
2019-01-01 01:02:40 +00:00
2019-08-06 13:59:28 +02:00
2019-06-19 19:15:26 +00:00
2019-01-01 01:01:13 +00:00
2019-08-15 00:05:33 -07:00
2019-05-25 13:02:05 -04:00
2019-08-20 09:01:55 -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-24 14:37:28 +02:00
2019-06-08 18:48:33 +03:00
2019-07-25 11:52:59 +02:00
2019-04-09 18:53:43 -04:00
2019-01-24 11:36:47 +01:00
2019-08-20 17:36:46 -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-08-08 19:35:53 -04:00
2019-05-25 13:02:05 -04:00
2019-07-29 00:07:34 +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-08-15 15:27:01 -07:00
2019-08-15 15:27:01 -07:00
2019-01-01 01:01:13 +00:00
2019-01-01 01:02:40 +00:00
2019-08-03 19:19:17 +02:00
2019-08-21 13:36:59 -07:00
2019-01-01 01:02:40 +00:00
2019-08-20 15:36:08 -07: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-07-26 12:16:49 +02: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-08-15 14:35:02 +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