Patch for beachball on disconnected overlay, permanent fix to MouseRegion API is a part of the Dock PR.

Mikayla Maki and Keith created 3 years ago

Co-Authored-By: Keith <[e-mail]>

Change summary

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

Detailed changes

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(),