From bf1c341f5f8777ea1970f870efca6041e0381937 Mon Sep 17 00:00:00 2001
From: Mikayla Maki <mikayla@zed.dev>
Date: Fri, 9 Sep 2022 17:32:31 -0700
Subject: [PATCH] Patch for beachball on disconnected overlay, permanent fix to
 MouseRegion API is a part of the Dock PR. Co-Authored-By: Keith
 <keith@zed.dev>

---
 crates/workspace/src/workspace.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/crates/workspace/src/workspace.rs b/crates/workspace/src/workspace.rs
index 9f6c7f1612..5480f9dda1 100644
--- a/crates/workspace/src/workspace.rs
+++ b/crates/workspace/src/workspace.rs
@@ -2189,8 +2189,9 @@ impl Workspace {
 
     fn render_disconnected_overlay(&self, cx: &mut RenderContext<Workspace>) -> Option<ElementBox> {
         if self.project.read(cx).is_read_only() {
+            enum DisconnectedOverlay {};
             Some(
-                MouseEventHandler::new::<Workspace, _, _>(0, cx, |_, cx| {
+                MouseEventHandler::new::<DisconnectedOverlay, _, _>(0, cx, |_, cx| {
                     let theme = &cx.global::<Settings>().theme;
                     Label::new(
                         "Your connection to the remote project has been lost.".to_string(),