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/main_loop | |
parent | 8ae56fa6d0e8a03d6ad75919d6be953f5fc27083 (diff) |
Better limiting
Diffstat (limited to 'crates/server/src/main_loop')
-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(), |