mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-24 15:42:53 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Merge pull request #691 from zed-industries/snap-icons-to-pixel-grid

Browse source 
Snap icon sprites to pixel grid
This commit is contained in:
Antonio Scandurra 2022-03-28 16:16:06 +02:00 committed by GitHub
commit aa3e2ef4a4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
crates/gpui/src/platform/mac/renderer.rs
View file

@ -561,9 +561,10 @@ impl Renderer {
}
for icon in icons {
let origin = icon.bounds.origin() * scale_factor;
let target_size = icon.bounds.size() * scale_factor;
let source_size = (target_size * 2.).ceil().to_i32();
// Snap sprite to pixel grid.
let origin = (icon.bounds.origin() * scale_factor).floor();
let target_size = (icon.bounds.size() * scale_factor).ceil();
let source_size = (target_size * 2.).to_i32();
let sprite =
self.sprite_cache