From 47fd93de8d6890b83cbc1c2c4ca65df9e59702b9 Mon Sep 17 00:00:00 2001 From: Mikayla Maki Date: Fri, 9 Sep 2022 17:36:25 -0700 Subject: [PATCH] Update workspace.rs --- crates/workspace/src/workspace.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/workspace/src/workspace.rs b/crates/workspace/src/workspace.rs index 5480f9dda1..643ade23a7 100644 --- a/crates/workspace/src/workspace.rs +++ b/crates/workspace/src/workspace.rs @@ -2189,7 +2189,7 @@ impl Workspace { fn render_disconnected_overlay(&self, cx: &mut RenderContext) -> Option { if self.project.read(cx).is_read_only() { - enum DisconnectedOverlay {}; + enum DisconnectedOverlay {} Some( MouseEventHandler::new::(0, cx, |_, cx| { let theme = &cx.global::().theme;