diff options
| author | kjeremy <[email protected]> | 2020-12-09 19:36:47 +0000 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2020-12-09 19:36:47 +0000 |
| commit | 78dd2ba196fee53d32f5f53572a03f748d9bb542 (patch) | |
| tree | 5818d8e795670b309250417a8e4fb3b8a8c4f09f /crates/ide/src/display.rs | |
| parent | 928d4c6744d4b06bb1d67ea9b967c27342eea38c (diff) | |
Send a CodeLensRefresh when we reload
Diffstat (limited to 'crates/ide/src/display.rs')
0 files changed, 0 insertions, 0 deletions