Christian Clason
f2894bffb0
lua: Add highlight.on_yank ( #12279 )
...
* add lua function to highlight yanked region
* extract namespace, better naming, default values
* add default for event argument
* free timer
* factor out mark to position calculation
* d'oh
* make sure timer stops before callback (cf. luv example)
* factor out timer, more documentation
* fixup
* validate function argument for schedule
* fix block selection past eol
* correct handling of multibyte characters
* move arguments around, some cleanup
* move utility functions to vim.lua
* use anonymous namespaces, avoid local api
* rename function
* add test for schedule_fn
* fix indent
* turn hl-yank into proper (hightlight) module
* factor out position-to-region function
mark extraction now part of highlight.on_yank
* rename schedule_fn to defer_fn
* add test for vim.region
* todo: handle double-width characters
* remove debug printout
* do not shadow arguments
* defer also callable table
* whitespace change
* move highlight to vim/highlight.lua
* add documentation
* add @return documentation
* test: add check before vim.defer fires
* doc: fixup
2020-05-18 09:49:50 -04:00
..
2020-04-28 01:52:02 +08:00
2018-10-29 09:55:07 +01:00
2020-01-26 21:50:37 -05:00
2019-11-25 01:08:02 -08:00
2019-09-09 09:53:19 -07:00
2019-11-29 09:51:25 -08:00
2019-05-09 20:27:11 -04:00
2020-01-12 23:41:55 -08:00
2019-12-02 22:06:42 -08:00
2019-08-02 16:20:23 +02:00
2019-10-06 09:43:39 -04:00
2019-08-02 16:20:22 +02:00
2020-05-16 15:25:51 +02:00
2020-04-16 20:49:05 +02:00
2020-03-02 12:59:35 +01:00
2018-10-29 09:32:29 +01:00
2018-10-29 10:01:44 +01:00
2018-10-29 09:55:07 +01:00
2019-09-12 17:04:05 -07:00
2018-10-29 09:55:07 +01:00
2020-01-12 23:41:55 -08:00
2018-10-29 09:55:07 +01:00
2018-10-29 09:55:07 +01:00
2019-11-17 19:06:59 -08:00
2019-08-02 16:20:23 +02:00
2019-08-02 16:20:23 +02:00
2019-09-06 18:30:35 -07:00
2020-01-12 23:41:55 -08:00
2020-04-29 11:15:49 +09:00
2019-12-31 02:25:10 -08:00
2019-09-09 09:53:19 -07:00
2020-05-16 01:18:59 +02:00
2020-05-18 09:49:50 -04:00
2018-08-25 15:25:49 +02:00
2018-08-25 15:25:49 +02:00
2014-07-29 02:12:31 +00:00
2019-12-31 02:25:10 -08:00
2019-08-02 16:36:42 +02:00
2020-01-01 13:11:54 -05:00
2020-02-05 01:07:01 -08:00
2019-12-31 02:25:10 -08:00
2019-11-17 19:06:59 -08:00
2020-05-04 21:21:33 -07:00
2019-03-26 19:55:33 +01:00
2020-05-03 13:40:25 -04:00
2019-08-02 16:36:42 +02:00
2018-10-29 09:55:07 +01:00
2017-11-10 22:37:54 +01:00
2018-11-05 22:45:48 +01:00
2019-08-02 16:20:22 +02:00
2018-10-29 09:55:07 +01:00
2018-10-29 09:55:07 +01:00
2018-10-29 09:55:07 +01:00
2015-08-15 15:25:30 -03:00
2018-10-29 09:55:07 +01:00
2019-08-02 16:36:42 +02:00
2020-01-20 19:43:59 -05:00
2019-10-27 23:43:47 -04:00
2019-12-10 00:56:56 -08:00
2018-10-30 00:02:22 +01:00
2019-03-26 19:55:33 +01:00
2018-11-05 22:45:48 +01:00
2019-09-14 18:57:35 -07:00
2019-02-17 10:54:00 +01:00
2019-08-01 16:51:53 +02:00
2019-08-02 16:20:22 +02:00
2020-03-01 20:02:09 -05:00
2020-04-16 20:49:05 +02:00
2020-03-01 20:02:09 -05:00
2020-04-16 20:49:05 +02:00
2020-01-12 23:41:55 -08:00
2019-10-22 20:13:02 +01:00
2019-12-19 12:27:21 -08:00
2018-10-29 09:55:07 +01:00
2018-10-29 10:01:44 +01:00
2020-05-01 07:34:28 -07:00
2018-10-29 10:01:44 +01:00
2018-11-05 22:45:48 +01:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2019-08-02 16:36:42 +02:00
2019-08-02 16:20:22 +02:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2019-07-29 20:50:07 +02:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2020-01-26 17:30:47 -08:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2019-11-01 13:43:20 +09:00
2018-10-29 10:01:44 +01:00
2019-08-02 16:20:22 +02:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2018-10-29 10:01:44 +01:00
2019-09-12 17:04:05 -07:00
2018-10-29 10:01:44 +01:00
2019-03-14 01:30:11 +01:00
2020-03-01 03:57:58 -05:00
2018-10-29 10:01:44 +01:00
2019-03-26 19:55:33 +01:00
2018-10-29 10:01:44 +01:00
2019-08-01 16:51:53 +02:00
2019-08-02 16:20:22 +02:00
2019-08-02 16:36:42 +02:00
2019-08-01 23:27:26 +02:00
2020-05-18 09:49:50 -04:00
2019-11-25 01:08:02 -08:00
2020-04-21 21:40:22 +01:00