From b3b94e64ba5655bd93d4c2cbcdaea07c85e68c27 Mon Sep 17 00:00:00 2001 From: Conrad Irwin Date: Thu, 29 Feb 2024 09:16:42 -0700 Subject: [PATCH] Ensure panel and pane sizes are integral (#8619) Fixes: #8050 For some reason that we didn't investigate, if you have view caching enabled, and you have non-integer sized bounds, and you are right aligning things, the co-ordinates can differ by +/- 1px when using the cached view. The easiest fix for now is to just not do that. Co-Authored-By: Antonio Release Notes: - Fixed the pane icons flickering ([#8050](https://github.com/zed-industries/zed/issues/8050)). Co-authored-by: Antonio --- crates/collab_ui/src/chat_panel.rs | 2 +- crates/collab_ui/src/collab_panel.rs | 2 +- crates/collab_ui/src/notification_panel.rs | 2 +- crates/project_panel/src/project_panel.rs | 2 +- crates/terminal_view/src/terminal_panel.rs | 4 ++-- crates/workspace/src/dock.rs | 2 +- crates/workspace/src/pane_group.rs | 3 ++- 7 files changed, 9 insertions(+), 8 deletions(-) diff --git a/crates/collab_ui/src/chat_panel.rs b/crates/collab_ui/src/chat_panel.rs index fd238aba0b..c644ca5ed0 100644 --- a/crates/collab_ui/src/chat_panel.rs +++ b/crates/collab_ui/src/chat_panel.rs @@ -204,7 +204,7 @@ impl ChatPanel { let panel = Self::new(workspace, cx); if let Some(serialized_panel) = serialized_panel { panel.update(cx, |panel, cx| { - panel.width = serialized_panel.width; + panel.width = serialized_panel.width.map(|r| r.round()); cx.notify(); }); } diff --git a/crates/collab_ui/src/collab_panel.rs b/crates/collab_ui/src/collab_panel.rs index 396217f6c1..da3301ecc9 100644 --- a/crates/collab_ui/src/collab_panel.rs +++ b/crates/collab_ui/src/collab_panel.rs @@ -327,7 +327,7 @@ impl CollabPanel { let panel = CollabPanel::new(workspace, cx); if let Some(serialized_panel) = serialized_panel { panel.update(cx, |panel, cx| { - panel.width = serialized_panel.width; + panel.width = serialized_panel.width.map(|w| w.round()); panel.collapsed_channels = serialized_panel .collapsed_channels .unwrap_or_else(|| Vec::new()) diff --git a/crates/collab_ui/src/notification_panel.rs b/crates/collab_ui/src/notification_panel.rs index 311481c756..ecf6f3d7de 100644 --- a/crates/collab_ui/src/notification_panel.rs +++ b/crates/collab_ui/src/notification_panel.rs @@ -183,7 +183,7 @@ impl NotificationPanel { let panel = Self::new(workspace, cx); if let Some(serialized_panel) = serialized_panel { panel.update(cx, |panel, cx| { - panel.width = serialized_panel.width; + panel.width = serialized_panel.width.map(|w| w.round()); cx.notify(); }); } diff --git a/crates/project_panel/src/project_panel.rs b/crates/project_panel/src/project_panel.rs index daeff4844f..7e4dfad553 100644 --- a/crates/project_panel/src/project_panel.rs +++ b/crates/project_panel/src/project_panel.rs @@ -338,7 +338,7 @@ impl ProjectPanel { let panel = ProjectPanel::new(workspace, cx); if let Some(serialized_panel) = serialized_panel { panel.update(cx, |panel, cx| { - panel.width = serialized_panel.width; + panel.width = serialized_panel.width.map(|px| px.round()); cx.notify(); }); } diff --git a/crates/terminal_view/src/terminal_panel.rs b/crates/terminal_view/src/terminal_panel.rs index 9d820aad1c..4ab3d371e0 100644 --- a/crates/terminal_view/src/terminal_panel.rs +++ b/crates/terminal_view/src/terminal_panel.rs @@ -192,8 +192,8 @@ impl TerminalPanel { let items = if let Some(serialized_panel) = serialized_panel.as_ref() { panel.update(cx, |panel, cx| { cx.notify(); - panel.height = serialized_panel.height; - panel.width = serialized_panel.width; + panel.height = serialized_panel.height.map(|h| h.round()); + panel.width = serialized_panel.width.map(|w| w.round()); panel.pane.update(cx, |_, cx| { serialized_panel .items diff --git a/crates/workspace/src/dock.rs b/crates/workspace/src/dock.rs index afedb7645b..70059e47b6 100644 --- a/crates/workspace/src/dock.rs +++ b/crates/workspace/src/dock.rs @@ -522,7 +522,7 @@ impl Dock { pub fn resize_active_panel(&mut self, size: Option, cx: &mut ViewContext) { if let Some(entry) = self.panel_entries.get_mut(self.active_panel_index) { - let size = size.map(|size| size.max(RESIZE_HANDLE_SIZE)); + let size = size.map(|size| size.max(RESIZE_HANDLE_SIZE).round()); entry.panel.set_size(size, cx); cx.notify(); } diff --git a/crates/workspace/src/pane_group.rs b/crates/workspace/src/pane_group.rs index 6a2a8e8094..6f55dc800e 100644 --- a/crates/workspace/src/pane_group.rs +++ b/crates/workspace/src/pane_group.rs @@ -883,7 +883,8 @@ mod element { let child_size = bounds .size - .apply_along(self.axis, |_| space_per_flex * child_flex); + .apply_along(self.axis, |_| space_per_flex * child_flex) + .map(|d| d.round()); let child_bounds = Bounds { origin,