From 4c1514edc43fd212377c67ec3199d5bd4d966df0 Mon Sep 17 00:00:00 2001 From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com> Date: Mon, 27 Nov 2023 12:10:07 +0100 Subject: [PATCH] fixup! Remove shared_screen from workspace --- crates/workspace2/src/workspace2.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/crates/workspace2/src/workspace2.rs b/crates/workspace2/src/workspace2.rs index ac759022960bad85902dae3ff299b59fe3f17081..fd52276ef46b505d7f0ac1ddef1781dcc1cf8758 100644 --- a/crates/workspace2/src/workspace2.rs +++ b/crates/workspace2/src/workspace2.rs @@ -9,7 +9,6 @@ pub mod pane_group; mod persistence; pub mod searchable; // todo!() -// pub mod shared_screen; mod modal_layer; mod status_bar; mod toolbar;