diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2023-06-26 19:03:21 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2023-06-26 19:03:21 +0200 |
| commit | 02e91b1760f9881f659a1c7e64c2433fafee385e (patch) | |
| tree | 73b2480bf15a74aa564ff5ceb9dc8857809aa92b /src/server | |
| parent | 9120feed29abfda747dd8130d9d30d1e4145f58d (diff) | |
Remove to try and index the workspace symbol package, if it isn't
already
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/workspace_symbols.odin | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/server/workspace_symbols.odin b/src/server/workspace_symbols.odin index 335c104..abc6837 100644 --- a/src/server/workspace_symbols.odin +++ b/src/server/workspace_symbols.odin @@ -50,6 +50,8 @@ get_workspace_symbols :: proc( continue } + try_build_package(pkg) + if results, ok := fuzzy_search(query, {pkg}); ok { for result in results { symbol := WorkspaceSymbol { |