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

Merge remote-tracking branch 'origin' into divs

Browse source
This commit is contained in:
Nathan Sobo 2023-08-29 21:14:14 -06:00
commit 81957c49d5
177 changed files with 11085 additions and 3836 deletions
Download patch file Download diff file Expand all files Collapse all files

14
crates/gpui/src/app/window.rs
View file

@ -624,10 +624,11 @@ impl<'a> WindowContext<'a> {
}
}
if self
.window
.platform_window
.is_topmost_for_position(*position)
if pressed_button.is_none()
&& self
.window
.platform_window
.is_topmost_for_position(*position)
{
self.platform().set_cursor_style(style_to_assign);
}
@ -791,6 +792,11 @@ impl<'a> WindowContext<'a> {
if clicked_region_ids.contains(&mouse_region.id()) {
if mouse_region.bounds.contains_point(self.mouse_position()) {
valid_regions.push(mouse_region.clone());
} else {
// Let the view know that it hasn't been clicked anymore
if mouse_region.notify_on_click {
notified_views.insert(mouse_region.id().view_id());
}
}
}
}