Juri Linkov
67815c6bf2
* lisp/tab-bar.el (switch-to-buffer-other-tab): Use display-buffer-in-tab.
...
(tab-bar--tab): Use float-time instead of integer.
This improves correct detection of recent tabs switched within 1 sec.
(tab-bar--current-tab, tab-bar--current-tab-index)
(tab-bar--tab-index, tab-bar--tab-index-by-name)
(tab-bar--tab-index-recent): Add optional arg FRAME.
(tab-bar-move-tab-to-frame): Add with-selected-frame for tab-bar-close-tab.
(tab-bar--reusable-frames): New function.
(tab-bar-get-buffer-tab): Add index to the found tab.
(display-buffer-in-tab): Use `tab-name' entry instead of `name'.
Add `reusable-frames' entry. (bug#38354)
2019-12-05 00:56:54 +02:00
..
2019-11-23 18:51:08 +01:00
2019-10-22 18:06:01 +02:00
2019-01-01 01:02:40 +00:00
2019-08-06 13:59:28 +02:00
2019-11-09 12:09:30 +00:00
2019-01-01 01:01:13 +00:00
2019-11-10 15:04:20 -08:00
2019-09-23 00:12:52 -07: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-10-28 15:55:10 +01:00
2019-11-08 15:43:08 +01:00
2019-10-24 01:08:30 +02:00
2019-11-27 13:12:39 +01:00
2019-09-23 00:12:52 -07:00
2019-10-28 15:55:10 +01:00
2019-09-23 00:12:52 -07:00
2019-10-17 13:56:42 +02:00
2019-09-29 18:32:45 +02:00
2019-10-17 13:56:42 +02:00
2019-09-23 00:12:52 -07:00
2019-10-07 03:02:07 +01:00
2019-11-02 16:38:53 +00:00
2019-07-20 12:53:10 +03:00
2019-03-05 22:27:35 -08:00
2019-10-28 15:55:10 +01:00
2019-12-05 00:56:54 +02:00
2019-10-17 13:56:42 +02:00
2019-01-01 01:02:40 +00:00
2019-08-30 10:23:17 +03:00
2019-08-27 23:48:57 +03:00
2019-01-01 01:02:40 +00:00
2019-08-20 15:36:08 -07:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-04-10 19:33:21 -04:00
2019-01-01 01:02:40 +00:00
2019-12-03 23:27:04 +01:00
2019-10-28 15:55:10 +01: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-10-17 13:56:42 +02: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-10-17 13:56:42 +02:00
2019-09-17 01:26:43 +02:00
2019-10-22 00:39:25 +02:00
2019-10-28 15:55:10 +01:00
2019-10-11 18:24:19 -07:00
2019-01-01 01:01:13 +00:00
2019-11-20 13:45:30 +01:00
2019-07-12 15:04:55 +02:00
2019-10-14 06:46:47 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-10-17 13:56:42 +02:00
2019-10-16 15:39:42 +02:00
2019-09-23 00:12:52 -07:00
2019-01-01 01:02:40 +00:00