workspace: Remove unused code (#15440)

Release Notes:

- N/A
This commit is contained in:
Michael Angerman 2024-07-29 09:12:10 -07:00 committed by GitHub
parent aa1633ba40
commit 5e1aa898d4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -227,7 +227,6 @@ pub struct Pane {
toolbar: View<Toolbar>,
pub new_item_menu: Option<View<ContextMenu>>,
split_item_menu: Option<View<ContextMenu>>,
// tab_context_menu: View<ContextMenu>,
pub(crate) workspace: WeakView<Workspace>,
project: Model<Project>,
drag_split_direction: Option<SplitDirection>,