zed/crates/workspace
Antonio Scandurra 5d0c3c43e8 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:27:37 +02:00
..
src Add right padding to titlebar instead of margins on elements 2022-05-02 09:27:37 +02:00
Cargo.toml Merge branch 'main' into load-keymaps 2022-04-11 15:55:10 -07:00