Merge pull request #1700 from zed-industries/room

Introduce call-based collaboration
This commit is contained in:
Antonio Scandurra 2022-10-11 17:40:44 +01:00 committed by GitHub
commit a656047c15
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
74 changed files with 7164 additions and 5222 deletions

View file

@ -726,6 +726,8 @@ impl Element for TerminalElement {
layout: &mut Self::LayoutState,
cx: &mut gpui::PaintContext,
) -> Self::PaintState {
let visible_bounds = bounds.intersection(visible_bounds).unwrap_or_default();
//Setup element stuff
let clip_bounds = Some(visible_bounds);