diff options
| author | Leoi Hung Kin | 2021-09-21 16:03:12 +0000 |
|---|---|---|
| committer | GitHub | 2021-09-21 16:03:12 +0000 |
| commit | 9456d5c1a258e71bbb7e391dec8c3efb819e2d7d (patch) | |
| tree | 11ecd447d52866168082d06701fc1cfb8612bea4 /runtime/queries/javascript/locals.scm | |
| parent | a512f48e4574f7465dceecb89c4dbbfa9e21ff6f (diff) | |
Initial implementation of global search (#651)
* initial implementation of global search
* use tokio::sync::mpsc::unbounded_channel instead of Arc, Mutex, Waker poll_fn
* use tokio_stream::wrappers::UnboundedReceiverStream to collect all search matches
* regex_prompt: unified callback; refactor
* global search doc
Diffstat (limited to 'runtime/queries/javascript/locals.scm')
0 files changed, 0 insertions, 0 deletions