Merge pull request #1393 from zed-industries/graceful-exit

Polishing the terminal
2022-07-22 13:59:13 -07:00
parent 2111fdc118 a41e54f3dc
commit 8c1d4d877f
20 changed files with 1932 additions and 1561 deletions
@@ -1223,8 +1223,10 @@ impl Workspace {
        }
    }

-    pub fn modal(&self) -> Option<&AnyViewHandle> {
-        self.modal.as_ref()
+    pub fn modal<V: 'static + View>(&self) -> Option<ViewHandle<V>> {
+        self.modal
+            .as_ref()
+            .and_then(|modal| modal.clone().downcast::<V>())
    }

    pub fn dismiss_modal(&mut self, cx: &mut ViewContext<Self>) {