Add right padding to titlebar instead of margins on elements

This fixes a visual glitch causing the avatar to be shown too close to the right edge of the window when the share icon was not present.
2022-05-02 09:22:59 +02:00 · 2022-05-02 09:22:59 +02:00 · 5d0c3c43e8
commit 5d0c3c43e8
parent 5b68534427
15 changed files with 380 additions and 400 deletions
--- a/crates/workspace/src/workspace.rs
+++ b/crates/workspace/src/workspace.rs
@ -1664,9 +1664,6 @@ impl Workspace {
                        .constrained()
                        .with_width(24.)
                        .aligned()
-                        .constrained()
-                        .with_width(24.)
-                        .aligned()
                        .boxed()
                })
                .with_cursor_style(CursorStyle::PointingHand)