Cleanup spinners and messages on progress end

This commit is contained in:
Wojciech Kępka 2021-06-21 10:14:50 +02:00 committed by Blaž Hrastnik
parent aca9d73fe4
commit ee80fa8ea9

View file

@ -328,6 +328,9 @@ pub async fn handle_language_server_message(
editor_view.spinners_mut().get_or_create(server_id).stop();
}
self.editor.clear_status();
// we want to render to clear any leftover spinners or messages
self.render();
return;
}
}