mirror of
https://github.com/zed-industries/zed.git
synced 2024-10-27 08:50:29 +00:00
0b0a161626
Language servers such as typescript-language-servers report a single work event, ending right after server's startup. Other servers might send more similar event, also during startup. The rest of the events are diagnostic-related and we filter them out. React on such events with /refresh-like hint update, that will check only the visible part of the editor for hints and might be replaced by other /refresh requests, if needed. |
||
---|---|---|
.. | ||
display_map | ||
multi_buffer | ||
scroll | ||
test | ||
blink_manager.rs | ||
display_map.rs | ||
editor.rs | ||
editor_settings.rs | ||
editor_tests.rs | ||
element.rs | ||
git.rs | ||
highlight_matching_bracket.rs | ||
hover_popover.rs | ||
inlay_hint_cache.rs | ||
items.rs | ||
link_go_to_definition.rs | ||
mouse_context_menu.rs | ||
movement.rs | ||
multi_buffer.rs | ||
persistence.rs | ||
scroll.rs | ||
selections_collection.rs | ||
test.rs |