zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-26 20:32:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix alignment of traffic lights (#8128)

Browse Source 
closes #7339
This commit is contained in:
Max 2024-02-24 02:09:14 +01:00 committed by GitHub
parent e06ff5f507
commit 622cae19eb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/zed/src/zed.rs
View File

@ -94,7 +94,7 @@ pub fn build_window_options(
titlebar: Some(TitlebarOptions {
title: None,
appears_transparent: true,
traffic_light_position: Some(point(px(8.), px(8.))),
traffic_light_position: Some(point(px(9.5), px(9.5))),
}),
center: false,
focus: false,