Port to gpui2

This commit is contained in:
Kirill Bulatov 2023-12-12 13:50:23 +02:00
parent 721d7615c3
commit d9b0828beb
4 changed files with 542 additions and 11 deletions

View file

@ -299,6 +299,7 @@ pub enum Event {
CollaboratorJoined(proto::PeerId),
CollaboratorLeft(proto::PeerId),
RefreshInlayHints,
RevealInProjectPanel(ProjectEntryId),
}
pub enum LanguageServerState {