diff options
| author | Gokul Soumya | 2022-07-19 16:45:03 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-12-15 08:52:44 +0000 |
| commit | d1f717eb8d02205ce224292f157bfe1bddd1f6db (patch) | |
| tree | 61687b1ce10a2f6af90ae81c7bce0c4fd4bff13d /shell.nix | |
| parent | 914d2944997e11cf76eeabfe43f9031aeb2b1721 (diff) | |
Re-request workspace symbols on keypress in picker
Most language servers limit the number of workspace symbols that
are returned with an empty query even though all symbols are
supposed to be returned, according to the spec (for perfomance
reasons). This patch adds a workspace symbol picker based on a
dynamic picker that allows re-requesting the symbols on every
keypress (i.e. when the picker query text changes). The old behavior
has been completely replaced, and I have only tested with
rust-analyzer so far.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions