Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Handle first click on Zed window (#9553)

Browse source 
Fixes #4336
This commit is contained in:
Daniel Zhu 2024-03-25 10:52:18 -07:00 • committed by GitHub
parent 5361a4d72d
commit 569a7234fd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
9 changed files with 33 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/gpui/src/interactive.rs
View file

@ -100,6 +100,9 @@ pub struct MouseDownEvent {
/// The number of times the button has been clicked.
pub click_count: usize,
/// Whether this is the first, focusing click.
pub first_mouse: bool,
}
impl Sealed for MouseDownEvent {}