zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2085 from zed-industries/cleanup-debug-printing

Browse Source 
Clean up some debug printing
This commit is contained in:
Julia 2023-01-25 14:18:43 -05:00 committed by GitHub
commit c22d13286d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
crates/gpui/src/presenter.rs
View File

@ -317,14 +317,8 @@ impl Presenter {
}
}
let t0 = std::time::Instant::now();
let is_topmost_window =
cx.is_topmost_window_for_position(self.window_id, *position);
println!("is_topmost_window => {:?}", t0.elapsed());
if is_topmost_window {
let t1 = std::time::Instant::now();
if cx.is_topmost_window_for_position(self.window_id, *position) {
cx.platform().set_cursor_style(style_to_assign);
println!("set_cursor_style => {:?}", t1.elapsed());
}
if !event_reused {