Move workspace title into collaboration titlebar item render

2023-01-26 14:01:05 -05:00 · 2023-01-26 14:01:05 -05:00 · ed2f1ddd2d
commit ed2f1ddd2d
parent 24fcad3fa2
3 changed files with 21 additions and 17 deletions
--- a/crates/gpui/src/elements.rs
+++ b/crates/gpui/src/elements.rs
@ -363,6 +363,7 @@ impl<T: Element> AnyElement for Lifecycle<T> {
                    value
                }
            }
+
            _ => panic!("invalid element lifecycle state"),
        }
    }