diff options
| author | Aleksey Kladov <[email protected]> | 2018-08-13 15:19:27 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2018-08-13 15:19:27 +0100 |
| commit | 5a56ac4b72e7f57fb20d49bcf531611f144cc0e0 (patch) | |
| tree | 895b810cdebc1afa199133b17441339fdf4e1ff0 /crates/server/src | |
| parent | 8ae56fa6d0e8a03d6ad75919d6be953f5fc27083 (diff) | |
Better limiting
Diffstat (limited to 'crates/server/src')
| -rw-r--r-- | crates/server/src/main_loop/handlers.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/server/src/main_loop/handlers.rs b/crates/server/src/main_loop/handlers.rs index e9dc78420..bfdfcb51e 100644 --- a/crates/server/src/main_loop/handlers.rs +++ b/crates/server/src/main_loop/handlers.rs | |||
| @@ -110,10 +110,11 @@ pub fn handle_workspace_symbol( | |||
| 110 | if !all_symbols { | 110 | if !all_symbols { |
| 111 | q.only_types(); | 111 | q.only_types(); |
| 112 | } | 112 | } |
| 113 | q.limit(128); | ||
| 113 | q | 114 | q |
| 114 | }; | 115 | }; |
| 115 | 116 | ||
| 116 | for (path, symbol) in world.world_symbols(query).take(128) { | 117 | for (path, symbol) in world.world_symbols(query) { |
| 117 | let line_index = world.file_line_index(path)?; | 118 | let line_index = world.file_line_index(path)?; |
| 118 | let info = SymbolInformation { | 119 | let info = SymbolInformation { |
| 119 | name: symbol.name.to_string(), | 120 | name: symbol.name.to_string(), |